MPG.eBooks - Search Results - "mathematics"

Cover Image

1

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

Published 1997

Springer Berlin Heidelberg

Table of Contents: “... -- Ultrafilter logic and generic reasoning -- Informal rigor and mathematical understanding -- Resolution...”

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

Table of Contents: “...The mathematics of set predicates in Prolog -- Some connections between set theory and computer...”