Výsledky vyhledávání

1

Klasická matematická logika /

Autor Sochor, Antonín, 1942-2008
Vydáno 2001

Kniha

2

Matematičeskaja logika /

Autor Kleene, Stephen Cole, 1909-1994
Vydáno 1973

Kniha

3

Definability and computability /

Autor Ershov, Yuri L.
Vydáno 1996

Kniha

4

Elementarnaja logika /

Autor Segeth, Wolfgang, 1934-
Vydáno 1985

Kniha

5

Elementary logic : a procedural perspective /

Autor Gabbay, Dov M., 1945-
Vydáno 1998

Kniha

6

Elementary Mathematics for Teachers /

Autor Devine, Donald F., Olson, Judith, Olson, Melfried
Vydáno 1990

Kniha

7

Elementary Statistics /

Vydáno 1989

Kniha

8

The imperative future : principles of executable temporal logic /

Vydáno 1996

Kniha

9

Introduction to mathematical logic /

Autor Church, Alonzo, 1903-1995
Vydáno 1996

Kniha

10

Klasická matematická logika /

Autor Sochor, Antonín, 1942-2008
Vydáno 2001

Kniha

11

Logic for mathematics and computer science /

Autor Burris, Stanley N.
Vydáno 1998

Kniha

12

Logic for problem solving /

Autor Kowalski, Robert, 1941-
Vydáno 1979

Kniha

13

Logic in computer science : modelling and reasoning about systems /

Autor Huth, Michael, 1962-, Ryan, Mark, 1955-
Vydáno 2000

Kniha

14

Logic, language and computation. Vol. 3 /

Vydáno 2000

Kniha

15

Logic of computation /

Vydáno 1997

Kniha

16

The logic of epistemology and the epistemology of logic : selected essays /

Autor Hintikka, Jaakko, 1929-, Hintikka, Merrill B., 1939-
Vydáno 1989

Kniha

17

The logic of partial information /

Autor Nait Abdallah, Areski
Vydáno 1995

Kniha

18

Logic of programming and calculi of discrete design /

Vydáno 1987

Kniha

19

The logic of typed feature structures : with applications to unification grammars, logic programs and constraint resolution /

Autor Carpenter, Bob.
Vydáno 1992

Kniha

20

Logic Programming /

Vydáno 1982

Kniha

Upřesnit hledání