KIRJAUDU

ostoskori

avaa valikko

Daniele+Mundici | Akateeminen Kirjakauppa

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

LOGICA: METODO BREVE

Daniele Mundici
Springer Verlag (2011)
Pehmeäkantinen kirja

29,40 €

LOGIC: A BRIEF COURSE

Daniele Mundici
Springer (2012)
Pehmeäkantinen kirja

51,40 €

ALGEBRAIC FOUNDATIONS OF MANY-VALUED REASONING

R.L. Cignoli; Itala M. d'Ottaviano; Daniele Mundici
Springer (1999)
Kovakantinen kirja

101,40 €

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

Maria Luisa Dalla Chiara (ed.); Kees Doets (ed.); Daniele Mundici (ed.); Johan van Benthem (ed.)
Springer (1996)
Kovakantinen kirja

179,00 €

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

Maria Luisa Dalla Chiara; Kees Doets; Daniele Mundici; Johan van Benthem
Springer (1996)
Kovakantinen kirja

179,00 €

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

Georg Gottlob; Alexander Leitsch; Daniele Mundici
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1993)
Pehmeäkantinen kirja

51,40 €

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

Georg Gottlob; Alexander Leitsch; Daniele Mundici
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1997)
Pehmeäkantinen kirja

51,40 €

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

Pierangelo Miglioli; Ugo Moscato; Daniele Mundici; Mario Ornaghi
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1996)
Pehmeäkantinen kirja

51,40 €

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

Maria Luisa Dalla Chiara (ed.); Kees Doets (ed.); Daniele Mundici (ed.); Johan van Benthem (ed.)
Springer (2010)
Pehmeäkantinen kirja

179,00 €

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

Maria Luisa Dalla Chiara; Kees Doets; Daniele Mundici; Johan van Benthem
Springer (2010)
Pehmeäkantinen kirja

179,00 €

ALGEBRAIC FOUNDATIONS OF MANY-VALUED REASONING

R.L. Cignoli; Itala M. d'Ottaviano; Daniele Mundici
Springer (2010)
Pehmeäkantinen kirja

101,40 €

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

Maria Luisa Dalla Chiara (ed.); Kees Doets (ed.); Daniele Mundici (ed.); Johan van Benthem (ed.)
Springer (1996)
Kirja

268,00 €

Hae lisää...

Logica: Metodo Breve

Daniele Mundici

29,40 €

Springer Verlag
Sivumäärä: 126 sivua
Asu: Pehmeäkantinen kirja
Painos: 2011 ed.
Julkaisuvuosi: 2011, 10.02.2011 (lisätietoa)
Kieli: Italia
Tuotesarja: La Matematica per il 3+2

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 3-4 viikossa

Myymäläsaatavuus