Povej prijatelju o tem izdelku:
Introduction to Mathematical Logic Walicki, Michal (University of Bergen, Norway)
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
| Medij | Knjige Hardcover Book (Knjiga s trdim hrbtom in platnicami) |
| Izdano | 15. decembra 2011 |
| ISBN13 | 9789814343862 |
| Založniki | World Scientific Publishing Co Pte Ltd |
| Strani | 282 |
| Dimenzije | 164 × 236 × 20 mm · 532 g |
Božična darila lahko vrnete do 31. januarja