MPG.eBooks - Search Results - "Mathematical Logic And Foundations"

Search alternatives:
mathematical » mathematics

Cover Image

1

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

2

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

3

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

4

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

5

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: “...Mathematical Logic and Foundations...”