History and Philosophy of Logic, Volume 36, Issue 3 (2015)

Browse this journal
Sample our Computer Science journals, sign in here to start your access, latest two full volumes FREE to you for 14 days

History and Philosophy of Logic, Volume 36, Issue 3 (2015)

See all volumes and issues
Vol 45, 2024 Vol 44, 2023 Vol 43, 2022 Vol 42, 2021 Vol 41, 2020 Vol 40, 2019 Vol 39, 2018 Vol 38, 2017 Vol 37, 2016 Volume 36, 2015 Vol 35, 2014 Vol 34, 2013 Vol 33, 2012 Vol 32, 2011 Vol 31, 2010 Vol 30, 2009 Vol 29, 2008 Vol 28, 2007 Vol 27, 2006 Vol 26, 2005 Vol 25, 2004 Vol 24, 2003 Vol 23, 2002 Vol 22, 2001 Vol 21, 2000 Vol 20, 1999 Vol 19, 1998 Vol 18, 1997 Vol 17, 1996 Vol 16, 1995 Vol 15, 1994 Vol 14, 1993 Vol 13, 1992 Vol 12, 1991 Vol 11, 1990 Vol 10, 1989 Vol 9, 1988 Vol 8, 1987 Vol 7, 1986 Vol 6, 1985 Vol 5, 1984 Vol 4, 1983 Vol 3, 1982 Vol 2, 1981 Vol 1, 1980
Download citations Download PDFs Download issue

Logical Issues in the History and Philosophy of Computer Science

Introduction

Introduction
When Logic Meets Engineering: Introduction to Logical Issues in the History and Philosophy of Computer Science
Liesbeth De Mol & Giuseppe Primiero
Pages: 195-204
Published online: 15 Dec 2015
First Page PreviewforWhen Logic Meets Engineering: Introduction to Logical Issues in the History and Philosophy of Computer Science | Full Text | References | PDF (124.6 KB)
  • 5222 Views
  • 2 CrossRef citations
  • 0Altmetric
Free Access

Original Articles

Article
Towards a Historical Notion of ‘Turing—the Father of Computer Science’
Edgar G. Daylight
Pages: 205-228
Published online: 04 Nov 2015
AbstractforTowards a Historical Notion of ‘Turing—the Father of Computer Science’ | Full Text | References | PDF (350.5 KB)
  • 1832 Views
  • 18 CrossRef citations
  • 0Altmetric
Article
Programming Primes (1968–1976): A Paradigmatic Program and Its Incarnations in the Age of Structured Programming
Maarten Bullynck
Pages: 229-241
Published online: 15 Sep 2015
AbstractforProgramming Primes (1968–1976): A Paradigmatic Program and Its Incarnations in the Age of Structured Programming | Full Text | References | PDF (130.1 KB)
  • 1061 Views
  • 0 CrossRef citations
  • 0Altmetric
Article
Continuity in Semantic Theories of Programming
Felice Cardone
Pages: 242-261
Published online: 01 Jul 2015
AbstractforContinuity in Semantic Theories of Programming | Full Text | References | PDF (225.2 KB)
  • 540 Views
  • 0 CrossRef citations
  • 0Altmetric
Article
A Vindication of Program Verification
Selmer Bringsjord
Pages: 262-277
Published online: 29 Sep 2015
AbstractforA Vindication of Program Verification | Full Text | References | PDF (356.7 KB)
  • 350 Views
  • 11 CrossRef citations
  • 0Altmetric
Article
Hardware, Software, Humans: Truth, Fiction and Abstraction
Graham White
Pages: 278-301
Published online: 11 Sep 2015
AbstractforHardware, Software, Humans: Truth, Fiction and Abstraction | Full Text | References | PDF (201.8 KB)
  • 590 Views
  • 0 CrossRef citations
  • 0Altmetric

Explore articles

Explore the most recently published articles

A Neglected Interpretation of Das Kontinuum
Michele Contente
Article | Published online: 17 Jul 2024
Following Bobzien: Some Notes on Frege's Development and Engagement with his Environment
Jamie Tappenden
Article | Published online: 9 Jul 2024
Denying Infinity: Pragmatism in Abraham Robinson’s Philosophy of Mathematics
Robinson Erhardt
Article | Published online: 26 Jun 2024
Searching for the General Science of Evidence: Venn on Probability and Induction
Chrysovalantis Stergiou et al.
Article | Published online: 26 Jun 2024
View all latest articles