MPG.eBooks - Search Results - "set theory"

Cover Image

1

Computer Science Logic : 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, P...

Published 2003

Springer Berlin Heidelberg

Table of Contents: “...A Strongly Normalising Curry-Howard Correspondence for IZF Set Theory -- The Epsilon Calculus...”