|
1.
|
|
|
2.
|
Letter to Frege / Bertrand Russell by Russell, Bertrand, , 1872-1970. Source: From Frege to Gödel : A Source Book in Mathematical Logic, 1879-1931 / Jean van Heijenoort , págs. 124-126Material type: Article; Format:
print
; Literary form:
Not fiction
Language: English Availability: Items available for loan: Call number: 25/3 (1).
|
|
3.
|
Investigations in the foundations of set theory I / Ernst Zermelo by Zermelo, Ernst. Source: From Frege to Gödel : A Source Book in Mathematical Logic, 1879-1931 / Jean van Heijenoort , págs. 199-216Material type: Article; Format:
print
; Literary form:
Not fiction
Language: English Availability: Items available for loan: Call number: 25/3 (1).
|
|
4.
|
A simplification of the logic of relations / Norbert Wiener by Wiener, Norbert. Source: From Frege to Gödel : A Source Book in Mathematical Logic, 1879-1931 / Jean van Heijenoort , págs. 224-228Material type: Article; Format:
print
; Literary form:
Not fiction
Language: English Availability: Items available for loan: Call number: 25/3 (1).
|
|
5.
|
|
|
6.
|
On the principle of excluded middle / Moses Kolmogorov by Kolmogorov, Moses. Source: From Frege to Gödel : A Source Book in Mathematical Logic, 1879-1931 / Jean van Heijenoort , págs. 414-438Material type: Article; Format:
print
; Literary form:
Not fiction
Language: English Availability: Items available for loan: Call number: 25/3 (1).
|
|
7.
|
On the domains of definition of functions / Luitzen Egbertus Jan Brouwer by Brouwer, Luitzen Egbertus Jan, , 1881-1966. Source: From Frege to Gödel : A Source Book in Mathematical Logic, 1879-1931 / Jean van Heijenoort , págs. 446-464Material type: Article; Format:
print
; Literary form:
Not fiction
Language: English Availability: Items available for loan: Call number: 25/3 (1).
|
|
8.
|
The foundations of mathematics / David Hilbert by Hilbert, David, 1862-1943. Source: From Frege to Gödel : A Source Book in Mathematical Logic, 1879-1931 / Jean van Heijenoort , págs. 464-480Material type: Article; Format:
print
; Literary form:
Not fiction
Language: English Availability: Items available for loan: Call number: 25/3 (1).
|
|
9.
|
Intuitionistic reflections on formalism / Luitzen Egbertus Jan Brouwer by Brouwer, Luitzen Egbertus Jan, , 1881-1966. Source: From Frege to Gödel : A Source Book in Mathematical Logic, 1879-1931 / Jean van Heijenoort , págs. 490-493Material type: Article; Format:
print
; Literary form:
Not fiction
Language: English Availability: Items available for loan: Call number: 25/3 (1).
|
|
10.
|
On mathematical logic / Thoralf Skolem by Skolem, Thoralf. Source: From Frege to Gödel : A Source Book in Mathematical Logic, 1879-1931 / Jean van Heijenoort , págs. 508-525Material type: Article; Format:
print
; Literary form:
Not fiction
Language: English Availability: Items available for loan: Call number: 25/3 (1).
|
|
11.
|
|
|
12.
|
|
|
13.
|
On the consistency of arithmetic / Jacques Herbrand by Herbrand, Jacques. Source: From Frege to Gödel : A Source Book in Mathematical Logic, 1879-1931 / Jean van Heijenoort , págs. 592-618Material type: Article; Format:
print
; Literary form:
Not fiction
Language: English Availability: Items available for loan: Call number: 25/3 (1).
|
|
14.
|
The Development of Mathematical Logic in Poland between thew two Wars / Zbigniew Jordan by Jordan, Zbigniew. Source: Polish Logic 1920-1939 : Papers / Storrs Mccall, B. Gruchman, H. Hiz Jordan, E. C. Luschei, S. Mccall, W. Teichmann, H. Weber, P. Wooduff, Tadeusz Kotarbinski , págs. 346-398Material type: Article; Format:
print
; Literary form:
Not fiction
Language: English Availability: Items available for loan: Call number: 24/A2 (1).
|
|
15.
|
On a Decision Method in Restricted Second Order Arithmetic / J. Richard Büchi by Büchi, J. Richard. Source: Logic, Methodology and Philosophy of Science : Proceedings of the 1960 International Congress / Ernest Nagel, Patrick Suppes, Alfred Tarski , págs. 1-12Material type: Article; Format:
print
; Literary form:
Not fiction
Language: English Availability: Items available for loan: Call number: 25/A6 (1).
|
|
16.
|
The Undecidability of Exponential Diophantine Equations / Julian Robinson by Robinson, Julian. Source: Logic, Methodology and Philosophy of Science : Proceedings of the 1960 International Congress / Ernest Nagel, Patrick Suppes, Alfred Tarski , págs. 12-14Material type: Article; Format:
print
; Literary form:
Not fiction
Language: English Availability: Items available for loan: Call number: 25/A6 (1).
|
|
17.
|
On a Theorem of Cobham Concerning Undecidable Theories / Robert L. Vaught by Vaught, Robert L. Source: Logic, Methodology and Philosophy of Science : Proceedings of the 1960 International Congress / Ernest Nagel, Patrick Suppes, Alfred Tarski , págs. 14-26Material type: Article; Format:
print
; Literary form:
Not fiction
Language: English Availability: Items available for loan: Call number: 25/A6 (1).
|
|
18.
|
The Theory of Hierarchies / J. W. Addison by Addison, J. W. Source: Logic, Methodology and Philosophy of Science : Proceedings of the 1960 International Congress / Ernest Nagel, Patrick Suppes, Alfred Tarski , págs. 26-38Material type: Article; Format:
print
; Literary form:
Not fiction
Language: English Availability: Items available for loan: Call number: 25/A6 (1).
|
|
19.
|
Turing-Machine Computable Functionals of Finite Types I / Stephen Cole Kleene by Kleene, Stephen Cole. Source: Logic, Methodology and Philosophy of Science : Proceedings of the 1960 International Congress / Ernest Nagel, Patrick Suppes, Alfred Tarski , págs. 38-46Material type: Article; Format:
print
; Literary form:
Not fiction
Language: English Availability: Items available for loan: Call number: 25/A6 (1).
|
|
20.
|
Recursive Equivalence Types and Combinatorial Functions / John Myhill by Myhill, John. Source: Logic, Methodology and Philosophy of Science : Proceedings of the 1960 International Congress / Ernest Nagel, Patrick Suppes, Alfred Tarski , págs. 46-56Material type: Article; Format:
print
; Literary form:
Not fiction
Language: English Availability: Items available for loan: Call number: 25/A6 (1).
|