Introduction to Mathematical Logic - Walicki, Michal (University of Bergen, Norway) - Bøker - World Scientific Publishing Co Pte Ltd - 9789814343879 - 15. desember 2011
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

Walicki, Michal (University of Bergen, Norway)
Introduction to Mathematical Logic

Pris
NOK 469

Bestillingsvarer

Forventes levert 27. okt - 4. nov
Få varsel om nye utgivelser fra Walicki, Michal (University of Bergen, Norway)

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
eller

Ikke vurdert ennå

Finnes også som:

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 Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 15. desember 2011
ISBN13 9789814343879
Utgivere World Scientific Publishing Co Pte Ltd
Antall sider 282
Mål 154 × 223 × 15 mm   ·   416 g

Mer fra samme **utgiver**

Se alt med Walicki, Michal (University of Bergen, Norway)