Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Logic, Symbolic and mathematical
133
Mathematics
24
Philosophy
22
Set theory
13
Language and languages
8
Proof theory
8
Probabilities
6
MATHEMATICS / Logic
5
Infinite
4
Logic, symbolic and mathematical
4
Reasoning
4
Computer science
3
Congresses
3
Mathematicians
3
Algebra
2
Algebra, Abstract
2
Automatic theorem proving
2
Combinatorial analysis
2
Computable functions
2
Computer programming
2
Graphic methods
2
Induction (Mathematics)
2
Mathematical logic
2
Mathematical models
2
Mathematische Logik
2
Number theory
2
Outlines, syllabi, etc
2
Predicate calculus
2
Propositional calculus
2
Recursive functions
2
-
1nork Mendelson, ElliottGaiak: “...Logic, Symbolic and mathematical....”
Argitaratua 2010
Testu osoa
Testu osoa
Printed Book -
2nork Sainsbury, R. M.Gaiak: “...Logic, Symbolic and mathematical....”
Argitaratua 1991
Printed Book -
3
-
4nork Mendelson, ElliottGaiak: “...Logic, Symbolic and mathematical....”
Argitaratua 1964
Printed Book -
5
-
6Gaiak: “...Logic, Symbolic and mathematical....”
Printed Book -
7nork Carney, James D.Gaiak: “...Logic, Symbolic and mathematical....”
Argitaratua 1970
Printed Book -
8Gaiak: “...Logic, Symbolic and mathematical....”
Printed Book -
9nork Bochenski, Joseph M.Gaiak: “...Logic, Symbolic and mathematical....”
Argitaratua 1959
Printed Book -
10nork Zinoviev, AleksandrGaiak: “...Logic, Symbolic and mathematical....”
Argitaratua 1973
Printed Book -
11
-
12nork Grzegorczyk, AndrzejGaiak: “...Logic, Symbolic and mathematical....”
Argitaratua 1974
Printed Book -
13
-
14
-
15nork Lewis, David K.Gaiak: “...Logic, Symbolic and mathematical....”
Argitaratua 1998
Testu osoa
Testu osoa
Printed Book -
16
-
17
-
18nork Langer, Susanne K.Gaiak: “...Logic, symbolic and mathematical...”
Argitaratua 1967
Printed Book -
19nork Curry, Haskell B.Gaiak: “...Logic, Symbolic and mathematical....”
Argitaratua 1977
Publisher description
Table of contents
Contributor biographical information
Printed Book -
20