Introduction to Mathematical Logic - Walicki, Michal (University of Bergen, Norway) - Boeken - World Scientific Publishing Co Pte Ltd - 9789814343879 - 15 december 2011
Indien omslag en titel niet overeenkomen, is de titel correct

Introduction to Mathematical Logic

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

Nog niet beoordeeld

Ook verkrijgbaar als:

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

Meer van dezelfde uitgever