W. V. Quine. Introductory note. From Frege to Gödel, A source book in mathematical logic, 1879–1931 pp. 150–152. - Bertrand Russell. Mathematical logic as based on the theory of types. A reprint of 11116. From Frege to Gödel, A source book in mathematical logic, 1879–1931 pp. 152–182

Subjects

Subjects :

Mathematical logic
Predicate logic
Logic
Computer science
Second-order logic
Metamathematics
Logicism
Philosophy
Automated theorem proving
Many-valued logic
Calculus
Gödel
Algorithm
computer
computer.programming_language

Details

ISSN :

19435886 and 00224812

Volume :

39

Database :

OpenAIRE

Journal :

Journal of Symbolic Logic

Accession number :

edsair.doi...........4c71b3868c5d88609a725f558e8dbdf7