Skip to main content
Home / History and Philosophy of Logic, Volume 36, Number 3

Publisher: Taylor and Francis Ltd

More about this publication?
Volume 36, Number 3, 3 July 2015

When Logic Meets Engineering: Introduction to Logical Issues in the History and Philosophy of Computer Science
pp. 195-204(10)
Authors: De Mol, Liesbeth; Primiero, Giuseppe

Favourites:
ADD

Towards a Historical Notion of ‘Turing—the Father of Computer Science’
pp. 205-228(24)
Author: Daylight, Edgar G.

Favourites:
ADD

Programming Primes (1968–1976): A Paradigmatic Program and Its Incarnations in the Age of Structured Programming
pp. 229-241(13)
Author: Bullynck, Maarten

Favourites:
ADD

Continuity in Semantic Theories of Programming
pp. 242-261(20)
Author: Cardone, Felice

Favourites:
ADD

A Vindication of Program Verification
pp. 262-277(16)
Author: Bringsjord, Selmer

Favourites:
ADD

Hardware, Software, Humans: Truth, Fiction and Abstraction
pp. 278-301(24)
Author: White, Graham

Favourites:
ADD

Share Content

  • Access Key
  • Free content
  • Partial Free content
  • New content
  • Open access content
  • Partial Open access content
  • Subscribed content
  • Partial Subscribed content
  • Free trial content