Výsledky vyhledávání - (("mathematical logic") OR ("mathematics logic"))

201

Algebraická teorie výrokové logiky

Autor Šilar, Miloslav
Vydáno 1965

Témata: '; “...mathematical logic...”

VŠ práce nebo rukopis

202

Dynamické algebry

Autor Bystřická, Blanka
Vydáno 1987

Témata: '; “...mathematical logic...”

VŠ práce nebo rukopis

203

Mathematical logic : a first course /

Autor Robbin, Joel W.
Vydáno 2006

Témata: '; “...mathematical logic...”

Kniha

204

Boolean Judgment Logic /

Autor Wille, Rudolf, 1937-
Vydáno 2001

Témata: '; “...mathematical logic...”

Kniha

205

The blind spot : lectures on logic /

Autor Girard, Jean-Yves, 1947-
Vydáno 2011

Témata: '; “...mathematical logic...”

Kniha

206

Logic and its applications : [International Conference on Logic and Its Applications in Algebra and Geometry, April 11-13, 2003, and Workshop on Combinatorial Set Theory, Excellent Classes, and Schanuel Conjecture, April 14-15, 2003, University of Michigan, Ann Arbor, Michigan] /

Vydáno 2005

Témata: '; “...mathematical logic...”

Kniha

207

Univerzálně definovatelné třídy algeber

Autor Sedláčková, Bohumila
Vydáno 1973

Témata: '; “...mathematical logic...”

VŠ práce nebo rukopis

208

Úvod do studia matematiky : množiny - logika - struktury /

Autor Weigel, Jan, 1905-, Hájek, Jiří, 1936-
Vydáno 1970

Témata: '; “...mathematical logic...”

Kniha

209

Úvod do teorie množin a matematické logiky /

Autor Hájek, Jiří, 1936-
Vydáno 1975

Témata: '; “...mathematical logic...”

Kniha

210

Zajímavá logika : sbírka řešených příkladů s úvodem do výrokového a třídového kalkulu /

Autor Zich, Otakar, 1908-1984, Kolman, Arnošt, 1892-1979
Vydáno 1965

Témata: '; “...mathematical logic...”
Elektronická verze přístupná pouze pro studenty a pracovníky MU

Kniha

211

Teorija intellekta : problemy i perspektivy

Autor Šabanov-Kušnarenko, Jurij Petrovič
Vydáno 1987

Témata: '; “...mathematical logic...”

Kniha

212

Computability and logic /

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

Témata: '; “...mathematical logic...”

Kniha

213

Fuzzy sets and their applications to cognitive and decision processes /

Vydáno 1975

Témata: '; “...mathematical logic...”

Kniha

214

Issledovanija po matematičeskoj logike i teorii algoritmov /

Vydáno 1975

Témata: '; “...mathematical logic...”

Periodikum

215

The lambda calculus : its syntax and semantics /

Autor Barendregt, Henk 1947-
Vydáno 1998

Témata: '; “...mathematical logic...”

Kniha

216

Logique des topos : introduction á la théorie des topos élémentaires /

Autor Schlomiuk, Dana I.
Vydáno 1977

Témata: '; “...mathematical logic...”

Kniha

217

Teorija rekursivnych funkcij i effektivnaja vyčislimost' /

Autor Rogers, Hartley, 1926-
Vydáno 1972

Témata: '; “...mathematical logic...”

Kniha

218

Theorem proving in higher order logics : 20th International Conference, TPHOLs 2007 : Kaiserslautern, Germany, September 10-13, 2007 : proceedings /

Vydáno 2007

Témata: '; “...mathematical logic...”

Kniha

219

Studia logica /

Vydáno 1961

Témata: '; “...mathematical logic...”

Periodikum

220

Theorem proving in higher order logics : 21th International Conference, TPHOLs 2008 : Montreal, Canada, August 18-21, 2008 : proceedings /

Vydáno 2008

Témata: '; “...mathematical logic...”

Kniha

Upřesnit hledání