Výsledky vyhledávání

1

Obálka

Handbook of logic and language /

Vydáno 1997

Kniha

2

Obálka

Collected works. Volume V, Correspondence. H-Z /

Autor Gödel, Kurt, 1906-1978
Vydáno 2003

Kniha

3

Obálka

Collected works. Volume IV, Correspondence. A-G

Autor Gödel, Kurt, 1906-1978
Vydáno 2003

Kniha

4

Obálka

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

Vydáno 2007

Kniha

5

Obálka

The frege reader /

Vydáno 1997

Kniha

6

Obálka

Natural deduction : a proof-theoretical study /

Autor Prawitz, Dag, 1936-
Vydáno 2006

Kniha

7

Obálka

Paradox and paraconsistency : conflict resolution in the abstract sciences /

Autor Woods, John
Vydáno 2003

Kniha

8

Obálka

Papers in philosophical logic /

Autor Lewis, David Kellog, 1941-2001
Vydáno 1998

Kniha

9

Obálka

Autor Hodges, Wilfrid, 1941-
Vydáno 2001

Kniha

10

Obálka

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

Vydáno 2008

Kniha

11

Obálka

Propositions, functions, and analysis : selected essays on Russell's philosophy /

Autor Hylton, Peter
Vydáno 2008

Kniha

12

Obálka

Russell's hidden substitutional theory /

Autor Landini, Gregory
Vydáno 1998

Kniha

13

Obálka

Justification logic : reasoning with reasons /

Autor Artemov, S. N., Fitting, Melvin, 1942-
Vydáno 2019

Kniha

14

Obálka

Computability : computable functions, logic, and the foundations of mathematics /

Autor Epstein, Richard L., 1947-, Carnielli, Walter Alexandre, 1952-
Vydáno 2008

Kniha

15

Obálka

Graham Priest on dialetheism and paraconsistency /

Vydáno 2019

Kniha

16

Obálka

Symbolic logic : syntax, semantics, and proof /

Autor Agler, David W., 1982-
Vydáno 2013

Kniha

17

Obálka

How to prove it : a structured approach /

Autor Velleman, Daniel J.
Vydáno 2006

Kniha

18

Obálka

The construction of logical space /

Autor Rayo, Agustín, 1973-
Vydáno 2015

Kniha

19

Obálka

Proofs and refutations : the logic of mathematical discovery /

Autor Lakatos, Imre, 1922-1974
Vydáno 2015

Kniha

20

Obálka

Logic and structure /

Autor Dalen, D. van, 1932-
Vydáno 2013

Kniha