Fundamentele logicii matematice

Recenzii ale cititorilor

Cartea este un text cuprinzător despre logica matematică, oferind o introducere bine organizată la diverse subiecte, cum ar fi logica propozițională, logica ordinului întâi, teoria seturilor, teoria modelelor și teoria recursiunii. În timp ce mulți recenzenți laudă claritatea, coerența și profunzimea sa, unii subliniază omisiuni notabile, în special în teoria dovezilor, ceea ce lasă textul să se simtă incomplet în anumite domenii.

Acoperire cuprinzătoare a subiectelor din logica matematică.

Bine scris, cu claritate și coerență excepționale.

(pe baza a 3 recenzii ale cititorilor)

Titlul original:

Fundamentals of Mathematical Logic

Conținutul cărții:

Acest text introductiv pentru absolvenți acoperă logica matematică modernă de la logica propozițională, de ordinul întâi și infinită și teoremele de incompletitudine ale lui Godel până la introduceri extinse în teoria seturilor, teoria modelelor și teoria recursivității (calculabilității).

Bazată pe cei peste 35 de ani de experiență didactică a autorului, cartea dezvoltă intuiția studenților prin prezentarea unor idei complexe în cel mai simplu context pentru care acestea au sens. Cartea este potrivită pentru a fi utilizată ca text de clasă, pentru studiu individual și ca referință privind starea logicii moderne.