Mathematical Logic, 2nd Edition (Undergraduate Texts in Mathematics)

4.33 avg rating
( 18 ratings by Goodreads )
 
9780387942582: Mathematical Logic, 2nd Edition (Undergraduate Texts in Mathematics)
View all copies of this ISBN edition:
 
 

This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines. It covers several advanced topics not commonly treated in introductory texts, such as Fraïssé's characterization of elementary equivalence, Lindström's theorem on the maximality of first-order logic, and the fundamentals of logic programming.

"synopsis" may belong to another edition of this title.

From the Back Cover:

The book starts with a thorough treatment of first-order logic and its role in the foundations of mathematics. It covers several advanced topics, not commonly treated in introductory texts, such as Trachtenbrot's undecidability theorem Fraisse's characterization of elementary equivalence, Lindstrom's theorem on the maximality of first-order logic, and the fundamentals of logic programming.

Language Notes:

Text: English (translation)
Original Language: German

"About this title" may belong to another edition of this title.

Buy New View Book
List Price: US$ 79.95
US$ 71.90

Convert Currency

Shipping: FREE
From United Kingdom to U.S.A.

Destination, Rates & Speeds

Add to Basket

Top Search Results from the AbeBooks Marketplace

1.

H-. D. Ebbinghaus, Jörg Flum, W. Thomas
Published by Springer-Verlag New York Inc., United States (1996)
ISBN 10: 0387942580 ISBN 13: 9780387942582
New Hardcover Quantity Available: 1
Seller:
The Book Depository
(London, United Kingdom)
Rating
[?]

Book Description Springer-Verlag New York Inc., United States, 1996. Hardback. Condition: New. 2nd ed. 1994. Corr. 2nd printing 1996. Language: English . Brand New Book. This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines. It covers several advanced topics not commonly treated in introductory texts, such as Fraisse s characterization of elementary equivalence, Lindstrom s theorem on the maximality of first-order logic, and the fundamentals of logic programming. Seller Inventory # AAU9780387942582

More Information About This Seller | Contact this Seller

Buy New
US$ 71.90
Convert Currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, Rates & Speeds

2.

H-. D. Ebbinghaus, Jörg Flum, W. Thomas
Published by Springer-Verlag New York Inc., United States (1996)
ISBN 10: 0387942580 ISBN 13: 9780387942582
New Hardcover Quantity Available: 1
Seller:
Book Depository International
(London, United Kingdom)
Rating
[?]

Book Description Springer-Verlag New York Inc., United States, 1996. Hardback. Condition: New. 2nd ed. 1994. Corr. 2nd printing 1996. Language: English . Brand New Book. This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines. It covers several advanced topics not commonly treated in introductory texts, such as Fraisse s characterization of elementary equivalence, Lindstrom s theorem on the maximality of first-order logic, and the fundamentals of logic programming. Seller Inventory # AAU9780387942582

More Information About This Seller | Contact this Seller

Buy New
US$ 73.92
Convert Currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, Rates & Speeds

3.

H.-D. Ebbinghaus, J. Flum, Wolfgang Thomas
Published by Springer New York 1996-11-15, Berlin (1996)
ISBN 10: 0387942580 ISBN 13: 9780387942582
New Hardcover Quantity Available: > 20
Seller:
Blackwell's
(Oxford, OX, United Kingdom)
Rating
[?]

Book Description Springer New York 1996-11-15, Berlin, 1996. hardback. Condition: New. Seller Inventory # 9780387942582

More Information About This Seller | Contact this Seller

Buy New
US$ 65.80
Convert Currency

Add to Basket

Shipping: US$ 8.33
From United Kingdom to U.S.A.
Destination, Rates & Speeds

4.

Ebbinghaus, H. -D.
Published by Springer-Verlag New York Inc. (1996)
ISBN 10: 0387942580 ISBN 13: 9780387942582
New Quantity Available: > 20
Print on Demand
Seller:
Pbshop
(Wood Dale, IL, U.S.A.)
Rating
[?]

Book Description Springer-Verlag New York Inc., 1996. HRD. Condition: New. New Book.Shipped from US within 10 to 14 business days.THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # IP-9780387942582

More Information About This Seller | Contact this Seller

Buy New
US$ 70.57
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

5.

Ebbinghaus, H.-D., Flum, J., Thomas, Wolfgang
Published by Springer (1996)
ISBN 10: 0387942580 ISBN 13: 9780387942582
New Hardcover Quantity Available: 1
Rating
[?]

Book Description Springer, 1996. Condition: New. Provides a treatment of first-order logic and its role in the foundations of mathematics. This junior/senior level text covers several topics such as Trachtenbrot's undecidability theorem, Fraisse's characterization of elementary equivalence, Lindstrom's theorem on the maximality of first-order logic, and the fundamentals of logic programming. Series: Undergraduate Texts in Mathematics. Num Pages: 301 pages, biography. BIC Classification: PBCD. Category: (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 241 x 166 x 21. Weight in Grams: 596. . 1996. 2nd. Hardcover. . . . . . Seller Inventory # V9780387942582

More Information About This Seller | Contact this Seller

Buy New
US$ 75.25
Convert Currency

Add to Basket

Shipping: FREE
From Ireland to U.S.A.
Destination, Rates & Speeds

6.

Ebbinghaus, H.-D., Flum, J., Thomas, Wolfgang
Published by Springer
ISBN 10: 0387942580 ISBN 13: 9780387942582
New Hardcover Quantity Available: 1
Seller:
Kennys Bookstore
(Olney, MD, U.S.A.)
Rating
[?]

Book Description Springer. Condition: New. Provides a treatment of first-order logic and its role in the foundations of mathematics. This junior/senior level text covers several topics such as Trachtenbrot's undecidability theorem, Fraisse's characterization of elementary equivalence, Lindstrom's theorem on the maximality of first-order logic, and the fundamentals of logic programming. Series: Undergraduate Texts in Mathematics. Num Pages: 301 pages, biography. BIC Classification: PBCD. Category: (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 241 x 166 x 21. Weight in Grams: 596. . 1996. 2nd. Hardcover. . . . . Books ship from the US and Ireland. Seller Inventory # V9780387942582

More Information About This Seller | Contact this Seller

Buy New
US$ 76.22
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

7.

H.-D. Ebbinghaus, J. Flum, W. Thomas
Published by Springer (1994)
ISBN 10: 0387942580 ISBN 13: 9780387942582
New Hardcover Quantity Available: 1
Seller:
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description Springer, 1994. Hardcover. Condition: New. 2nd. Seller Inventory # DADAX0387942580

More Information About This Seller | Contact this Seller

Buy New
US$ 73.03
Convert Currency

Add to Basket

Shipping: US$ 4.99
Within U.S.A.
Destination, Rates & Speeds

8.

H.-D. Ebbinghaus; J. Flum; Wolfgang Thomas
Published by Springer (1996)
ISBN 10: 0387942580 ISBN 13: 9780387942582
New Hardcover Quantity Available: 1
Seller:
Ria Christie Collections
(Uxbridge, United Kingdom)
Rating
[?]

Book Description Springer, 1996. Condition: New. book. Seller Inventory # ria9780387942582_rkm

More Information About This Seller | Contact this Seller

Buy New
US$ 72.82
Convert Currency

Add to Basket

Shipping: US$ 5.38
From United Kingdom to U.S.A.
Destination, Rates & Speeds

9.

H-. D. Ebbinghaus, Jörg Flum, W. Thomas
Published by Springer-Verlag New York Inc., United States (1996)
ISBN 10: 0387942580 ISBN 13: 9780387942582
New Hardcover Quantity Available: 10
Seller:
Book Depository hard to find
(London, United Kingdom)
Rating
[?]

Book Description Springer-Verlag New York Inc., United States, 1996. Hardback. Condition: New. 2nd ed. 1994. Corr. 2nd printing 1996. Language: English . This book usually ship within 10-15 business days and we will endeavor to dispatch orders quicker than this where possible. Brand New Book. This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines. It covers several advanced topics not commonly treated in introductory texts, such as Fraisse s characterization of elementary equivalence, Lindstrom s theorem on the maximality of first-order logic, and the fundamentals of logic programming. Seller Inventory # LIE9780387942582

More Information About This Seller | Contact this Seller

Buy New
US$ 78.69
Convert Currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, Rates & Speeds

10.

H-. D. Ebbinghaus
Published by Springer-Verlag New York Inc. (1996)
ISBN 10: 0387942580 ISBN 13: 9780387942582
New Quantity Available: 1
Seller:
Books2Anywhere
(Fairford, GLOS, United Kingdom)
Rating
[?]

Book Description Springer-Verlag New York Inc., 1996. HRD. Condition: New. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Seller Inventory # BB-9780387942582

More Information About This Seller | Contact this Seller

Buy New
US$ 66.19
Convert Currency

Add to Basket

Shipping: US$ 12.50
From United Kingdom to U.S.A.
Destination, Rates & Speeds

There are more copies of this book

View all search results for this book