Other Subject Headings Correlated with Class: QA9
|
|
|
Mathematics -- Philosophy
|
|
|
|
Number concept
|
|
|
|
Mathematics
|
|
|
|
Mathematics -- Methodology
|
|
|
|
Logic, Symbolic and mathematical
|
|
|
|
Mathematics -- Philosophy -- Congresses
|
|
|
|
Logic, Symbolic and mathematical -- Problems, exercises, etc
|
|
|
|
Infinite
|
|
|
|
Godel's theorem
|
|
|
|
Whitehead, Alfred North, 1861-1947. Principia mathematica
|
|
|
|
Intuitionistic mathematics
|
|
|
|
Set theory
|
|
|
|
Logic, Symbolic and mathematical -- History
|
|
|
|
Model theory
|
|
|
|
Bourbaki, Nicolas
|
|
|
|
First-order logic
|
|
|
|
Proof theory
|
|
|
|
Infinite -- History
|
|
|
|
Infinite -- Popular works
|
|
|
|
Metamathematics
|
|
|
|
Logic
|
|
|
|
Type theory
|
|
|
|
Logic, Symbolic and mathematical -- Programmed instruction
|
|
|
|
Frege, Gottlob, 1848-1925
|
|
|
|
Logic, Symbolic and mathematical -- Congresses
|
|
|
|
Wittgenstein, Ludwig, 1889-1951. Bemerkongen uber die Grundlagen der Mathematik
|
|
|
|
Cylindric algebras
|
|
|
|
Infinitary languages
|
|
|
|
Combinatory logic
|
|
|
|
Admissible sets
|
|
|
|
Mostowski, Andrzej -- Bibliography
|
|
|
|
Logic, Symbolic and mathematical -- Charts, diagrams, etc
|
|
|
|
Heyting, A. (Arend), 1898-
|
|
|
|
Muller, G. H. (Gert Heinz), 1923-
|
|
|
|
Godel, Kurt
|
|
