jump to search box

Where is the Gödel-point hiding : Gentzen's consistency proof of 1936 and his representation of constructive ordinals / Anna Horska.

Availability

At the Library

Other libraries

Author/Creator:
Horska, Anna.
Language:
English.
Publication date:
2014
Copyright date:
2014
Imprint:
Cham : Springer, 2014.
Format:
  • Book
  • ix, 77 p. ; 24 cm.
Bibliography:
Includes bibliographical references and index.
Series:
SpringerBriefs in philosophy, 2211-4548
SpringerBriefs in philosophy.
Subjects:
ISBN:
9783319021706
3319021702

powered by Blacklight
© Stanford University. Stanford, California 94305. (650) 725-1064. Terms of Use | Copyright Complaints | Opt Out of Analytics
jump to top