SULJE VALIKKO

Englanninkielisten kirjojen poikkeusaikata... LUE LISÄÄ

avaa valikko

Mathematical Logic
60,40 €
Springer
Sivumäärä: 291 sivua
Asu: Pehmeäkantinen kirja
Painos: 2nd ed. 1994. Softco
Julkaisuvuosi: 2012, 12.12.2012 (lisätietoa)
Kieli: Englanti

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.



Loppuunmyyty
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Mathematical Logic
Näytä kaikki tuotetiedot
ISBN:
9781475723571
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste