|
1.
|
|
|
2.
|
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).
|
|
3.
|
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).
|
|
4.
|
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).
|
|
5.
|
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).
|
|
6.
|
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).
|
|
7.
|
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).
|
|
8.
|
Some Applications of Degrees / J. R. Shoenfield by Shoenfield, J. R. Source: Logic, Methodology and Philosophy of Science : Proceedings of the 1960 International Congress / Ernest Nagel, Patrick Suppes, Alfred Tarski , págs. 56-59Material type: Article; Format:
print
; Literary form:
Not fiction
Language: English Availability: Items available for loan: Call number: 25/A6 (1).
|
|
9.
|
Recent Developments in Model Theory / Abraham Robinson by Robinson, Abraham. Source: Logic, Methodology and Philosophy of Science : Proceedings of the 1960 International Congress / Ernest Nagel, Patrick Suppes, Alfred Tarski , págs. 60-80Material type: Article; Format:
print
; Literary form:
Not fiction
Language: English Availability: Items available for loan: Call number: 25/A6 (1).
|
|
10.
|
Some Applications of the Theory of Models to set Theory / H. Jerome Keisler by Keisler, H. Jerome. Source: Logic, Methodology and Philosophy of Science : Proceedings of the 1960 International Congress / Ernest Nagel, Patrick Suppes, Alfred Tarski , págs. 80-87Material type: Article; Format:
print
; Literary form:
Not fiction
Language: English Availability: Items available for loan: Call number: 25/A6 (1).
|
|
11.
|
On the Principles of Reflection in Axiomatic Set Theory / Azriel Lévy by Lévy, Azriel. Source: Logic, Methodology and Philosophy of Science : Proceedings of the 1960 International Congress / Ernest Nagel, Patrick Suppes, Alfred Tarski , págs. 87-94Material type: Article; Format:
print
; Literary form:
Not fiction
Language: English Availability: Items available for loan: Call number: 25/A6 (1).
|
|
12.
|
Two Contributions to the Foundations of Set Theory / Richard Montague by Montague, Richard. Source: Logic, Methodology and Philosophy of Science : Proceedings of the 1960 International Congress / Ernest Nagel, Patrick Suppes, Alfred Tarski , págs. 94-111Material type: Article; Format:
print
; Literary form:
Not fiction
Language: English Availability: Items available for loan: Call number: 25/A6 (1).
|
|
13.
|
Quine's Individuals / Dana Scott by Scott, Dana. Source: Logic, Methodology and Philosophy of Science : Proceedings of the 1960 International Congress / Ernest Nagel, Patrick Suppes, Alfred Tarski , págs. 111-116Material type: Article; Format:
print
; Literary form:
Not fiction
Language: English Availability: Items available for loan: Call number: 25/A6 (1).
|
|
14.
|
Typical Ambiguity / Ernst Specker by Specker, Ernst. Source: Logic, Methodology and Philosophy of Science : Proceedings of the 1960 International Congress / Ernest Nagel, Patrick Suppes, Alfred Tarski , págs. 116-125Material type: Article; Format:
print
; Literary form:
Not fiction
Language: English Availability: Items available for loan: Call number: 25/A6 (1).
|
|
15.
|
|
|
16.
|
Common Extension in Equational Classes / Jerzy Los by Los, Jerzy. Source: Logic, Methodology and Philosophy of Science : Proceedings of the 1960 International Congress / Ernest Nagel, Patrick Suppes, Alfred Tarski , págs. 136-143Material type: Article; Format:
print
; Literary form:
Not fiction
Language: English Availability: Items available for loan: Call number: 25/A6 (1).
|
|
17.
|
Mathematics and Algebra: An Example / Roger C. Lyndon by Lyndon, Roger C. Source: Logic, Methodology and Philosophy of Science : Proceedings of the 1960 International Congress / Ernest Nagel, Patrick Suppes, Alfred Tarski , págs. 143-151Material type: Article; Format:
print
; Literary form:
Not fiction
Language: English Availability: Items available for loan: Call number: 25/A6 (1).
|
|
18.
|
Diophantine Equations and Non-Standard Models of Arithmetic / Michael O. Rabin by Rabin, Michael O. Source: Logic, Methodology and Philosophy of Science : Proceedings of the 1960 International Congress / Ernest Nagel, Patrick Suppes, Alfred Tarski , págs. 151-159Material type: Article; Format:
print
; Literary form:
Not fiction
Language: English Availability: Items available for loan: Call number: 25/A6 (1).
|
|
19.
|
|
|
20.
|
New Foundations of Absolute Geometry / Wanda Szmielew by Szmielew, Wanda. Source: Logic, Methodology and Philosophy of Science : Proceedings of the 1960 International Congress / Ernest Nagel, Patrick Suppes, Alfred Tarski , págs. 168-176Material type: Article; Format:
print
; Literary form:
Not fiction
Language: English Availability: Items available for loan: Call number: 25/A6 (1).
|