Výsledky vyhledávání

1

Teorija dokazatel'stv /

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

Kniha

2

Navěky nerozhodnuto : úvod do logiky a zábavný průvodce ke Gödelovým objevům /

Autor Smullyan, Raymond M., 1919-2017
Vydáno 2003

Kniha

3

Modal'naja logika /

Autor Feys, Robert, 1889-1961
Vydáno 1974

Kniha

4

Solvable cases of the decision problem /

Autor Ackermann, Wilhelm Friedrich, 1896-1962
Vydáno 1954

Kniha

5

First steps in modal logic /

Autor Popkorn, Sally
Vydáno 1994

Kniha

6

Gödelův důkaz /

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

Kniha

7

Vvedenije v matematičeskuju lingvistiku : lingvističeskoje priloženije osnov matematiki /

Autor Lesochin, Michail Moisejevič, Luk'janenkov, Kuz'ma Fedorovič, Piotrovskij, Rajmond Genrichovič, 1922-2009
Vydáno 1982

Kniha

8

Many-valued logics /

Autor Malinowski, Grzegorz, 1945-
Vydáno 1993

Kniha

9

Matematická logika /

Autor Bek, Roman, 1924-, Zlatník, Čeněk, 1937-2019
Vydáno 1981

Kniha

10

Matematičeskaja logika /

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

Kniha

11

Matematičeskaja logika : dopolnitel'nyje glavy /

Autor Kolmogorov, Andrej Nikolajevič, 1903-1987, Dragalin, A. G.
Vydáno 1984

Kniha

12

Matematika a logika : retrospektiva a perspektivy /

Autor Kac, Mark, 1914-1984, Ulam, Stanislaw M., 1909-1984
Vydáno 1977

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

Kniha

13

Logic : mathematics, language, computer science and philosophy. Vol. 2, Logic and computer science /

Autor Swart, H. C. M. de 1944-
Vydáno 1994

Kniha

14

Logic algebra /

Vydáno 1996

Kniha

15

Logic for applications /

Autor Nerode, Anil, 1932-, Shore, Richard A., 1946-
Vydáno 1993

Kniha

16

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

Vydáno 1991

Kniha

17

Logic of domains /

Autor Zhang, Guo-Qiang
Vydáno 1991

Kniha

18

Logická analýza přirozeného jazyka /

Autor Materna, Pavel, 1930-, Pala, Karel, 1939-2023, Zlatuška, Jiří, 1957-
Vydáno 1989

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

Kniha

19

Logics and models of concurrent systems /

Autor Apt, Krzysztof R., 1949-
Vydáno 1984

Kniha

20

Logiczny wstęp do matematyki /

Autor Turnau, Stefan, 1931-
Vydáno 1984

Kniha

Upřesnit hledání