Výsledky vyhledávání

41

The Incompleteness phenomenon : a new course in mathematical logic /

Autor Goldstern, Martin
Vydáno 1995

Kniha

42

Introduction to mathematical logic /

Autor Church, Alonzo, 1903-1995
Vydáno 1996

Kniha

43

Klasická matematická logika /

Autor Sochor, Antonín, 1942-2008
Vydáno 2001

Kniha

44

Logic for mathematics and computer science /

Autor Burris, Stanley N.
Vydáno 1998

Kniha

45

Logic for problem solving /

Autor Kowalski, Robert, 1941-
Vydáno 1979

Kniha

46

Logic in computer science : modelling and reasoning about systems /

Autor Huth, Michael, 1962-, Ryan, Mark, 1955-
Vydáno 2000

Kniha

47

Logic, language and computation. Vol. 3 /

Vydáno 2000

Kniha

48

Logic of computation /

Vydáno 1997

Kniha

49

The logic of epistemology and the epistemology of logic : selected essays /

Autor Hintikka, Jaakko, 1929-, Hintikka, Merrill B., 1939-
Vydáno 1989

Kniha

50

The logic of partial information /

Autor Nait Abdallah, Areski
Vydáno 1995

Kniha

51

Logic of programming and calculi of discrete design /

Vydáno 1987

Kniha

52

The logic of typed feature structures : with applications to unification grammars, logic programs and constraint resolution /

Autor Carpenter, Bob.
Vydáno 1992

Kniha

53

Logic Programming /

Vydáno 1982

Kniha

54

Logika : neúplnost, složitost a nutnost /

Autor Švejdar, Vítězslav, 1954-
Vydáno 2002

Kniha

55

Matematičeskaja logika /

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

Kniha

56

Matematičeskaja logika i teorija algoritmov.

Vydáno 1982

Kniha

57

Matematičeskaja mozaika /

Autor Loyd, Sam, 1841-1911
Vydáno 1980

Kniha

58

Mathematical logic /

Autor Ebbinghaus, Heinz-Dieter, 1939-, Flum, Jörg, 1944-, Thomas, Wolfgang, 1947-
Vydáno 1994

Kniha

59

Osnovanija matematiki : logičeskije isčislenija i formalizacija arifmetiki /

Autor Hilbert, David, 1862-1943, Bernays, Paul, 1888-1977
Vydáno 1982

Kniha

60

A shorter model theory /

Autor Hodges, Wilfrid, 1941-
Vydáno 1997

Kniha

Upřesnit hledání