Proof and Computation

, & (eds.)
World Scientific (1995)
  Copy   BIBTEX

Abstract

Proceedings of the NATO Advanced Study Institute on Proof and Computation, held in Marktoberdorf, Germany, July 20 - August 1, 1993.

Categories

Keywords

Reprint years

2011, 2018

ISBN(s)

3540585818

Other Versions

edition Schwichtenberg, Helmut (2012) "Proofs and computations". Cambridge University Press

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,607

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Chapters

Exploring Predicativity.  (pages 83-108)Laura Crosilla

Similar books and articles

Logic Programming Via Proof-valued Computations.David J. Pym & Lincoln A. Wallen - 1992 - LFCS, Department of Computer Science, University of Edinburgh.
Logic of Computation.Helmut Schwichtenberg - 1997 - Boom Koninklijke Uitgevers.
The Dark Side of the History of Proof.Karine Chemla - 2024 - In Bharath Sriraman (ed.), Handbook of the History and Philosophy of Mathematical Practice. Cham: Springer. pp. 2137-2161.
Logic, language, information, and computation: 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013: proceedings.Leonid Libkin, U. Kohlenbach & Ruy J. G. B. de Queiroz (eds.) - 2013 - New York: Springer.
Artificial Intelligence and Symbolic Computation: International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings.Jacques Calmet - 1998 - Boom Koninklijke Uitgevers.
Logic, Algebra, and Computation: International Summer School.Friedrich L. Bauer - 2012 - Springer.
The changing practices of proof in mathematics: Gilles Dowek: Computation, proof, machine. Cambridge: Cambridge University Press, 2015. Translation of Les Métamorphoses du calcul, Paris: Le Pommier, 2007. Translation from the French by Pierre Guillot and Marion Roman, $124.00HB, $40.99PB. [REVIEW]Andrew Arana - 2017 - Metascience 26 (1):131-135.
Categories for the Working Philosopher.Elaine M. Landry (ed.) - 2017 - Oxford, England: Oxford University Press.

Analytics

Added to PP
2015-02-13

Downloads
21 (#993,219)

6 months
3 (#1,464,642)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references