This is a systematic and well-paced introduction to mathematical logic. Excellent as a course text, the book presupposes only elementary background and can be used also for self-study by more ambitious students. Starting with the basics of set theory, induction and computability, it covers propositional and first-order logic - their syntax, reasoning systems and semantics. Soundness and completeness results for Hilbert's and Gentzen's systems are presented, along with simple decidability arguments. The general applicability of various concepts and techniques is demonstrated by highlighting their consistent reuse in different contexts. Unlike in most comparable texts, presentation of syntactic reasoning systems precedes the semantic explanations. The simplicity of syntactic constructions and rules - of a high, though often neglected, pedagogical value - aids students in approaching more complex semantic issues. This order of presentation also brings forth the relative independence of syntax from the semantics, helping to appreciate the importance of the purely symbolic systems, like those underlying computers. An overview of the history of logic precedes the main text, while informal analogies precede introduction of most central concepts. These informal aspects are kept clearly apart from the technical ones. Together, they form a unique text which may be appreciated equally by lecturers and students occupied with mathematical precision, as well as those interested in the relations of logical formalisms to the problems of computability and the philosophy of logic.

Recensione

Many chapters start with some motivation, and as such make this text suitable for undergraduate philosophy students as well. --Zentralblatt MATH

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Descrizione libreria

Most our our books are UK editions and comprise of books purchased in bookshops in the UK, usually very good condition and often unread.

Visita la pagina della libreria

Informazioni sull?azienda del venditore

Herons' Nest Books
United Kingdom

Condizioni di vendita e spedizione

Condizioni di vendita

All returns accepted within 30 days of purchase

Diritto di recesso

Condizioni di spedizione

All orders shipped next working day. You will be contacted immediately if your order should occur any extra shipping charges.

Tariffe di spedizione da Regno Unito a U.S.A.

Tariffe di spedizione da Regno Unito a U.S.A.
Quantit� dell?ordine	Da 5 a 10 giorni lavorativi	Da 5 a 10 giorni lavorativi
Primo articolo	EUR 22.93	EUR 22.93

I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.