Author books / Книги автора Pudlák Pavel,Buss Samuel R.,Hájek Petr (eds.) » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Pudlák Pavel,Buss Samuel R.,Hájek Petr (eds.)

book Logic colloquium '98: proceedings of the annual European summer meeting of the Association for symbolic logic, held in Prague, Czech Republic, August 9-15, 1998

Logic colloquium '98: proceedings of the annual European summer meeting of the Association for symbolic logic, held in Prague, Czech Republic, August 9-15, 1998

djvu

Author: Pudlák Pavel, Buss Samuel R., Hájek Petr (eds.)
Language: English
Year: 2000

00

30.01.2024

0

0

book Logic Colloquium '98 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9-15, 1998

Logic Colloquium '98 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9-15, 1998

djvu

Author: Buss Samuel R., Hájek Petr, Pudlák Pavel (eds.)
Language: English
Year: 2000

00

29.01.2024

0

0

book 3-D Computer Graphics: A Mathematical Introduction with OpenGL

3-D Computer Graphics: A Mathematical Introduction with OpenGL

pdf

Author: Buss Samuel R.
Language: English

00

28.01.2024

0

0