This bestselling, classic textbook continues to provide a complete one-semester introduction to mathematical logic. The sixth edition incorporates recent work on Gödel's second incompleteness theorem as well as an appendix on consistency proofs for first-order arithmetic. It also offers historical perspectives and many new exercises of varying d
Storico prezzi
Ricevi una notifica se il prezzo scende
Ti invieremo un'email quando il prezzo di questo prodotto diminuirà.