Mathematical Logic

Name: Mathematical Logic
Price: 24.1 USD
Availability: InStock
ISBN: 9780387942582

ISBN-10: 0387942580

ISBN-13: 9780387942582

Edition: 2nd 1994 (Revised)

Authors: H. -d. Ebbinghaus, J. Flum, W. Thomas

List price: $79.95

30 day, 100% satisfaction guarantee!

Marketplace

4 new & used from $24.10

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

Description:

This junior/senior level text is devoted to a study of first-order logic and its role in the foundations of mathematics: What is a proof? How can a proof be justified? To what extent can a proof be made a purely mechanical procedure? How much faith can we have in a proof that is so complex that no one can follow it through in a lifetime? The first substantial answers to these questions have only been obtained in this century. The most striking results are contained in Goedel's work: First, it is possible to give a simple set of rules that suffice to carry out all mathematical proofs; but, second, these rules are necessarily incomplete - it is impossible, for example, to prove all true…

Book details

List price: $79.95
Edition: 2nd
Copyright year: 1994
Publisher: Springer New York
Publication date: 6/10/1994
Binding: Hardcover
Pages: 291
Size: 6.10" wide x 9.25" long x 0.30" tall
Weight: 2.970
Language: English



Preface






Introduction



Syntax of First-Order Languages



Semantics of first-Order Languages



A Sequent Calculus



The Completeness Theorem



The Lowenheim-Skolem and the Compactness Theorem



The Scope of First-Order Logic



Syntactic Interpretations and Normal Forms






Extensions of First-Order Logic



Limitations of the Formal Method



Free Models and Logic Programming



An Algebraic Characterization of Elementary Equivalence



Lindstroem's Theorems


References


Symbol Index


Subject Index