Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 5.99 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Logic: a Brief Course

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

Daniele Mundici

Lingua

Inglese

Libro In brossura

Codice Libristo: 01367291

Casa editrice Springer Verlag, febbraio 2012

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

Codice Libristo: 01367291

129 b

52.69 €

Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

CLARIN 100 JULIO AGOSTO 2012

Libro

9.99 €

EL VIAJE DE TU VIDA LUCIA GALAN BERTRAND

Libro

10.89 €

Arde Madrid Herrero

In brossura

24.59 €

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

In brossura

19.09 €

Effetto delle radiazioni dei telefoni cellulari sulla salute Khitam Elwasife

In brossura

42.89 €

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

In brossura

5.79 €

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

In brossura

50.89 €

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

In brossura

20.19 €

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

Rigido

37.69 €

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

In brossura

52.99 €

Wir Eltern sind auch nur Menschen! Jörg Mangold

In brossura

26.29 €

Handbuch der Chirurgischen Praxis Victor Von Bruns

In brossura

41.99 €

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

In brossura

23.29 €

Wie Sprach Gott: Es Werde Licht!? Dieter Lau

In brossura

77.29 €

Vivez pleinement et libérez votre potentiel Gianluca Annoni

In brossura

16.79 €

Moeglichkeiten der Kundenbindung in der Logistikbranche Tihomir Bajci

In brossura

49.39 €

Detektiv Conan. Bd.87 Gosho Aoyama

In brossura

7.29 €

Der Philipperbrief / Der Philemonbrief Christoph Schluep-Meier

Rigido

37.39 €

Orte und Räume des Religiösen im 19.-21. Jahrhundert Franziska Metzger

In brossura

87.69 €

grosse Kurfurst und seine Kinder Louise Mühlbach

In brossura

55.89 €

Portratgalerie aus Lamprechts Deutscher Geschichte Hans Ferdinand Helmolt

In brossura

27.99 €

"richtige" Kinder Sabina Schutter

In brossura

50.29 €

Bioethik zwischen Natur und Interesse Dieter Birnbacher

In brossura

24.79 €

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.