Mathematical Logic (Undergraduate Texts in Mathematics) - Ebbinghaus, H.-D.

Mathematical Logic (Undergraduate Texts in Mathematics)

H.-D. Ebbinghaus

Yayınevi: Springer

Yayın tarihi: 12/1996

ISBN: 9780387942582

Yazar : J. Flum W. Thomas

Ciltli | İngilizce | 308 Sayfa | 16x23,6x1,8 cm.

Tür: Matematik-İstatistik

  • Temin Süresi 49 - 63 iş günü

  • ÜYE GİRİŞİ YAPIN

    temin süresi ve fiyatını size bildirelim

  • ÜYE GİRİŞİ YAPIN

    stoklarımıza girdiğinde bilgilendirelim

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.

İlgili Ürünler

Bu Türde Çok Satanlar

Kredi Kartına Taksit İmkanı
  • 3 Taksit

  • 3 Taksit

  • 3 Taksit

©1996-2019 Pandora Yayın ve Kitap Hizmetleri A.Ş.

Mersis No: 0721-0430-4310-0015

Tasarım : Logo Site Tasarımı