Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Logic: a Brief Course

Name: Logic: a Brief Course
Brand: Springer Verlag
SKU: 01367291
Price: 19583 HUF
Availability: InStock
Author: Daniele Mundici
ISBN: 9788847023604

Daniele Mundici

Language

English

Book Paperback

Libristo code: 01367291

Publishers Springer Verlag, February 2012

This short book, geared towards undergraduate students of computer science and mathematics, is speci... Full description

Libristo code: 01367291

133 b

19 583 Ft

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

CLARIN 100 JULIO AGOSTO 2012

Book

3 558 Ft

EL VIAJE DE TU VIDA LUCIA GALAN BERTRAND

Book

3 957 Ft

Arde Madrid Herrero

Paperback

8 857 Ft

Crescere partecipando. Contesti e prospettive educative per il sistema integrato 0-6 Monica Amadini

Paperback

6 607 Ft

Effetto delle radiazioni dei telefoni cellulari sulla salute Khitam Elwasife

Paperback

15 965 Ft

Finančná gramotnosť pre 1. stupeň základných škôl Monika Reiterová

Paperback

1 958 Ft

The "Here and Now" of French Psychoanalysis Rachel Boue-Widawsky

Paperback

18 785 Ft

2013年瑞豐香檳酒庄指南 Collectif Photo Reims

Paperback

7 460 Ft

Le Cabinet Du Jeune Naturaliste Ou Tableaux Intéressans De L'histoire Des Animaux ...: (Viii, 364 P.) Thomas Smith

Hardback

13 946 Ft

Ministere de l'Instruction Publique Et Des Beaux-Arts. Direction de l'Enseignement Secondaire SANS AUTEUR

Paperback

18 154 Ft

Wir Eltern sind auch nur Menschen! Jörg Mangold

Paperback

9 771 Ft

Handbuch der Chirurgischen Praxis Victor Von Bruns

Paperback

15 626 Ft

Fibromialgia : una guía completa para comprender y aliviar el dolor Don L. Goldenberg

Paperback

8 370 Ft

Wie Sprach Gott: Es Werde Licht!? Dieter Lau

Paperback

28 645 Ft

Vivez pleinement et libérez votre potentiel Gianluca Annoni

Paperback

6 254 Ft

Moeglichkeiten der Kundenbindung in der Logistikbranche Tihomir Bajci

Paperback

18 391 Ft

Detektiv Conan. Bd.87 Gosho Aoyama

Paperback

2 705 Ft

Der Philipperbrief / Der Philemonbrief Christoph Schluep-Meier

Hardback

13 798 Ft

grosse Kurfurst und seine Kinder Louise Mühlbach

Paperback

20 790 Ft

Portratgalerie aus Lamprechts Deutscher Geschichte Hans Ferdinand Helmolt

Paperback

10 430 Ft

"richtige" Kinder Sabina Schutter

Paperback

18 683 Ft

Bioethik zwischen Natur und Interesse Dieter Birnbacher

Paperback

8 504 Ft

This short book, geared towards undergraduate students of computer science and mathematics, is specifically designed for a first course in mathematical logic.§A proof of Gödel's completeness theorem and its main consequences is given using Robinson's completeness theorem and Gödel's compactness theorem for propositional logic. The reader will familiarize himself with many basic ideas and artifacts of mathematical logic: a non-ambiguous syntax, logical equivalence and consequence relation, the Davis-Putnam procedure, Tarski semantics, Herbrand models, the axioms of identity, Skolem normal forms, nonstandard models and, interestingly enough, proofs and refutations viewed as graphic objects. The mathematical prerequisites are minimal: the book is accessible to anybody having some familiarity with proofs by induction. Many exercises on the relationship between natural language and formal proofs make the book also interesting to a wide range of students of philosophy and linguistics.