Výsledky vyhledávání

1

The complexity theory companion /

Autor Hemaspaandra, Lane A., 1960-, Ogihara, Mitsunori, 1963-
Vydáno 2002

Kniha

2

Conversations on mind, matter and mathematics /

Autor Changeux, Jean-Pierre, 1936-, Connes, Alain, 1947-
Vydáno 1995

Kniha

3

Discovering modern set theory. II, Set-theoretic tools for every mathematician /

Autor Just, Winfried, Weese, Martin
Vydáno 1997

Kniha

4

Discrete thoughts : essays on mathematics, science and philosophy /

Autor Kac, Mark, 1914-1984, Rota, Gian-Carlo, 1932-1999, Schwartz, Jacob T., 1930-2009
Vydáno 1992

Kniha

5

Gödelův důkaz /

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

Kniha

6

Complexity and cryptography : an introduction /

Autor Talbot, John, Welsh, D. J. A., 1938-
Vydáno 2006

Kniha

7

Filosofija logika jazyk /

Vydáno 1987

Kniha

8

Finite structures with few types /

Autor Cherlin, Gregory L., 1948-, Hrushovski, Ehud, 1959-
Vydáno 2003

Kniha

9

A first course in fuzzy logic /

Autor Nguyen, Hung T., 1944-, Walker, E. 1930-2018
Vydáno 1999

Kniha

10

A Formalization of set theory without variables /

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

Kniha

11

Geometric algorithms and combinatorial optimization /

Autor Grötschel, Martin, 1948-, Lovász, László, 1948-, Schrijver, A., 1948-
Vydáno 1988

Kniha

12

How to write mathematics /

Autor Steenrod, Norman Earl, 1910-1971
Vydáno 1973

Kniha

13

The Liar : an essay on truth and circularity /

Autor Barwise, Jon, 1942-2000, Etchemendy, John, 1952-
Vydáno 1987

Kniha

14

Logic for applications /

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

Kniha

15

Je matematika věda? : mezi formalismem a strukturalismem /

Autor Sousedík, Prokop, 1964-, Svoboda, David, 1971-
Vydáno 2017

Kniha

16

Algebraic approach to tense operators /

Autor Chajda, Ivan, 1946-, Paseka, Jan, 1962-
Vydáno 2015

Kniha

17

Structural proof theory /

Autor Negri, Sara, 1967-, Von Plato, Jan, 1951-
Vydáno 2001

Kniha

18

Type theory and formal proof : an introduction /

Autor Nederpelt, Rob, Geuvers, Herman, 1964-
Vydáno 2014

Kniha

19

Spor o matematizaci světa /

Autor Kůrka, Petr, 1949-, Matoušek, Alexander, 1963-, Velický, Bedřich, 1938-
Vydáno 2011

Kniha

20

Proof analysis : a contribution to Hilbert's last problem /

Autor Negri, Sara, 1967-, Von Plato, Jan, 1951-
Vydáno 2011

Kniha

Upřesnit hledání