• Medientyp: E-Book
  • Titel: Handbook of mathematical logic
  • Enthält: pt. A. Model theorypt. B. Set theory -- pt. C. Recursion theory -- pt. D. Proof theory and constructive mathematics.
  • Beteiligte: Barwise, Jon [Sonstige Person, Familie und Körperschaft]; Keisler, H. Jerome [Sonstige Person, Familie und Körperschaft]
  • Erschienen: Amsterdam; New York: North-Holland Pub. Co, 2010
    Online-Ausg.: [S.l.]: HathiTrust Digital Library
  • Erschienen in: Studies in logic and the foundations of mathematics ; v. 90
  • Umfang: Online Ressource (xi, 1165 pages)
  • Sprache: Englisch
  • ISBN: 9780080933641; 0080933645
  • Schlagwörter: Logique symbolique et mathématique ; Logic, Symbolic and mathematical ; MATHEMATICS ; Logic ; MATHEMATICS ; Infinity ; Symbolische logica ; Wiskundige logica ; Electronic books
  • Art der Reproduktion: Online-Ausg.
  • Hersteller der Reproduktion: [S.l.]: HathiTrust Digital Library
  • Reproduktionsnotiz: Online-Ausg. [S.l.] : HathiTrust Digital Library
  • Entstehung:
  • Anmerkungen: Includes bibliographical references and index. - Print version record
    Print version record
    Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002
    Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002
  • Beschreibung: The handbook is divided into four parts: model theory, set theory, recursion theory and proof theory. Each of the four parts begins with a short guide to the chapters that follow. Each chapter is written for non-specialists in the field in question. Mathematicians will find that this book provides them with a unique opportunity to apprise themselves of developments in areas other than their own
  • Zugangsstatus: Eingeschränkter Zugang | Informationen zu lizenzierten elektronischen Ressourcen der SLUB