Pastāsti draugiem par šo preci:
Introduction to Mathematical Logic Walicki, Michal (University of Bergen, Norway)
Cena
€ 75,99
Pasūtīts no attālās noliktavas
Paredzamā piegāde . gada 9. - 17. nov.
Ziemassvētku dāvanas var atgriezt līdz 31. janvārim
Saņemiet paziņojumus par jauniem Walicki, Michal (University of Bergen, Norway) izdevumiem
Pievienot savam iMusic vēlmju sarakstam
Pieejams arī kā:
Introduction to Mathematical Logic
Walicki, Michal (University of Bergen, Norway)
An introduction to mathematical logic. Starting with the basics of set theory, induction and computability, it covers propositional and first-order logic - their syntax, reasoning systems and semantics. It presents soundness and completeness results for Hilbert's and Gentzen's systems, along with simple decidability arguments.
300 pages, illustrations
| Mediji | Grāmatas Hardcover Book (Grāmata ar cieto muguriņu un vāku) |
| Izlaists | 2011. gada 15. decembris |
| ISBN13 | 9789814343862 |
| Izdevēji | World Scientific Publishing Co Pte Ltd |
| Lapas | 280 |
| Izmēri | 164 × 236 × 20 mm · 532 g |