Тема, жанр, tags: Logique symbolique et mathématique -- Congrès. » Page 5 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Logique symbolique et mathématique -- Congrès. » Page 5

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 programming: First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990: Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991: proceedings

Logic programming: First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990: Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991: proceedings

djvu

Author: Taernlund S.-A. (ed.)
Language: English
Year: 1984

00

30.01.2024

1

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 and its applications: Proceedings Dehli, 2011 4th Indian Conference

Logic and its applications: Proceedings Dehli, 2011 4th Indian Conference

pdf

Author: Banerjee Bohua. Seth A. (eds.)
Language: English
Year: 2011

00

30.01.2024

2

0

book Logic: techniques of formal reasoning

Logic: techniques of formal reasoning

djvu

Author: Montague Richard, Kalish Donald
Language: English
Year: 1964

00

30.01.2024

0

0

book Lambda-calculus, combinators and functional programming

Lambda-calculus, combinators and functional programming

djvu

Author: Révész György E
Language: English
Year: 1988

00

30.01.2024

0

0

book Independence-friendly logic. A game-theoretic approach

Independence-friendly logic. A game-theoretic approach

pdf

Author: Mann Allen L., Sevenster Merlijn, Sandu Gabriel
Language: English
Year: 2011

00

30.01.2024

0

0

book Formalizing medieval logical theories: Suppositio, consequentiae and obligationes

Formalizing medieval logical theories: Suppositio, consequentiae and obligationes

pdf

Author: Dutilh Novaes Catarina
Language: English
Year: 2007

00

30.01.2024

0

0

book Course of mathematical logic. Vol.2: Model theory

Course of mathematical logic. Vol.2: Model theory

djvu

Author: Fraïssé Roland
Language: English
Year: 1974

00

30.01.2024

0

0

book Constructive negations and paraconsistency

Constructive negations and paraconsistency

pdf

Author: Odincov Sergej P
Language: English
Year: 2008

00

30.01.2024

0

0