Read Computational Logic and Proof Theory: Third Kurt G¿¿del Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings (Lecture Notes in Computer Science (713)) Reader
Add Comment
1993. Proceedings (Lecture Notes in Computer Science (713)),
August 24-27,
Brno,
Computational Logic and Proof Theory: Third Kurt G¿¿del Colloquium,
Czech Republic,
KGC'93
Edit
Download Computational Logic and Proof Theory: Third Kurt G¿¿del Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedi...
Read More