Back to top
Languages & Display
English
Español
Display
Stoneham Public Library
Dark Mode
Navigation
Library Website
Calendar
Digital Resources
Sign in
Your Account
Library Home Page
Library Hours & Location
Change Catalog
Help
Display Options
Languages
English
Español
Sign Out
Look for
Clear search
Keyword
Title
Start of Title
Series
Author
Subject
Call Number
Advanced Search
in Library Catalog
in Online Collection
in Articles & Databases
in Lists
in History & Archives
Search
Browse
»
A concise introduction to mathematical logic
A concise introduction to mathematical logic
Author
Rautenberg, Wolfgang
Publisher
Springer
Publication Date
2006
Edition
2nd ed.
Language
English
Book
Show Edition
Available from another library
Where is it?
See Full Copy Details
Place Hold
Add to List
SHARE
Description
Loading Description...
Published Reviews
Table of Contents
From the Book - 2nd ed.
Propositional logic.
Predicate logic.
Gödel's completeness theorem.
The foundation of logic programming.
Elements of model theory.
Incompleteness and undecidability.
On the theory of self-reference.
Hints to the exercises.
Author Notes
Loading Author Notes...
Subjects
Subjects
Logic, Symbolic and mathematical
More Details
ISBN
9780387302942
NoveList
Staff View
Loading Staff View.
Loading, please wait
...
