Online Library TheLib.net » Author books / Книги автора Leo Bachmair (auth.) Georg Gottlob Alexander Leitsch Daniele Mundici (eds.)
book Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25–29, 1997 Proceedings
Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25–29, 1997 Proceedings
djvu
00
26.01.2024
0
0
Read online
book Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25–29, 1997 Proceedings
Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25–29, 1997 Proceedings
pdf
00
26.01.2024
0
0
Read online