Daniele Mundici - Computational Logic and Proof Theory: Third Kurt G¿¿del Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings: Third Kurt Gödel ... Notes in Computer Science, 713, Band 713)

Brand : Springer, Binding : Taschenbuch, Edition : 1993, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 372, publicationDate : 2008-06-13, authors : Daniele Mundici, Alexander Leitsch, Georg Gottlob, ISBN : 3540571841 ...