KIRJAUDU

ostoskori

avaa valikko

Daniele Mundici | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 12 tuotetta
Haluatko tarkentaa hakukriteerejä?

LOGICA: METODO BREVE

Tekijä: Daniele Mundici
Kustantaja: Springer (2011)
Saatavuus: Noin 17-20 arkipäivää

EUR 28,40

LOGIC: A BRIEF COURSE

Tekijä: Daniele Mundici
Kustantaja: Springer (2012)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

ALGEBRAIC FOUNDATIONS OF MANY-VALUED REASONING

Tekijä: R.L. Cignoli; Itala M. d'Ottaviano; Daniele Mundici
Kustantaja: Springer (1999)
Saatavuus: Noin 17-20 arkipäivää

EUR 97,90

LOGIC AND SCIENTIFIC METHODS - VOLUME ONE OF THE TENTH INTERNATIONAL CONGRESS OF LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE, F

Tekijä: Maria Luisa Dalla Chiara; Kees Doets; Daniele Mundici; Johan van Benthem
Kustantaja: Springer (1996)
Saatavuus: Noin 17-20 arkipäivää

EUR 172,80

STRUCTURES AND NORMS IN SCIENCE - VOLUME TWO OF THE TENTH INTERNATIONAL CONGRESS OF LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE

Tekijä: Maria Luisa Dalla Chiara; Kees Doets; Daniele Mundici; Johan van Benthem
Kustantaja: Springer (1996)
Saatavuus: Noin 17-20 arkipäivää

EUR 172,80

COMPUTATIONAL LOGIC AND PROOF THEORY : THIRD KURT GÖDEL COLLOQUIUM, KGC'93, BRNO, CZECH REPUBLIC, AUGUST 24-27, 1993. PROCEEDING

Tekijä: Georg Gottlob (ed.); Alexander Leitsch (ed.); Daniele Mundici (ed.)
Kustantaja: Springer (1993)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

COMPUTATIONAL LOGIC AND PROOF THEORY : 5TH KURT GÖDEL COLLOQUIUM, KGC'97, VIENNA, AUSTRIA, AUGUST 25-29, 1997, PROCEEDINGS

Tekijä: Georg Gottlob (ed.); Alexander Leitsch (ed.); Daniele Mundici (ed.)
Kustantaja: Springer (1997)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

THEOREM PROVING WITH ANALYTIC TABLEAUX AND RELATED METHODS : 5TH INTERNATIONAL WORKSHOP, TABLEAUX '96, TERRASINI (PALERMO), ITAL

Tekijä: Pierangelo Miglioli (ed.); Ugo Moscato (ed.); Daniele Mundici (ed.); Mario Ornaghi (ed.)
Kustantaja: Springer (1996)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

LOGIC AND SCIENTIFIC METHODS : VOLUME ONE OF THE TENTH INTERNATIONAL CONGRESS OF LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE, F

Tekijä: Maria Luisa Dalla Chiara (ed.); Kees Doets (ed.); Daniele Mundici (ed.); Johan van Benthem (ed.)
Kustantaja: Springer (2010)
Saatavuus: Noin 17-20 arkipäivää

EUR 172,80

STRUCTURES AND NORMS IN SCIENCE : VOLUME TWO OF THE TENTH INTERNATIONAL CONGRESS OF LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE

Tekijä: Maria Luisa Dalla Chiara (ed.); Kees Doets (ed.); Daniele Mundici (ed.); Johan van Benthem (ed.)
Kustantaja: Springer (2010)
Saatavuus: Noin 17-20 arkipäivää

EUR 172,80

ALGEBRAIC FOUNDATIONS OF MANY-VALUED REASONING

Tekijä: R.L. Cignoli; Itala M. d'Ottaviano; Daniele Mundici
Kustantaja: Springer (2010)
Saatavuus: Noin 17-20 arkipäivää

EUR 97,90

STRUCTURES AND NORMS IN SCIENCE : VOLUME TWO OF THE TENTH INTERNATIONAL CONGRESS OF LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE

Tekijä: Maria Luisa Dalla Chiara (ed.); Kees Doets (ed.); Daniele Mundici (ed.); Johan van Benthem (ed.)
Kustantaja: Springer (1996)
Saatavuus: Noin 17-20 arkipäivää

EUR 258,60

Hae lisää...

Logica: Metodo Breve

Daniele Mundici

28,40 €

Springer
Sivumäärä: 126 sivua
Asu: Pehmeäkantinen kirja
Painos: 2011
Julkaisuvuosi: 2011, 10.02.2011 (lisätietoa)
Kieli: Italia

Senza richiedere prerequisiti il testo si propone di fornire una dimostrazione dei fondamentali teoremi della logica matematica (compattezza, completezza di Gödel, Löwenheim-Skolem) introducendo i concetti sintattici e semantici in modo progressivo, dalla logica booleana a quella predicativa. Per facilitare la lettura attiva, il testo contiene numerosi esercizi.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 17-20 arkipäivässä

Myymäläsaatavuus