Výsledky vyhledávání

1

Obálka

Logic from computer science : proceedings of a workshop held November 13-17, 1989 /

Vydáno 1991

Kniha

2

Obálka

Theorem proving in higher order logics : 20th International Conference, TPHOLs 2007 : Kaiserslautern, Germany, September 10-13, 2007 : proceedings /

Vydáno 2007

Kniha

3

Obálka

Meze formalizace, analytičnosti a prostoročasu /

Autor Čaňa, Tomáš, 1973-
Vydáno 2007

Kniha

4

Obálka

Cabal seminar 77-79 : proceedings, Caltech-UCLA logic seminar 1977-79 /

Vydáno 1981

Kniha

5

Obálka

Categories in computer science and logic : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held June 14-20, 1987 with support from the National Science Foundation /

Vydáno 1989

Kniha

6

Obálka

Fuzzy sets and their applications to cognitive and decision processes /

Vydáno 1975

Kniha

7

Obálka

Theorem proving in higher order logics : 21th International Conference, TPHOLs 2008 : Montreal, Canada, August 18-21, 2008 : proceedings /

Vydáno 2008

Kniha

8

Obálka

Advances in natural deduction : a celebration of Dag Prawitz's work /

Vydáno 2014

Kniha

9

Obálka

Foundations: logic, language, and mathematics /

Vydáno 1984

Kniha

10

Obálka

Logic and its applications : [International Conference on Logic and Its Applications in Algebra and Geometry, April 11-13, 2003, and Workshop on Combinatorial Set Theory, Excellent Classes, and Schanuel Conjecture, April 14-15, 2003, University of Michigan, Ann Arbor, Michigan] /

Vydáno 2005

Kniha

11

Obálka

Logic Colloquium 2004 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Torino, Italy, July 25-31, 2004 /

Vydáno 2008

Kniha

12

Obálka

Intensionality /

Vydáno 2005

Kniha