MPG.eBooks - Table of Contents: Algebra of proofs

Read Now

Provability, Computability and Reflection

Bibliographic Details
Main Author:	Szabo, M. E.
Format:	eBook
Language:	English
Published:	Amsterdam North-Holland Pub. Co. 1978, 1978
Series:	Studies in logic and the foundations of mathematics
Subjects:	Categories (mathematics) / Fast / (ocolc)fst00849000 Combinatory Logic / Fast / (ocolc)fst00868988 Proof Theory / Http://id.loc.gov/authorities/subjects/sh85107437 Catégories (mathématiques) Théorie De La Preuve Bewijstheorie / Gtt Categories (mathematics) / Http://id.loc.gov/authorities/subjects/sh85020992 Mathematics / Logic / Bisacsh Beweistheorie / Gnd / Http://d-nb.info/gnd/4145177-6 Categorieën (wiskunde) / Gtt Logique Combinatoire Combinatory Logic / Http://id.loc.gov/authorities/subjects/sh85028814 Mathematics / Infinity / Bisacsh Combinatorische Logica / Gtt Proof Theory / Fast / (ocolc)fst01078942
Online Access:	https://www.sciencedirect.com/science/bookseries/0...
Collection:	Elsevier eBook collection Mathematics - Collection details see MPG.ReNa

Table of Contents: