Catalog

Record Details

Catalog Search


Search Results Showing Item 15 of 292

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

Horská, Anna. (author.). SpringerLink (Online service) (Added Author).

Electronic resources

Record details

  • ISBN: 9783319021713
  • Physical Description: electronic
    electronic resource
    access
    remote
    IX, 77 p. online resource.
  • Publisher: Cham : Springer International Publishing : 2014.
Subject: Philosophy (General)
Logic
Logic, Symbolic and mathematical
Philosophy
Logic
Mathematical Logic and Foundations
Search Results Showing Item 15 of 292

Additional Resources