Skip to content
You are not logged in |Login  
     
Limit search to available items
Series Titles (1-17 of 17)
Studies In Logic And The Foundations Of Mathematics
1
book
BookPrinted Material
 

Ancient formal logic.


Bochenski, Joseph M., 1902-1995.
Amsterdam : North-Holland Pub. Co., 1957.

Rating:

 

Item Status

Location Call No. Status OPAC Message Public Note Gift Note
 Moore Stacks  BC28 .B58    Available  ---
2
book
BookPrinted Material
 

Combinatory logic


Curry, Haskell B. (Haskell Brooks), 1900-1982.
Amsterdam : North-Holland Pub. Co., 1958-1972.

Rating:

 

Item Status

Location Call No. Status OPAC Message Public Note Gift Note
 Moore Stacks  QA9 .C83 1968    Available  ---
3
book
BookPrinted Material
 

Constructivity in mathematics; proceedings.


International Colloquium "Constructivity in Mathematics" (1957 : Amsterdam, Netherlands)
Amsterdam : North-Holland Pub. Co., 1959.

Rating:

 

Item Status

Location Call No. Status OPAC Message Public Note Gift Note
 Moore Stacks  QA9 .I5 1957    Available  ---
4
Bestseller
BestsellerE-book
 

Descriptive set theory


Moschovakis, Yiannis N.
Amsterdam ; New York : North-Holland, 1980.

Rating:

Item Status

5
book
BookPrinted Material
 

Intuitionistic logic, model theory and forcing.


Fitting, Melvin, 1942-
Amsterdam : North-Holland Pub. Co., 1969.

Rating:

 

Item Status

Location Call No. Status OPAC Message Public Note Gift Note
 Moore Stacks  QA9 .F56    Available  ---
6
Bestseller
BestsellerE-book
 

Lectures on the Curry-Howard isomorphism


Sørensen, Morten Heine.
Amsterdam ; Boston [MA] : Elsevier, 2006.
1st ed.

Rating:

Item Status

7
book
BookPrinted Material
 

Logic, methodology and philosophy of science III; proceedings of the Third International Congress fo


International Congress for Logic, Methodology, and Philosophy of Science (3rd : 1967 : Amsterdam, Netherlands)
Amsterdam : North-Holland Pub. Co., 1968.

Rating:

 

Item Status

Location Call No. Status OPAC Message Public Note Gift Note
 Moore Stacks  Q175 .I535 1967    Available  ---
8
book
BookPrinted Material
 

Logic, methodology and philosophy of science; proceedings.


International Congress for Logic, Methodology, and Philosophy of Science (2nd : 1964 : Jerusalem)
Amsterdam : North-Holland Pub. Co., 1965.

Rating:

 

Item Status

Location Call No. Status OPAC Message Public Note Gift Note
 Moore Stacks  BC135 .I52 1964    Available  ---
9
book
BookPrinted Material
 

Many-valued logics


Rosser, J. Barkley (John Barkley), 1907-1989.
Amsterdam : North-Holland Pub. Co., 1952.

Rating:

 

Item Status

Location Call No. Status OPAC Message Public Note Gift Note
 Moore Stacks  BC135 .R59 1952    Available  ---
10
book
BookPrinted Material
 

Mathematical interpretation of formal systems


Wiskundig Genootschap (Netherlands)
Amsterdam : North-Holland Pub. Co., 1955.

Rating:

 

Item Status

Location Call No. Status OPAC Message Public Note Gift Note
 Moore Stacks  QA9 .W72 1955    Available  ---
11
book
BookPrinted Material
 

Non-standard analysis.


Robinson, Abraham, 1918-1974.
Amsterdam : North-Holland Pub. Co., 1966.

Rating:

 

Item Status

Location Call No. Status OPAC Message Public Note Gift Note
 Moore Stacks  QA299.82 .R6 1966    Available  ---
12
book
BookPrinted Material
 

Outlines of a formalist philosophy of mathematics.


Curry, Haskell B. (Haskell Brooks), 1900-1982.
Amsterdam : North-Holland Pub. Co., 1951.

Rating:

 

Item Status

Location Call No. Status OPAC Message Public Note Gift Note
 Moore Stacks  QA9 .C8    Available  ---
13
Bestseller
BestsellerE-book
 

Item Status

14
book
BookPrinted Material
 

Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel.


Mostowski, Andrzej.
Amsterdam : North-Holland Pub. Co., 1952.

Rating:

 

Item Status

Location Call No. Status OPAC Message Public Note Gift Note
 Moore Stacks  BC135 .M6    Available  ---
15
book
BookPrinted Material
 

Set theory


Kuratowski, Kazimierz, 1896-1980.
Amsterdam : North-Holland; Warszawa : Polish Scientific Publishers, 1967.

Rating:

 

Item Status

Location Call No. Status OPAC Message Public Note Gift Note
 Moore Stacks  QA248 .K7683    Available  ---
16
book
BookPrinted Material
 

Solvable cases of the decision problem


Ackermann, W. (Wilhelm), 1896-1962.
Amsterdam : North-Holland Publishing Co., 1954,t. p. 1962.

Rating:

 

Item Status

Location Call No. Status OPAC Message Public Note Gift Note
 Moore Stacks  BC135 .A3    Available  ---
17
book
BookPrinted Material
 

Truth and consequence in mediaeval logic.


Moody, Ernest A. (Ernest Addison), 1903-1975.
Amsterdam : North-Holland Pub. Co., 1953.

Rating:

 

Item Status

Location Call No. Status OPAC Message Public Note Gift Note
 Moore Stacks  BC171 .M65    Available  ---
Resources
More Information