Vertel uw vrienden over dit artikel:
Introduction to Mathematical Logic Walicki, Michal (University of Bergen, Norway)
Prijs
€ 46,49
Besteld in een afgelegen magazijn
Verwachte levering 20 - 30 nov.
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld
Ontvang meldingen over nieuwe releases van Walicki, Michal (University of Bergen, Norway)
Voeg toe aan uw iMusic-verlanglijst
Ook verkrijgbaar als:
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
| Media | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
| Vrijgegeven | 15 december 2011 |
| ISBN13 | 9789814343879 |
| Uitgevers | World Scientific Publishing Co Pte Ltd |
| Pagina's | 280 |
| Afmetingen | 154 × 223 × 15 mm · 416 g |