MPG.eBooks - Search Results - "Foundations"

Cover Image

1

Logica: Metodo Breve

by Mundici, Daniele
Published 2011

Springer Milan

Subjects: “...Mathematical Logic and Foundations...”

Cover Image

2

Computational Logic and Proof Theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings

Published 1993

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

3

Logic: a Brief Course

by Mundici, Daniele
Published 2012

Springer Milan

Subjects: “...Mathematical Logic and Foundations...”

Cover Image

4

Theorem Proving with Analytic Tableaux and Related Methods : 5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. Proceedings

Published 1996

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Foundations...”

Cover Image

5

Logic and Scientific Methods : Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995

Published 1997

Springer Netherlands

Subjects: “...Mathematical Logic and Foundations...”

Cover Image

6

Computational Logic and Proof Theory : 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings

Published 1997

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Foundations...”

Cover Image

7

Algebraic Foundations of Many-Valued Reasoning

by Cignoli, R.L., d'Ottaviano, Itala M., Mundici, Daniele
Published 2000

Springer Netherlands

Subjects: “...Mathematical Logic and Foundations...”

Cover Image

8

Computational Logic and Proof Theory : 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings

by Gottlob, Georg
Published 1997

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Foundations...”