The
Lib
.net
Online Library TheLib.net
» Author books / Книги автора Leo Bachmair (auth.) Georg Gottlob Alexander Leitsch Daniele Mundici (eds.) » Page 2
Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25–29, 1997 Proceedings
djvu
Author:
Leo Bachmair (auth.) Georg Gottlob Alexander Leitsch Daniele Mundici (eds.)
Language:
English
Year:
1997
0
0
26.01.2024
0
0
Read online
Computational Logic and Proof Theory: Third Kurt Gödel Colloquium, KGC'93 Brno, Czech Republic, August 24–27, 1993 Proceedings
djvu
Author:
Egon Börger Dean Rosenzweig (auth.) Georg Gottlob Alexander Leitsch Daniele Mundici (eds.)
Language:
English
Year:
1993
0
0
26.01.2024
0
0
Read online
Computer Science Logic: 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers
djvu
Author:
Matthias Baaz Alexander Leitsch Richard Zach (auth.) Hans Kleine Büning (eds.)
Language:
English
Year:
1996
0
0
26.01.2024
0
0
Read online
Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25–29, 1997 Proceedings
pdf
Author:
Leo Bachmair (auth.) Georg Gottlob Alexander Leitsch Daniele Mundici (eds.)
Language:
English
Year:
1997
0
0
26.01.2024
0
0
Read online
1
2
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через
