Výsledky vyhledávání

1

Logické prvky ve školské matematice /

Autor Jelínek, Miloš, 1910-1993
Vydáno 1981

Elektronická verze přístupná pouze pro studenty a pracovníky MU

Kniha

2

Teorija dokazatel'stv /

Autor Takeuti, Gaisi, 1926-2017
Vydáno 1978

Kniha

3

Admissible sets and structures : an approach to definability theory /

Autor Barwise, Jon, 1942-2000
Vydáno 1975

Kniha

4

Automated development of fundamental mathematical theories /

Autor Quaife, Art
Vydáno 1992

Kniha

5

Automorphisms of first-order structures /

Vydáno 1994

Kniha

6

Building models by games /

Autor Hodges, Wilfrid, 1941-
Vydáno 1985

Kniha

7

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

Vydáno 1981

Kniha

8

Categorial grammar /

Vydáno 1988

Kniha

9

Categorical logic and type theory /

Autor Jacobs, Bart
Vydáno 1999

Kniha

10

Classification theory : and the number of non-isomorphic models /

Autor Shelah, Saharon, 1945-
Vydáno 1990

Kniha

11

Computability and logic /

Autor Cohen, Daniel E., 1934-
Vydáno 1987

Kniha

12

Computing and logic : mathematics and language /

Autor Satty, Glenn, Blakeley, Thomas J., 1931-1989, Colbert, James G.
Vydáno 1988

Kniha

13

Constructibility /

Autor Devlin, Keith J., 1947-
Vydáno 1984

Kniha

14

A course in model theory : an introduction to contemporary mathematical logic /

Autor Poizat, Bruno
Vydáno 2000

Kniha

15

The classical decision problem /

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

Kniha

16

Collected Works. 1, Publications 1929-1936 /

Autor Gödel, Kurt, 1906-1978
Vydáno 1986

Kniha

17

Collected Works. 2, Publications 1938-1974 /

Autor Gödel, Kurt, 1906-1978
Vydáno 1990

Kniha

18

First steps in modal logic /

Autor Popkorn, Sally
Vydáno 1994

Kniha

19

Gödelův důkaz /

Autor Nagel, Ernest, 1901-1985, Newman, James Roy, 1907-1966
Vydáno 2003

Kniha

20

Handbook of proof theory /

Vydáno 1998

Kniha

Upřesnit hledání