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

I mainly carry imported books from South East Asia / South Asia for readers of all Age Groups.

Visita la pagina della libreria

Informazioni sull?azienda del venditore

PLETOS INC
6931 51st Avenue, WOODSIDE, Woodside, NY, 11377, U.S.A.

Condizioni di vendita e spedizione

Condizioni di vendita

We accept return for those books which are received damamged. Though we take appropriate care in packaing to avoid such situation.

Diritto di recesso

Condizioni di spedizione

Tariffe di spedizione da U.S.A. a Italia

Tariffe di spedizione da U.S.A. a Italia
Quantit� dell?ordine	Da 21 a 36 giorni lavorativi	Da 5 a 8 giorni lavorativi
Primo articolo	EUR 7.66	EUR 12.34

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.