Introduction to metamathematics / by Stephen Cole Kleene.

Author
Other titles
  • Introduction to meta-mathematics
Published
  • Amsterdam Groningen : North-Holland ; P. Noordhoff N.V. 1952
Physical description
x, 550 p. : ill. ; 23 cm.
ISBN
  • 0720421039 (North-Holland)
  • 0444100881 (Elsevier)
Notes
  • Also published: New York : Van Nostrand, 1952, in the University series in higher mathematics.
  • "Written to be usable as a text book by first year graduate students in mathematics (and above)" -- preface.
  • Includes index.
  • Bibliography: p. 517-537.
Contents
  • The theory of sets -- Some fundamental concepts -- A critque of mathematical reasoning -- A formal system --Formal deduction -- The propositional calculus -- The predicate calculus -- Formal number theory -- Primitive recursive functions -- The arithmetization of metamathematics -- General recursive functions -- Partial recursive functions -- Computable functions -- The predicate calculus and axiom systems -- Consistency, classical and intuitionistic systems.
Genre
  • Bibliography
  • Illustrated
  • text
Language
  • English
  • Undetermined

Summary holdings does not include live availability details. Select a library name for the full Holdings display.

Location of copy Shelfmark Online location Holdings Notes
University of Aberdeen Libraries: Sir Duncan Rice Library: Floor 5 511 02-01 Kle m
University of Bath Library: Level 4 510.098 KLE
Birkbeck, University of London Library: Contact the Library 511.3 KLE
University of Birmingham Libraries: Research Reserve [RR], Available on request QA9
University of Bristol Libraries: Arts & Social Sciences Library QA9 KLE 7 day loan: vacation loan
University of Bristol Libraries: Queen's Building Library QA9 KLE 7 day loan: vacation loan
British Library: Science, Technology and Industry, St Pancras Reading Rooms RES (B) P 63
British Library: Lending Collection 2019.129000 v 1
British Library: Lending Collection 510 *1*
University of Cambridge Libraries: Emmanuel College Library: Main Library 510.1.KLE(1)
University of Cambridge Libraries: Philosophy (Casimir Lewy Library): Main Library D 34 KLE
University of Cambridge Libraries: Churchill College Library: Bracken Gallery 510.1
University of Cambridge Libraries: Magdalene College Library: Main Library 10.FC.149
University of Cambridge Libraries: Queens' College: Main Library AM 3P Kle
University of Cambridge Libraries: Jesus College: > Quincentenary Library AM3 P Kle
University of Cambridge Libraries: University Library: South Front 4 follow signs to South Staircase, Fourth Floor 349:1.c.95.6
University of Cambridge Libraries: Moore Library: Main Library QA9 .K54 1952
University of Cambridge Libraries: St John's College: Garden Basement QA 9.8.K5
University of Cambridge, King's College: King's College: Main Library ALZ Kle
University of Dundee: Main Library 510.1 K 63
Durham University Library: Bill Bryson Library, Level 3 510 KLE
Durham University Library: Contact the Bill Bryson Library St. Chad's 510.1 KLE
Durham University Library: Bill Bryson Library, Level 3 510.19 KLE
University of East Anglia Library: UEA Main Library. Floor 01: Main shelves - Normal loan QA9 KLE
University of Edinburgh Libraries: Murray Library, King's Buildings (STANDARD LOAN) QA9 Kle.
University of Edinburgh Libraries: Main Library (STANDARD LOAN) - 3rd floor QA9 Kle.
University of Edinburgh Libraries: University Collections Facility - Request online F.4.1 Kle.
University of Essex: Albert Sloman Library, Colchester campus QA 9.K6
University of Glasgow Library: Library Research Annexe Store 32011
Imperial College London Library: Central Library: Level 2 510.1 KLE
Imperial College London Library: Central Library: Level 2 510.1 KLE
King's College London Libraries & Collections: Maughan Library : [Science books] QA9.8 KLE
LSE Library: Main collection books QA9.8 K61
LSE Library: Lakatos Archives QA9.8 K61 LAK
LSE Library: Main collection books QA9.8 K61
Lancaster University: Main Collection MAIN ALT (K) A Floor
University of Leeds Library: Edward Boyle Library, level 11 Mathematics A-2 KLE
Liverpool John Moores University: Aldham Robarts Library, Stafford Beer Collection (24 hrs notice required) SB.T.065
University of Manchester Library: Main Library: Blue Area Floor 2 510.1
University of Manchester Library: Contact the Main Library 510.1
National Library of Scotland: Special Collections Reading Room, Edinburgh (stored onsite) R.Soc.E.114
University of Nottingham Libraries: George Green Library
Open University Library: First Floor Open Shelves 512.8
University of Oxford Libraries: St Anne's College Library: Tim Gardam Building 510.4 KLE
University of Oxford Libraries: Blackfriars Library BC 135 KLE 1
University of Oxford Libraries: Brasenose College Library: Old Cloisters M/BA 10
University of Oxford Libraries: Bodleian Library M07.E08808
University of Oxford Libraries: St Catherine's College Library 140 KLE (1959 printing)
University of Oxford Libraries: Corpus Christi College Library 511.3 Kl
University of Oxford Libraries: Exeter College Library AL 48
University of Oxford Libraries: Exeter College Library AL 48
University of Oxford Libraries: Hertford College Library E 8/KLE
University of Oxford Libraries: St Hilda's College Library 514 KLE:Int
University of Oxford Libraries: St Hugh's College Library 161 (1971 reprint)
University of Oxford Libraries: St Hugh's College Library 161
University of Oxford Libraries: Lady Margaret Hall Library: Lower Floor 510.1 4
University of Oxford Libraries: Magdalen College Library: Longwall Library 511.3 KLE (1967 reprint)
University of Oxford Libraries: Mathematical Institute Library 02 (1962 reprint)
University of Oxford Libraries: Merton College Library: Old Warden's Lodgings AKM/KLE(1)
University of Oxford Libraries: Mathematical Institute Library Gerrans Collection
University of Oxford Libraries: New College Library: Stack XX 1 KLE
University of Oxford Libraries: New College Library: Stack XX 1.3 KLE
University of Oxford Libraries: Philosophy & Theology Faculties Library
University of Oxford Libraries: Philosophy & Theology Faculties Library: First Floor Reading Room Open Shelves QA9 KEE 1952
University of Oxford Libraries: Queen's College Library: Reserve Collection QA9 .KL
University of Oxford Libraries: Radcliffe Science Library Math. Per. 31 (v.1:1962 reprint)
University of Oxford Libraries: Radcliffe Science Library QA 9 KLE
University of Oxford Libraries: Somerville College Library: Loft 510.2 KLE 1
University of Oxford Libraries: St John's College Library MATH / 05 / KLE
University of Oxford Libraries: Trinity College Library MATH A 1 (1967 reprint)
University of Oxford Libraries: Wadham College Library M 16 (K)
University of Oxford Libraries: Nuffield College Library: Tower open access QA 9.8.K
University of Portsmouth: University Library, First Floor 510.1 Standard
Queen Mary University of London Library: Mile End Library QA9 KLE (ORDINARY) ORDINARY
Queen's University Belfast: McClay Floor 1 BC135
Queen's University Belfast: McClay Floor 2 (Book Store) BC135
University of Reading Library: University Library: In Closed Access - available on request STACK--511.3-KLE
University of St Andrews Library: Main Library QA9.K6I6
Science Museum Library: Science Museum Library, Wroughton 510.2 KLEENE
University of Sheffield Library: Western Bank Library 3B 510.1 (K)
University of Sheffield Library: Western Bank Library 3B 510.1 (K)
University of Southampton Library: Hartley Library: Main Collection (Standard Loan) QA9 KLE
University of Strathclyde Library: Store UDC MLSTU 517.11 KLE
University of Sussex Library: Main Library QD 200 Kle
Swansea University Libraries: Singleton Park Library : Main QA9 .K57 1952
Swansea University Libraries: Singleton Park Library : Archives (Rush Rhees) QA9 >KLE
Trinity College Dublin Library: Hamilton Library 510.1 J21
Trinity College Dublin Library: Ussher Library 164 J25
University of Wales Trinity Saint David: Lampeter Campus Library: Main Collection 164.5 KLE
UCL Library Services: Store. Visit UCL Library webpages to request access to items in Store STORE 17-0818
University of Warwick Library: Main Library QA 9.K5
University of York Libraries: University Library: Morrell - Ordinary S 0.1 KLE

Export: