Cargando…

The great formal machinery works: theories of deduction and computation at the origins of the digital age

Detalles Bibliográficos
Autor principal: von Plato, Jan
Lenguaje:eng
Publicado: Princeton University Press 2017
Materias:
Acceso en línea:http://cds.cern.ch/record/2295873
_version_ 1780956745538994176
author von Plato, Jan
author_facet von Plato, Jan
author_sort von Plato, Jan
collection CERN
id cern-2295873
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2017
publisher Princeton University Press
record_format invenio
spelling cern-22958732021-04-21T18:59:42Zhttp://cds.cern.ch/record/2295873engvon Plato, JanThe great formal machinery works: theories of deduction and computation at the origins of the digital ageOther SubjectsPrinceton University Pressoai:cds.cern.ch:22958732017
spellingShingle Other Subjects
von Plato, Jan
The great formal machinery works: theories of deduction and computation at the origins of the digital age
title The great formal machinery works: theories of deduction and computation at the origins of the digital age
title_full The great formal machinery works: theories of deduction and computation at the origins of the digital age
title_fullStr The great formal machinery works: theories of deduction and computation at the origins of the digital age
title_full_unstemmed The great formal machinery works: theories of deduction and computation at the origins of the digital age
title_short The great formal machinery works: theories of deduction and computation at the origins of the digital age
title_sort great formal machinery works: theories of deduction and computation at the origins of the digital age
topic Other Subjects
url http://cds.cern.ch/record/2295873
work_keys_str_mv AT vonplatojan thegreatformalmachineryworkstheoriesofdeductionandcomputationattheoriginsofthedigitalage
AT vonplatojan greatformalmachineryworkstheoriesofdeductionandcomputationattheoriginsofthedigitalage