Тема, жанр, tags: Grondslagen.,Logic Symbolic and mathematical -- Congresses.,Logic Symbolic and mathematical.,Mathema » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Grondslagen.,Logic Symbolic and mathematical -- Congresses.,Logic Symbolic and mathematical.,Mathema

book Reflections on the foundations of mathematics: essays in Honor of Solomon Feferman: lecture notes in logic 15

Reflections on the foundations of mathematics: essays in Honor of Solomon Feferman: lecture notes in logic 15

djvu

Author: Sieg Wilfried, Sommer Richard, Talcott Carolyn L et al. (eds.)
Language: English
Year: 2002

00

30.01.2024

0

0

book Models, algebras, and proofs: selected papers of the X Latin American Symposium on Mathematical Logic held in Bogotá

Models, algebras, and proofs: selected papers of the X Latin American Symposium on Mathematical Logic held in Bogotá

djvu

Author: Montenegro Carlos H., Caicedo Xavier (eds.)
Language: English
Year: 1999

00

30.01.2024

0

0

book Logic, methodology, and philosophy of science VI: proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979

Logic, methodology, and philosophy of science VI: proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979

djvu

Author: Cohen L.J. et al. (eds.)
Language: English
Year: 1982

00

30.01.2024

0

0

book Logic colloquium 2004

Logic colloquium 2004

pdf

Author: Andretta Alessandro, Kearnes Keith, Zambella Domenico (eds.)
Language: English
Year: 2008

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: Pudlák Pavel, Buss Samuel R., Hájek Petr (eds.)
Language: English
Year: 2000

00

30.01.2024

0

0

book Logic colloquium '99: lecture notes in logic 17

Logic colloquium '99: lecture notes in logic 17

djvu

Author: Oostrom Vincent van, Van Eijck Jan, Visser Albert (eds.)
Language: English
Year: 2004

00

30.01.2024

0

0

book Logic colloquium '02: lecture notes in logic 27: lecture notes in logic 27

Logic colloquium '02: lecture notes in logic 27: lecture notes in logic 27

djvu

Author: Chatzidakis Zoe ́Maria, Koepke Peter, Pohlers Wolfram (eds.)
Language: English
Year: 2006

00

30.01.2024

0

0

book Logic colloquium '03: lecture notes in logic 24

Logic colloquium '03: lecture notes in logic 24

djvu

Author: Stoltenberg-Hansen Viggo., Väänänen Jouko (eds.)
Language: English
Year: 2006

00

30.01.2024

0

0

book Logic colloquium 2000 (hardcover): lecture notes in logic, 19

Logic colloquium 2000 (hardcover): lecture notes in logic, 19

djvu

Author: Cori Rene, Razborov Alexander, Todorcevic Stevo, Wood Carol (eds.)
Language: English
Year: 2005

00

30.01.2024

0

0

book Automated deduction -- CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings

Automated deduction -- CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings

pdf

Author: Moura Leonardo de
Language: English
Year: 2017

00

29.01.2024

0

0