Books di : Daniele Mundici

Logica. Metodo breve

Logica. Metodo breve

Titolo del libri: Logica. Metodo breve

Nome del file: logica-metodo-breve.pdf

Pagine totali: 137

Editore: Springer Verlag

ISBN: 8847018838

Autore: Daniele Mundici


Logic: a Brief Course (UNITEXT) by Daniele Mundici (2012-02-24)

Logic: a Brief Course (UNITEXT) by Daniele Mundici (2012-02-24)

Titolo del libri: Logic: a Brief Course (UNITEXT) by Daniele Mundici (2012-02-24)

Nome del file: logic-a-brief-course-unitext-by-daniele-mundici-2012-02-24.pdf

Pagine totali: 137

Editore: Springer

ISBN: 8847018838

Autore: Daniele Mundici


Algebraic and Proof-theoretic Aspects of Non-classical Logics. Papers in Honor of Daniele Mundici on the Occasion of His 60th Birthday

Algebraic and Proof-theoretic Aspects of Non-classical Logics. Papers in Honor of Daniele Mundici on the Occasion of His 60th Birthday

Titolo del libri: Algebraic and Proof-theoretic Aspects of Non-classical Logics. Papers in Honor of Daniele Mundici on the Occasion of His 60th Birthday

Nome del file: algebraic-and-proof-theoretic-aspects-of-non-classical-logics-papers-in-honor-of-daniele-mundici-on-the-occasion-of-his-60th-birthday.pdf

Pagine totali: 137

Editore: Springer

ISBN: 3540759387

Autore: Daniele Mundici


LA SCIENZA DEI CALCOLATORI LE SCIENZE QUADERNI 56

LA SCIENZA DEI CALCOLATORI LE SCIENZE QUADERNI 56

Titolo del libri: LA SCIENZA DEI CALCOLATORI LE SCIENZE QUADERNI 56

Nome del file: la-scienza-dei-calcolatori-le-scienze-quaderni-56.pdf

Pagine totali: 92

Editore: LE SCIENZE

ISBN: 3540759387

Autore: DANIELE MUNDICI


Algebraic and Proof-theoretic Aspects of Non-classical Logics: Papers in Honor of Daniele Mundici on the Occasion of His 60th Birthday (Lecture Notes ... / Lecture Notes in Artificial Intelligence) (2007-10-26)

Algebraic and Proof-theoretic Aspects of Non-classical Logics: Papers in Honor of Daniele Mundici on the Occasion of His 60th Birthday (Lecture Notes ... / Lecture Notes in Artificial Intelligence) (2007-10-26)

Titolo del libri: Algebraic and Proof-theoretic Aspects of Non-classical Logics: Papers in Honor of Daniele Mundici on the Occasion of His 60th Birthday (Lecture Notes ... / Lecture Notes in Artificial Intelligence) (2007-10-26)

Nome del file: algebraic-and-proof-theoretic-aspects-of-non-classical-logics-papers-in-honor-of-daniele-mundici-on-the-occasion-of-his-60th-birthday-lecture-notes-lecture-notes-in-artificial-intelligence-2007-10-26.pdf

Pagine totali: 92

Editore: LE SCIENZE

ISBN: 3540759387

Autore: DANIELE MUNDICI


Algebraic Foundations of Many-Valued Reasoning (Trends in Logic) by R.L. Cignoli (2010-12-03)

Algebraic Foundations of Many-Valued Reasoning (Trends in Logic) by R.L. Cignoli (2010-12-03)

Titolo del libri: Algebraic Foundations of Many-Valued Reasoning (Trends in Logic) by R.L. Cignoli (2010-12-03)

Nome del file: algebraic-foundations-of-many-valued-reasoning-trends-in-logic-by-r-l-cignoli-2010-12-03.pdf

Pagine totali: 92

Editore: Springer

ISBN: 3540759387

Autore: R.L. Cignoli;Itala M. d'Ottaviano;Daniele Mundici


LA SCIENZA DEI CALCOLATORI numero 56. 1990

LA SCIENZA DEI CALCOLATORI numero 56. 1990

Titolo del libri: LA SCIENZA DEI CALCOLATORI numero 56. 1990

Nome del file: la-scienza-dei-calcolatori-numero-56-1990.pdf

Pagine totali: 92

Editore: Springer

ISBN: 3540759387

Autore: Daniele Mundici