Book serie: / Книги серии: Handbook of the History of Logic Volume 9 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Handbook of the History of Logic Volume 9

book Computational Logic

Computational Logic

pdf

Author: Jörg H. Siekmann (Eds.)
Language: English
Year: 2014

00

29.01.2024

0

0

book Gödel Remembered. Gödel Symposium in Salzburg, 10-12 July 1983

Gödel Remembered. Gödel Symposium in Salzburg, 10-12 July 1983

djvu

Author: Rudolf Gödel Olga Taussky-Todd Stephen C. Kleene Georg Kreisel (auth.) Paul Weingartner Leopold Schmmetterer (eds.)
Language: English
Year: 1987

00

27.01.2024

0

0

book Gödel Remembered. Gödel Symposium in Salzburg, 10-12 July 1983

Gödel Remembered. Gödel Symposium in Salzburg, 10-12 July 1983

pdf

Author: Rudolf Gödel Olga Taussky-Todd Stephen C. Kleene Georg Kreisel (auth.) Paul Weingartner Leopold Schmmetterer (eds.)
Language: English
Year: 1987

00

27.01.2024

0

0