Login

Horská, Anna

Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals

Horská, Anna - Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals, ebook

65,55€

Ebook, PDF with Adobe DRM
ISBN: 9783319021713
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

Table of contents

1. Introduction
Anna Horská

2. Preliminaries
Anna Horská

3. Ordinal Numbers
Anna Horská

4. Consistency Proof
Anna Horská

Keywords: Philosophy, Logic, Mathematical Logic and Foundations

Author(s)
Publisher
Springer
Publication year
2014
Language
en
Edition
2014
Series
SpringerBriefs in Philosophy
Category
Philosophy
Format
Ebook
eISBN (PDF)
9783319021713

Similar titles