Logic, Symbolic and mathematical |
43 |
SEE ALSO: Algebra, Abstract |
2 |
SEE ALSO narrower term: Categories (Mathematics) |
3 |
SEE ALSO narrower term: Constructive mathematics |
1 |
SEE ALSO narrower term: First-order logic |
1 |
SEE ALSO narrower term: Gödel's theorem |
5 |
SEE ALSO narrower term: Logic machines |
1 |
SEE ALSO narrower term: Machine theory |
5 |
SEE ALSO: Metamathematics |
2 |
SEE ALSO narrower term: Model theory |
2 |
SEE ALSO narrower term: Pragmatics |
6 |
SEE ALSO narrower term: Proof theory |
4 |
SEE ALSO narrower term: Recursion theory |
1 |
SEE ALSO narrower term: Science -- Methodology |
101 |
SEE ALSO narrower term: Semantics (Philosophy) |
25 |
SEE ALSO: Set theory. |
20 |
SEE ALSO narrower term: Type theory |
2 |
Logic, Symbolic and mathematical -- Congresses. |
1 |
Logic, Symbolic and mathematical -- History -- 20th century. |
1 |
Logic, Symbolic and mathematical -- Juvenile literature. |
1 |
Logic, Symbolic and mathematical -- Philosophy. |
2 |
Logic, Symbolic and mathematical -- Problems, exercises, etc. |
1 |
Logic, Symbolic and mathematical -- Textbooks. |
2 |
Logic -- Textbooks. |
3 |
Logic, Universal |
-- |
SEE: Logic, Symbolic and mathematical |
43 |
Lógica. |
1 |