Výsledky vyhledávání

101

The search for mathematical roots 1870-1940 : logics, set theories and the foundations of mathematics from cantor through Russell to Gödel /

Autor Grattan-Guinness, I., 1941-2014
Vydáno 2000

Kniha

102

The semantics and proof theory of the logic of bunched implications /

Autor Pym, David J.
Vydáno 2002

Kniha

103

Sets, logic and categories /

Autor Cameron, Peter J. 1947-
Vydáno 1999

Kniha

104

Simple theories /

Autor Wagner, Frank O.
Vydáno 2000

Kniha

105

Spravočnaja kniga po matematičeskoj logike : v četyrech častjach. Čast' I, Teorija modelej /

Vydáno 1982

Kniha

106

Spravočnaja kniga po matematičeskoj logike : v četyrech častjach. Čast' II, Teorija množestv /

Vydáno 1982

Kniha

107

Spravočnaja kniga po matematičeskoj logike. Čast' IV, Teorija dokazatel'stv i konstruktivnaja matematika /

Vydáno 1983

Kniha

108

Studies on natural logic and categorial grammar /

Autor Sánchez Valencia, Víctor Manuel
Vydáno 1991

Kniha

109

Substructural logics /

Vydáno 1993

Kniha

110

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

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

Kniha

111

Teorija rekursivnych funkcij i effektivnaja vyčislimost' /

Autor Rogers, Hartley, 1926-
Vydáno 1972

Kniha

112

Tools nad techniques in modal logic /

Autor Kracht, Marcus, 1964-
Vydáno 1999

Kniha

113

Type theory and functional programming /

Autor Thompson, Simon G.
Vydáno 1991

Kniha

114

Úvod do finitní matematiky /

Autor Kemeny, John G., 1926-1992, Snell, J. Laurie 1925-2011, Thompson, Gerald Luther, 1923-2009
Vydáno 1971

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

Kniha

115

Úvod do logiky a metodologie deduktivních věd /

Autor Tarski, Alfred, 1902-1983
Vydáno 1969

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

Kniha

116

Úvod do matematické analýzy. I /

Autor Apfelbeck, Alois, 1925-1992
Vydáno 1982

Kniha

117

Vvedenije v matematičeskuju logiku /

Autor Kolmogorov, Andrej Nikolajevič, 1903-1987, Dragalin, Al'bert Grigor'jevič
Vydáno 1982

Kniha

118

Vvedenije v matematičeskuju logiku /

Autor Mendelson, Elliott, 1931-
Vydáno 1976

Kniha

119

Vvedenije v matematičeskuju logiku /

Autor Mendelson, Elliott, 1931-
Vydáno 1984

Kniha

120

Zadači po teorii množestv, matematičeskoj logike i teorii algoritmov /

Autor Lavrov, Igor' Andrejevič, Maksimova, Larisa L'vovna
Vydáno 1984

Kniha

Upřesnit hledání