Pastāsti draugiem par šo preci:
Introduction To Mathematical Logic Walicki, Michal (Univ Of Bergen, Norway)
Introduction To Mathematical Logic
Walicki, Michal (Univ 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 | 282 |
| Izmēri | 164 × 236 × 20 mm · 532 g |
Vairāk no tā paša izdevēja
Skatīt visus Walicki, Michal (Univ Of Bergen, Norway) ( piem., Hardcover Book un Paperback Book )