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

Mathematized humanities via humanized mathematics /

Autor Polák, Václav, 1932-1994
Vydáno 1992

Kniha

4

An outline of mathematical logic : fundamental results and notions explained with all details /

Autor Grzegorczyk, Andrzej, 1922-2014
Vydáno 1974

Kniha

5

Introduction to logic /

Autor Suppes, Patrick, 1922-2014
Vydáno 1957

Kniha

6

The classical decision problem /

Autor Borger, Egon, Gurevich, Yuri, 1940-
Vydáno 1997

Kniha

7

Computability, enumerability, unsolvability : directions in recursion theory /

Vydáno 1996

Kniha

8

Definability and computability /

Autor Ershov, Yuri L.
Vydáno 1996

Kniha

9

Elementarnaja logika /

Autor Segeth, Wolfgang, 1934-
Vydáno 1985

Kniha

10

Elementary logic : a procedural perspective /

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

Kniha

11

Elementary Mathematics for Teachers /

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

Kniha

12

Elementary Statistics /

Vydáno 1989

Kniha

13

The imperative future : principles of executable temporal logic /

Vydáno 1996

Kniha

14

Introduction to mathematical logic /

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

Kniha

15

Klasická matematická logika /

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

Kniha

16

Logic for mathematics and computer science /

Autor Burris, Stanley N.
Vydáno 1998

Kniha

17

Logic for problem solving /

Autor Kowalski, Robert, 1941-
Vydáno 1979

Kniha

18

Logic in computer science : modelling and reasoning about systems /

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

Kniha

19

Logic, language and computation. Vol. 3 /

Vydáno 2000

Kniha

20

Logic of computation /

Vydáno 1997

Kniha

Upřesnit hledání