Bibliography

Car34

Rudolf Carnap.
Logiche Syntax der Sprach.
Verlag von Julius Springer, 1934.

Car37

Rudolf Carnap.
The Logical Syntax of Language.
Kegan and Paul, 1937.

Car63a

Rudolf Carnap.
Intellectual autobiography.
In Schilpp [Car63b].

Car63b

Rudolf Carnap.
The Philosophy of Rudolf Carnap.
Open Court Publishing, 1963.

Emp33

Sextus Empiricus.
Outlines of Pyrrhonism.
Harvard University Press, 1933.

Fre67

Gottlob Frege.
Begriffsschrift.
In Jean Van Heijenoort, editor, From Frege to Godel: A Sourcebook in Mathematical Logic. Harvard University Press, 1967.

Hum39

David Hume.
A Treatise of Human Nature.
1739.

Hum48

David Hume.
An Enquiry Concerning Human Understanding.
1748.

Rus18

Bertrand Russell.
The philosophy of logical atomism.
1918.

Rus21

Bertrand Russell.
Our Knowledge of the External World, as a Field for Scientific Method in Philosophy.
Cambridge University Press, 1921.

Tur36

A.M. Turing.
On computable numbers, with an application to the entschiedungsproblem.
Procedings of the London Mathematical Society, 42:230-265, 1936.

Tur50

A.M. Turing.
Computing machinery and intelligence.
59:433-460, 1950.

VH67

Jean Van Heijenoort, editor.
From Frege to Goedel - A Source Book in Mathematical Logic, 1879-1931.
1967.

Wit61

Ludwig Wittgenstein.
Tractatus Logico-Philosophicus.
Routledge Kegan and Paul, 1961.

WR13

Alfred North Whitehead and Bertrand Russell.
Principia Mathematica.
Cambridge University Press, 1910-1913.