1 option

The philosophy of mathematics / edited by Jaako Hintikka.

LIBRA QA9 .P454 1969
Loading location information...

Available from offsite location This item is stored in our repository but can be checked out.

Log in to request item
Format:
Contributor:
Series:
Language:
English
Subjects (All):
Penn Provenance:
  • Farber, Paul (donor) (Storage copy)
Physical Description:
5 unnumbered pages, 186 pages : illustrations ; 21 cm.
Place of Publication:
London : Oxford U.P., 1969.
Contents:
  • Semantic entailment and formal derivability / E.W. Beth
  • The completeness of the first-order functional calculus / Leon Henkin
  • Languages in which self reference in possible / Raymond M. Smullyan
  • Informal rigour and completeness proofs / Georg Kreisel
  • Systems of predicative analysis / Solomon Feferman
  • An interpretation of the intuitionistic sentenial logic / Kurt Godel
  • The present theory of Turing machine computability / Harley Rogers Jr.
  • Mathematical logic : What has it done for the philosophy of mathmematics? (Excerpt) / Georg Kreisel
  • The metaphysics of the calculus / Abraham Robinson
  • What is elementary geometry? / Alfred Tarskiuo.
Notes:
Includes bibliographical references (pages 178-184).
Other Format:
Online version: Hintikka, Jaakko, 1929- Philosophy of mathematics.
ISBN:
  • 0198750110
  • 9780198750116
OCLC:
57529

The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.