Custom cover image
Custom cover image

Introduction to mathematical logic / Michał Walicki, University of Bergen, Norway

By: Resource type: Ressourcentyp: BuchBookLanguage: English Publisher: New Jersey ; London ; Singapore ; Beijing ; Shanghai ; Hong Kong ; Taipei ; Chennai ; Tokyo : World Scientific, [2017]Copyright date: © 2017Edition: Extended editionDescription: xiii, 287 Seiten : Illustrationen ; 24 cmISBN:
  • 9789814719964
  • 9789814719957
Subject(s): DDC classification:
  • 511.3 23
MSC: MSC: *03-01 | 97E30RVK: RVK: SK 130LOC classification:
  • QA9
Summary: A history of logic -- A language and its meaning -- A symbolic language -- 1850-1950 : mathematical logic -- Modern symbolic logic -- Elements of set theory -- Sets, functions, relations -- Induction -- Turing machines -- Computability and decidability -- Propositional logic -- Syntax and proof systems -- Semantics of pl -- Soundness and completeness -- Diagnosing paradoxes -- First order logic -- Syntax and proof systems of fol -- Semantics of fol -- More semantics -- Soundness and completeness -- Why is first order logic "first order"?Call number: Grundsignatur: 2016 A 2996PPN: PPN: 857179489
Holdings
Item type Home library Collection Shelving location Call number Status Barcode
Freihandbestand ausleihbar Bibliothek Campus Süd math 1.0 Lesesaal Technik (LST) 2016 A 2996 Available 53181876090
Total holds: 0
KIT – The University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT