The Resource A Concise Introduction to Mathematical Logic, by Wolfgang Rautenberg, (electronic resource)

A Concise Introduction to Mathematical Logic, by Wolfgang Rautenberg, (electronic resource)

Label
A Concise Introduction to Mathematical Logic
Title
A Concise Introduction to Mathematical Logic
Statement of responsibility
by Wolfgang Rautenberg
Creator
Author
Author
Subject
Language
  • eng
  • eng
Summary
Traditional logic as a part of philosophy is one of the oldest scientific disciplines. Mathematical logic, however, is a relatively young discipline and arose from the endeavors of Peano, Frege, Russell and others to create a logistic foundation for mathematics. It steadily developed during the 20th century into a broad discipline with several sub-areas and numerous applications in mathematics, informatics, linguistics and philosophy. While there are already several well-known textbooks on mathematical logic, this book is unique in that it is more concise than most others; the material is treated in a streamlined fashion. This allows the lecturer to select the material for a one-semester course on a topic more easily. Although the book is intended for use as a graduate text, the first three chapters could be understood by undergraduates interested in mathematical logic. These initial chapters cover just the material for an introductory course on mathematical logic combined with the necessary material from set theory. Chapter 3 is partly of a descriptive nature, providing a view towards decision problems, automated theorem proving, non-standard models and related subjects. The other chapters contain material on logic programming for computer scientists, model theory, recursion theory, Gödel's Incompleteness Theorems, and applications of mathematical logic. Philosophical and foundational problems of mathematics are discussed where appropriate. The author has provided exercises for each section, as well as hints or even complete solutions to most exercises at the end of the book. From the foreword, written by Lev Beklemishev: "...a well-written introduction to this beautiful and coherent subject. It contains classical material such as logical calculi, beginnings of model theory, and Gödel’s incompleteness theorems, as well as some topics motivated by applications, such as a chapter on logic programming. The author has taken great care to make the exposition readable and concise."
Member of
Is Subseries of
http://library.link/vocab/creatorName
Rautenberg, Wolfgang
Dewey number
519
http://bibfra.me/vocab/relation/httpidlocgovvocabularyrelatorsaut
QGBxv4k2QaA
Language note
English
LC call number
T57-57.97
Literary form
non fiction
Nature of contents
dictionaries
Series statement
Universitext,
http://library.link/vocab/subjectName
  • Mathematics
  • Logic, Symbolic and mathematical
  • Computer science
  • Applications of Mathematics
  • Mathematical Logic and Foundations
  • Computational Science and Engineering
Label
A Concise Introduction to Mathematical Logic, by Wolfgang Rautenberg, (electronic resource)
Instantiates
Publication
Note
Description based upon print version of record
Bibliography note
Includes bibliographical references (p. 241-246) and indexes
Carrier category
online resource
Carrier category code
cr
Content category
text
Content type code
txt
Contents
Propositional Logic -- Predicate Logic -- Gödel’s Completeness Theorem -- The Foundations of Logic Programming -- Elements of Model Theory -- Incompleteness and Undecidability -- On the Theory of Self-Reference
Dimensions
unknown
Edition
2.
Extent
1 online resource (272 p.)
Form of item
online
Isbn
9780387342412
Media category
computer
Media type code
c
Other control number
10.1007/0-387-34241-9
Specific material designation
remote
System control number
  • (CKB)1000000000282698
  • (EBL)3062222
  • (SSID)ssj0000316965
  • (PQKBManifestationID)11225858
  • (PQKBTitleCode)TC0000316965
  • (PQKBWorkID)10288393
  • (PQKB)10441722
  • (DE-He213)978-0-387-34241-2
  • (MiAaPQ)EBC3062222
  • (EXLCZ)991000000000282698
Label
A Concise Introduction to Mathematical Logic, by Wolfgang Rautenberg, (electronic resource)
Publication
Note
Description based upon print version of record
Bibliography note
Includes bibliographical references (p. 241-246) and indexes
Carrier category
online resource
Carrier category code
cr
Content category
text
Content type code
txt
Contents
Propositional Logic -- Predicate Logic -- Gödel’s Completeness Theorem -- The Foundations of Logic Programming -- Elements of Model Theory -- Incompleteness and Undecidability -- On the Theory of Self-Reference
Dimensions
unknown
Edition
2.
Extent
1 online resource (272 p.)
Form of item
online
Isbn
9780387342412
Media category
computer
Media type code
c
Other control number
10.1007/0-387-34241-9
Specific material designation
remote
System control number
  • (CKB)1000000000282698
  • (EBL)3062222
  • (SSID)ssj0000316965
  • (PQKBManifestationID)11225858
  • (PQKBTitleCode)TC0000316965
  • (PQKBWorkID)10288393
  • (PQKB)10441722
  • (DE-He213)978-0-387-34241-2
  • (MiAaPQ)EBC3062222
  • (EXLCZ)991000000000282698

Library Locations

  • Architecture LibraryBorrow it
    Gould Hall 830 Van Vleet Oval Rm. 105, Norman, OK, 73019, US
    35.205706 -97.445050
  • Bizzell Memorial LibraryBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Boorstin CollectionBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Chinese Literature Translation ArchiveBorrow it
    401 W. Brooks St., RM 414, Norman, OK, 73019, US
    35.207487 -97.447906
  • Engineering LibraryBorrow it
    Felgar Hall 865 Asp Avenue, Rm. 222, Norman, OK, 73019, US
    35.205706 -97.445050
  • Fine Arts LibraryBorrow it
    Catlett Music Center 500 West Boyd Street, Rm. 20, Norman, OK, 73019, US
    35.210371 -97.448244
  • Harry W. Bass Business History CollectionBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • History of Science CollectionsBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • John and Mary Nichols Rare Books and Special CollectionsBorrow it
    401 W. Brooks St., Rm. 509NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • Library Service CenterBorrow it
    2601 Technology Place, Norman, OK, 73019, US
    35.185561 -97.398361
  • Price College Digital LibraryBorrow it
    Adams Hall 102 307 West Brooks St., Norman, OK, 73019, US
    35.210371 -97.448244
  • Western History CollectionsBorrow it
    Monnet Hall 630 Parrington Oval, Rm. 300, Norman, OK, 73019, US
    35.209584 -97.445414
Processing Feedback ...