Výsledky vyhledávání

1

Computability & unsolvability /

Autor Davis, Martin, 1928-2023
Vydáno 1982

Kniha

2

The foundations of Frege's logic /

Autor Tichý, Pavel, 1936-1994
Vydáno 1988

Kniha

3

Handbook of proof theory /

Vydáno 1998

Kniha

4

Die Grundlagen der Arithmetik : eine logisch mathematische Untersuchung über den Begriff der Zahl /

Autor Frege, Gottlob, 1848-1925
Vydáno 1988

Kniha

5

Mass terms and model-theoretic semantics /

Autor Bunt, H. C., 1944-
Vydáno 1985

Kniha

6

Teorija intellekta : problemy i perspektivy

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

Kniha

7

Modal'naja logika /

Autor Feys, Robert, 1889-1961
Vydáno 1974

Kniha

8

$Obálka$

Une philosophie de savant : Henri Poincaré et la logique mathématique /

Autor Schmid, Anne-Françoise
Vydáno 1978

Kniha

9

Principia Mathematica : Vorwort und Einleitungen /

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

Kniha

10

Natural deduction : a proof-theoretical study /

Autor Prawitz, Dag, 1936-
Vydáno 2006

Kniha

11

Principia mathematica to *56 /

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

Kniha

12

The logic of provability /

Autor Boolos, George, 1940-1996
Vydáno 1995

Kniha

13

The foundations of arithmetic : a logico-mathematical enquiry into the concept of number /

Autor Frege, Gottlob, 1848-1925
Vydáno 1980

Kniha

14

Principles of mathematical logic /

Autor Hilbert, David, 1862-1943, Ackermann, Wilhelm Friedrich, 1896-1962
Vydáno 1999

Kniha

15

Paradox and paraconsistency : conflict resolution in the abstract sciences /

Autor Woods, John
Vydáno 2003

Kniha

16

What is mathematical logic? /

Autor Crossley, John N., 1937-
Vydáno 1990

Kniha

17

Computability and logic /

Autor Boolos, George, 1940-1996
Vydáno 1989

Kniha

18

An introduction to non-classical logic : from if to is /

Autor Priest, Graham, 1948-
Vydáno 2008

Kniha

19

Russell's hidden substitutional theory /

Autor Landini, Gregory
Vydáno 1998

Kniha

20

Intensional and higher-order modal logic : with applications to Montague semantics /

Autor Gallin, Daniel
Vydáno 1975

Kniha

Upřesnit hledání