An Introduction to Mathematical Logic and Type Theory: to Truth Through Proof - Applied Logic Series - Peter B. Andrews - Grāmatas - Springer - 9789048160792 - 2010. gada 9. decembris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Peter B. Andrews
An Introduction to Mathematical Logic and Type Theory: to Truth Through Proof - Applied Logic Series 2nd Ed. 2002. Softcover Reprint of the Original 2n edition

Cena
€ 90,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 17. - 25. sept.
Saņemiet paziņojumus par jauniem Peter B. Andrews izdevumiem

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

Pieejams arī kā:

An introduction to mathematical logic that starts with propositional calculus and first-order logic. It covers topics such as: syntax, semantics, soundness, completeness, independence, normal forms, vertical paths through negation normal formulas, compactness, Smullyan's Unifying Principle, natural deduction, cut-elimination, and, Skolemization.

414 pages, biography

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2010. gada 9. decembris
ISBN13 9789048160792
Izdevēji Springer
Lapas 414
Izmēri 156 × 234 × 21 mm   ·   576 g

Vairāk no tā paša izdevēja

Skatīt visus Peter B. Andrews