你好! Shipping to Taiwan with premium packaging for just NT$300 

Ship to
Taiwan
0

My Account

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menu

Select your country

Americas

Europe

Rest of the world

portada Mathematical Logic
Type
Physical Book
Author
Publisher
Year
2021
Language
English
Pages
304
Format
Hardcover
Dimensions
23.9x20.3x2 cm
Weight
0.68 kg.
ISBN13
9783030738389
Edition No.
0003
Categories

Mathematical Logic

Heinz-Dieter Ebbinghaus (Author) · Jörg Flum (Author) · Wolfgang Thomas (Author) · Springer · Hardcover

Mathematical Logic - Ebbinghaus, Heinz-Dieter ; Flum, Jörg ; Thomas, Wolfgang

Cheaper New Book Imported to Taiwan
Delivery: 29 Sep - 12 Oct Shipping: 16 to 20 business days.
NT$ 2,579
Faster New Book Imported to Taiwan
Delivery: 09 Sep - 17 Sep Shipping: 2 to 3 business days.
NT$ 2,777
NT$ 2,579

Choose the list to add your product or create one New List

Go to My Wishlists
Calculate shipping cost

Synopsis "Mathematical Logic"

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.

Customers reviews

More customer reviews
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in English.

What is the format of this book?

The binding of this edition is Hardcover.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews