Výsledky vyhledávání

1

Teorija dokazatel'stv /

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

Kniha

2

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

Vydáno 1981

Kniha

3

Modern logic : a text in elementary symbolic logic /

Autor Forbes, Graeme
Vydáno 1994

Kniha

4

Po zakonam logiki /

Autor Ivin, A.
Vydáno 1983

Kniha

5

Světonázorové problémy matematiky. II, Kapitoly z historie matematiky a logiky /

Autor Šedivý, Jaroslav, 1934-1988
Vydáno 1984

Kniha

6

Teorija nasyščennych modelej /

Autor Sacks, Gerald E., 1933-2019
Vydáno 1976

Kniha

7

Izbrannyje trudy. Tom II, Matematičeskaja logika i obščaja teorija algebraičeskich sistem /

Autor Mal‘cev, Anatolij Ivanovič, 1909-1967
Vydáno 1976

Kniha

8

Principia mathematica. Volume I /

Autor Whitehead, Alfred North, 1861-1947, Russell, Bertrand, 1872-1970
Vydáno 1925

Kniha

9

Principia mathematica. Volume II /

Autor Whitehead, Alfred North, 1861-1947, Russell, Bertrand, 1872-1970
Vydáno 1927

Kniha

10

Principia mathematica. Volume III /

Autor Whitehead, Alfred North, 1861-1947, Russell, Bertrand, 1872-1970
Vydáno 1927

Kniha

11

Boolean Judgment Logic /

Autor Wille, Rudolf, 1937-
Vydáno 2001

Kniha

12

Bemerkungen zu Standardlogiken und zur "Kulturalistischen Logikbegründung" Dirk Hartmanns /

Autor Zahn, Peter, 1930-
Vydáno 2001

Kniha

13

Motivic integration and its interactions with model theory and non-Archimedean geometry. Volume I <<I=1>> /

Vydáno 2011

Kniha

Upřesnit hledání