Clear Search

Books+ Search Results

Series: "Studies in logic and the foundations of mathematics"

Advanced Search

Basic Search
Help
Add a row
Reset

Limit results by

Show Online Results Only
Online Results (6)
1.
A survey of mathematical logic
Author
Wang, Hao, 1921-
Published
Peking : Science Press, 1963.
Location
Library Shelving Facility (LSF) >> L W184su
Format
Books
2.
Hypothetical reasoning
Author
Rescher, Nicholas
Published
Amsterdam, North-Holland Pub. Co., 1964.
Location
Library Shelving Facility (LSF) >> L R3114h
Format
Books
3.
Languages with expressions of infinite length
Author
Karp, Carol Ruth
Published
Amsterdam, North-Holland Pub. Co., 1964.
Location
Library Shelving Facility (LSF) >> L K148l
Format
Books
4.
Ancient formal logic
Author
Bochenski, Joseph M., 1902-1995
Published
Amsterdam, North-Holland Pub. Co., 1951.
Location
Library Shelving Facility (LSF) >> Kh 951B
Format
Books
5.
Intuitionism; an introduction
Author
Heyting, A. (Arend), 1898-
Published
Amsterdam, North-Holland Pub. Co., 1971.
Location
Library Shelving Facility (LSF) >> QA9 H46 1971
Format
Books
6.
Abstract set theory
Author
Fraenkel, Abraham Adolf, 1891-1965
Published
Amsterdam, North-Holland Pub. Co., 1968 [c1966]
Location
BASS, Lower Level >> QA248 F72 1966
Format
Books
7.
On the metamathematics of Algebra
Author
Robinson, Abraham
Published
Amsterdam, North-Holland Pub. Co., 1951.
Location
Library Shelving Facility (LSF) >> Kh41 951R
Format
Books
8.
Intuitionism : An introduction
Author
Heyting, A. (Arend), 1898-
Published
Amsterdam : North-Holland Pub. Co., 1976.
Location
Library Shelving Facility (LSF) >> L H519i 1976
Format
Books
9.
Abstract set theory
Author
Fraenkel, Abraham Adolf, 1891-1965
Published
Amsterdam, North-Holland Pub. Co., 1966.
Location
Library Shelving Facility (LSF) >> L F841a 1966
Format
Books
10.
Logic, methodology and philosophy of science; proceedings of the International Congress for Logic, Methodology and Philosophy of Science
Author
International Congress for Logic, Methodology, and Philosophy of Science
Published
Amsterdam [etc.] North-Holland Pub. Co. [etc.]
Location
Unavailable - use request form to try BorrowDirect or ILL >> KBC135 I55
MARX Library >> Q175 I57+ Oversize
Format
Journals & Newspapers
11.
Intuitionism; an introduction
Author
Heyting, A. (Arend), 1898-
Published
Amsterdam, North-Holland Pub. Co., 1956.
Location
Library Shelving Facility (LSF) >> L H519i
Format
Books
12.
Ancient formal logic
Author
Bochenski, Joseph M., 1902-1995
Published
Amsterdam, North-Holland Pub. Co., 1957.
Location
Library Shelving Facility (LSF) >> L B629a
Format
Books
13.
Undecidable theories
Author
Tarski, Alfred, 1901-1983
Published
Amsterdam : North-Holland Pub. Co., 1953.
Location
MARX LIBRARY >> QA9 .T33 1953 (LC)
Format
Books
14.
Outlines of a formalist philosophy of mathematics
Author
Curry, Haskell B. (Haskell Brooks), 1900-1982
Published
Amsterdam, North-Holland Pub. Co., 1951.
Location
SML, Stacks, LC Classification >> QA9 C87
Format
Books
15.
Contributions to mathematical logic; proceedings of the logic colloquium, Hannover 1966
Published
Amsterdam, North-Holland Pub. Co., 1968.
Location
Library Shelving Facility (LSF) >> Conf Hannover 1966
Format
Books
16.
A transfinite type theory with type variables
Author
Andrews, P. B. (Peter Bruce), 1937-
Published
Amsterdam, North-Holland Pub. Co., 1965.
Location
Library Shelving Facility (LSF) >> L An273t
Format
Books
17.
Solvable cases of the decision problem
Author
Ackermann, W. (Wilhelm), 1896-
Published
Amsterdam, North-Holland Pub. Co., 1954.
Location
Library Shelving Facility (LSF) >> Kh41 954A
Library Shelving Facility (LSF) >> L Ac57s
Format
Books
18.
Computer programming and formal systems
Author
Braffort, P. (Paul)
Published
Amsterdam, North-Holland Pub. Co., 1970.
Location
Library Shelving Facility (LSF) >> QA76 B73 1970(LC)
Format
Books
19.
Constructible sets with applications
Author
Mostowski, Andrzej
Published
Amsterdam, North-Holland Pub. Co.; Warszawa, PWN--Polish Scientific Publishers, 1969.
Location
Library Shelving Facility (LSF) >> L M8557c
Format
Books
20.
Intuitionistic logic, model theory and forcing
Author
Fitting, Melvin, 1942-
Published
Amsterdam, North-Holland Pub. Co., 1969.
Online
Online book (login required)
Location
Internet Archive >> None
Format
Books
21.
Axiomatic set theory
Author
Bernays, Paul, 1888-
Published
Amsterdam, North-Holland Pub. Co., 1958.
Location
Library Shelving Facility (LSF) >> L B457a
Format
Books
22.
Aristotle's modal syllogisms
Author
McCall, Storrs
Published
Amsterdam, North-Holland, Pub. Co., 1963.
Location
Library Shelving Facility (LSF) >> B491 L8 M2 (LC)
Library Shelving Facility (LSF) >> L M124a
Format
Books
23.
Introduction to model theory and to the metamathematics of algebra
Author
Robinson, Abraham, 1918-1974
Published
Amsterdam, North-Holland Pub. Co., 1963.
Location
Library Shelving Facility (LSF) >> L R56i
Format
Books
24.
The logical systems of Lesniewski
Author
Luschei, Eugene C.
Published
Amsterdam, North-Holland Pub. Co., 1962.
Location
Request for delivery to any Yale Library >> L L975l
Format
Books
25.
Ordinal algebras
Author
Tarski, Alfred, 1901-1983
Published
Amsterdam : North-Holland Pub. Co., 1956.
Location
Library Shelving Facility (LSF) >> L T177o
Format
Books
26.
Abstract set theory
Author
Fraenkel, Abraham Adolf, 1891-1965
Published
Amsterdam, North-Holland Pub. Co., 1953.
Location
SML, Stacks, LC Classification >> QA248 F72
Library Shelving Facility (LSF) >> L F841a
Format
Books
27.
Sentences undecidable in formalized arithmetic; an exposition of the theory of Kurt Gödel
Author
Mostowski, Andrzej
Published
Amsterdam, North-Holland Pub. Co., 1952.
Location
Library Shelving Facility (LSF) >> Kh41 952M
Format
Books
28.
The propositional logic of Boethius
Author
Dürr, Karl, 1888-
Published
Amsterdam, North-Holland Pub. Co., 1951.
Location
Library Shelving Facility (LSF)
Library Shelving Facility (LSF) (In building use only) >> K8 B61 Z951D
Format
Books
29.
Introduction to model theory and to the metamathematics of algebra
Author
Robinson, Abraham, 1918-1974
Published
Amsterdam ; New York ; North Holland ; New York : Sole distributors for the U.S. and Canada Elsevier, [1986], c1974.
Location
MARX LIBRARY >> QA162 .R6 1986 (LC)
Format
Books
30.
Constructive order types
Author
Crossley, John N.
Published
Amsterdam, London, North-Holland Pub. Co., 1969.
Location
Library Shelving Facility (LSF) >> L C884c
Library Shelving Facility (LSF) >> QA9 C76
Format
Books
31.
Non-standard analysis
Author
Robinson, Abraham, 1918-1974
Published
Amsterdam, North-Holland Pub. Co., 1966.
Location
Library Shelving Facility (LSF) >> An R56n
Format
Books
32.
The foundations of intuitionistic mathematics, especially in relation to recursive functions
Author
Kleene, Stephen Cole, 1909-1994
Published
Amsterdam, North-Holland Pub. Co., 1965.
Location
Library Shelving Facility (LSF) >> L K672f
Format
Books
33.
Foundations of set theory
Author
Fraenkel, Abraham Adolf, 1891-1965
Published
Amsterdam, North-Holland Pub. Co., 1958.
Location
Library Shelving Facility (LSF) >> QA248 F73
Library Shelving Facility (LSF) >> L F841f
Format
Books
34.
Mathematical interpretation of formal systems
Published
Amsterdam, North-Holland Pub. Co., 1955.
Location
Library Shelving Facility (LSF) >> L Sk53m
Format
Books
35.
Nomological statements and admissible operations
Author
Reichenbach, Hans, 1891-1953
Published
Amsterdam, North-Holland Pub. Co., 1954.
Location
Library Shelving Facility (LSF) >> L R271n
Library Shelving Facility (LSF) >> Kh41 954R
Format
Books
36.
Non-standard analysis
Author
Robinson, Abraham, 1918-1974
Published
Amsterdam : North-Holland Pub. Co. ; New York : American Elsevier Pub. Co., 1974.
Location
MARX LIBRARY >> QA299.82 .R6 1974 (LC)
Format
Books
37.
Intuitionism; an introduction
Author
Heyting, A. (Arend), 1898-
Published
Amsterdam, North-Holland Pub. Co., [1966]
Location
SML, Philosophy Study, Room 609-610 (Non-Circulating) >> no call number
SML, Philosophy Study, Room 609-610 (Non-Circulating) >> KBC135 H49 1966
Format
Books
38.
Selected works
Author
Łukasiewicz, Jan
Published
Amsterdam, North-Holland Pub. Co., 1970.
Online
Online book (login required)
Location
Internet Archive >> None
Format
Books
39.
Intuitionistic logic, model theory and forcing
Author
Fitting, Melvin, 1942-
Published
Amsterdam, North-Holland Pub. Co., 1969.
Location
Library Shelving Facility (LSF) >> QA9 F57
Library Shelving Facility (LSF) >> L F564i
Format
Books
40.
Lincos; design of a language for cosmic intercourse
Author
Freudenthal, Hans, 1905-
Published
Amsterdam, North-Holland Pub. Co., 1960-
Location
Library Shelving Facility (LSF) (In building use only) >> Fzr L6382 F895
Library Shelving Facility (LSF) >> L F895ln
Format
Books
41.
Recursive number theory; a development of recursive arithmetic in a logic-free equation calculus
Author
Goodstein, R. L. (Reuben Louis)
Published
Amsterdam, North-Holland Pub. Co., 1957.
Location
Library Shelving Facility (LSF) >> L G629r
SML, Stacks, LC Classification >> QA248.5 G65
Format
Books
42.
Complete theories
Author
Robinson, Abraham, 1918-1974
Published
Amsterdam ; New York : North-Holland Pub. Co. : sole distributors for the U.S.A. and Canada, Elsevier/North-Holland, 1977.
Location
Library Shelving Facility (LSF) >> L R56c 1977
Format
Books
43.
Selected works
Author
Łukasiewicz, Jan
Published
Amsterdam, North-Holland Pub. Co., 1970.
Location
Library Shelving Facility (LSF) >> BC135 L8513 (LC)
Format
Books
44.
Many-valued logics
Author
Rosser, J. Barkley (John Barkley), 1907-
Published
Amsterdam, North-Holland Pub. Co., 1952.
Location
Library Shelving Facility (LSF) >> Kh41 952R
Library Shelving Facility (LSF) >> L R735mn
Format
Books
45.
An essay in modal logic
Author
Wright, G. H. von (Georg Henrik), 1916-2003
Published
Amsterdam : North-Holland Pub. Co., [1951]
Location
Library Shelving Facility (LSF) >> L W932e
Library Shelving Facility (LSF) >> Kh41 951W
Format
Books
46.
Set theory
Author
Kuratowski, Kazimierz, 1896-
Published
Amsterdam, North-Holland; Warszawa, Polish Scientific Publishers, 1968.
Location
Library Shelving Facility (LSF) >> L K966s
Library Shelving Facility (LSF) >> L K966s
Format
Books
47.
Abstract set theory
Author
Fraenkel, Abraham Adolf, 1891-1965
Published
Amsterdam, North-Holland Pub. Co., 1961.
Location
Library Shelving Facility (LSF) >> L F841a 1961
SML, Philosophy Study, Room 609-610 (Non-Circulating) >> QA248 F72 1961
Format
Books
48.
Truth and consequence in mediaeval logic
Author
Moody, Ernest A. (Ernest Addison), 1903-1975
Published
Amsterdam, North-Holland Pub. Co., 1953.
Location
Library Shelving Facility (LSF) >> Kh 953M
Library Shelving Facility (LSF) >> L M772t
SML, Philosophy Study, Room 609-610 (Non-Circulating) >> KBC171 M66
Format
Books
49.
A deductive theory of space and time
Author
Basri, Saul A.
Published
Amsterdam, North-Holland Pub. Co., 1966.
Location
Library Shelving Facility (LSF) >> QC6 B37
Library Shelving Facility (LSF) >> QC6 B375 1966
Library Shelving Facility (LSF) >> L B293d
Format
Books
50.
Constructivity in mathematics; proceedings
Author
International Colloquium "Constructivity in Mathematics" (1957 : Amsterdam, Netherlands)
Published
Amsterdam, North-Holland Pub. Co., 1959.
Location
Library Shelving Facility (LSF) >> Conf Amsterdam 1957
Format
Books
51.
Toward a systematic pragmatics
Author
Martin, R. M. (Richard Milton), 1916-1985
Published
Amsterdam, North-Holland Pub. Co., 1959.
Location
Library Shelving Facility (LSF) >> BC135 M28 (LC)
Library Shelving Facility (LSF) >> L M364t
Format
Books
52.
Dictionary of symbols of mathematical logic
Author
Feys, Robert, 1889-
Published
Amsterdam : North-Holland Pub. Co., 1973, c1969.
Location
SML, Stacks, LC Classification >> QA9 F49
MARX Library >> QA9 F49 1969
Format
Books
53.
Intuitionism and proof theory. : Proceedings of the summer conference at Buffalo, N.Y., 1968
Author
Conference on Intuitionism and Proof Theory (1968 : State University of New York at Buffalo)
Published
Amsterdam : North-Holland Pub. Co., 1970.
Location
SML, Stacks, LC Classification >> QA9 C66 1968
Library Shelving Facility (LSF) >> Conf Buffalo 1968
Format
Books
54.
The collected papers of Gerhard Gentzen
Author
Gentzen, Gerhard
Published
Amsterdam : North-Holland Pub. Co., 1969
Location
Request for delivery to any Yale Library >> L+WKS G289s
Format
Books
55.
Apuleian logic
Author
Sullivan, Mark W.
Published
Amsterdam : North-Holland Pub. Co., 1967.
Location
Library Shelving Facility (LSF) >> Gna66 Ey967s
SML, Philosophy Study, Room 609-610 (Non-Circulating) >> Gfa66 Ey967S
Library Shelving Facility (LSF) >> L Su55a
Library Shelving Facility (LSF) >> Gna66
Format
Books
56.
Elements of mathematical logic. (Model theory)
Author
Kreisel, Georg
Published
Amsterdam, North Holland Pub. Co., 1967.
Location
Library Shelving Facility (LSF) >> L K876eE
Library Shelving Facility (LSF) >> QA9 K741
Format
Books
57.
The axiomatic method with special reference to geometry and physics
Author
International Symposium on the Axiomatic Method (1957-1958 : Berkeley)
Published
North-Holland Pub. Co., 1959.
Location
Library Shelving Facility (LSF) >> QA481 I57
Library Shelving Facility (LSF) >> Conf Berkeley 1957-58
Format
Books
58.
Logic, methodology and philosophy of science III; proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967
Author
International Congress for Logic, Methodology, and Philosophy of Science (3d : 1967 : Amsterdam)
Published
Amsterdam, North-Holland Pub. Co., 1968.
Location
Library Shelving Facility (LSF) >> Conf Amsterdam 1967
SML, Stacks, LC Classification >> BC135 I55 1967 (LC)
Format
Books
59.
Introduction to the theory of finite automata
Author
Kobrinskiĭ, Natan Efimovich
Published
Amsterdam, North-Holland Pub. Co., 1965.
Location
Library Shelving Facility (LSF) >> L K7995i
Format
Books
60.
Sets, models and recursion theory. Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965
Author
Logic Colloquium (10th : 1965 : University of Leicester)
Published
Amsterdam : North-Holland Pub. Co., 1967.
Location
Library Shelving Facility (LSF) >> Conf Leicester 1965
SML, Stacks, LC Classification >> QA9 S87 1965
Format
Books
61.
Mathematical logic and foundations of set theory. Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968
Author
International Colloquium on Mathematical Logic and Foundations of Set Theory (1968 : Jerusalem)
Published
Amsterdam, North-Holland Pub. Co., 1970.
Location
Library Shelving Facility (LSF) >> Conf Jerusalem 1968
Format
Books
62.
The foundations of mathematics; a study in the philosophy of science
Author
Beth, Evert Willem
Published
Amsterdam, North-Holland Pub. Co., 1965.
Location
Library Shelving Facility (LSF) >> QA9 B47 1965
SML, Philosophy Study, Room 609-610 (Non-Circulating) >> QA9 B47 1965
SML, Philosophy Study, Room 609-610 (Non-Circulating) >> QA9 B47 1965
Format
Books
63.
Introduction to model theory and to the metamathematics of algebra
Author
Robinson, Abraham, 1918-1974
Published
Amsterdam : North-Holland, 1965.
Location
Library Shelving Facility (LSF) >> L R56i
SML, Philosophy Study, Room 609-610 (Non-Circulating) >> QA251 R63 1965
Format
Books
64.
Combinatory logic
Author
Curry, Haskell B. (Haskell Brooks), 1900-1982
Published
Amsterdam, North-Holland Pub. Co., 1958-72.
Location
Library Shelving Facility (LSF) >> Kh41 958C
Library Shelving Facility (LSF) >> L C937c
Format
Books
65.
Mathematical logic and foundations of set theory. Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968
Author
International Colloquium on Mathematical Logic and Foundations of Set Theory (1968 : Jerusalem)
Published
Amsterdam, North-Holland Pub. Co., 1970.
Online
Online book (login required)
Location
Internet Archive >> None
Format
Books
66.
Aspects of inductive logic
Author
Hintikka, Jaakko, 1929-
Published
Amsterdam, North Holland Pub. Co., 1966. [1967]
Location
Library Shelving Facility (LSF) >> BC91 H56
Library Shelving Facility (LSF) >> L H594a
SML, Stacks, LC Classification >> BC91 H56 (LC)
Format
Books
67.
The theory of models; proceedings
Author
International Symposium on the Theory of Models (1963 : Berkeley, Calif.)
Published
Amsterdam, North-Holland Pub. Co., 1965.
Location
Library Shelving Facility (LSF) >> BC135 I58 (LC)
Format
Books
68.
Formal systems and recursive functions; proceedings
Author
Logic Colloquium (8th : 1963 : Oxford, England)
Published
Amsterdam : North-Holland Pub. Co., 1965.
Location
Library Shelving Facility (LSF) >> QA9 L64 1963
Format
Books
69.
Logic, methodology and philosophy of science; proceedings
Author
International Congress for Logic, Methodology, and Philosophy of Science (2nd : 1964 : Jerusalem)
Published
Amsterdam, North-Holland Pub. Co., 1965.
Location
Library Shelving Facility (LSF) >> BC135 I55 1964 (LC)
Library Shelving Facility (LSF) >> Q175 I57 1964
Format
Books
70.
Realizability : an introduction to its categorical side
Author
Oosten, Jaap van
Published
Oxford : Elsevier, 2008.
Location
Library Shelving Facility (LSF) >> QA9.7 .O66 2008
Format
Books
71.
Realizability an introduction to its categorical side
Author
Oosten, Jaap van
Published
Oxford : Elsevier, 2008.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
72.
Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976
Author
Latin-American Symposium on Mathematical Logic (3d : 1976 : State University of Campinas)
Published
Amsterdam ; New York : North-Holland Pub. Co. ; New York : distributors for the U.S.A. and Canada, Elsevier/North-Holland, 1977.
Location
Library Shelving Facility (LSF) >> Conf Campinas 1976
Library Shelving Facility (LSF) >> QA9.4 L37 1976
Format
Books
73.
Constructivism in mathematics : an introduction
Author
Troelstra, A. S. (Anne Sjerp)
Published
Amsterdam ; New York : North-Holland ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1988-
Online
Online book (login required)
Location
Internet Archive >> None
Format
Books
74.
Constructivism in mathematics : an introduction
Author
Troelstra, A. S. (Anne Sjerp)
Published
Amsterdam ; New York : North-Holland ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1988-
Location
Library Shelving Facility (LSF) >> L T743d
SML, Stacks, LC Classification >> QA9.56 T74 1988
Format
Books
75.
Word problems : decision problems and the Burnside problem in group theory
Published
Amsterdam ; London : North-Holland Pub. Co., 1973.
Location
Library Shelving Facility (LSF) >> QA171 W67 1973
Format
Books
76.
Handbook of mathematical logic
Published
Amsterdam ; New York : North-Holland Pub. Co., 1977.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
77.
Large infinitary languages : model theory
Author
Dickmann, M. A., 1940-
Published
Amsterdam : North-Holland Pub. Co. ; New York : American Elsevier Pub. Co., 1975.
Location
Library Shelving Facility (LSF) >> QA9.37 D52
Library Shelving Facility (LSF) >> L D561i
Format
Books
78.
Classical recursion theory : the theory of functions and sets of natural numbers
Author
Odifreddi, Piergiorgio, 1950-
Published
Amsterdam ; New York : North-Holland ; New York, N.Y., USA : Sole distributors for the USA and Canada, Elsevier Science Pub. Co., 1989-1999.
Online
Online book (login required)
Location
Internet Archive >> None
Format
Books
79.
Classical recursion theory : the theory of functions and sets of natural numbers
Author
Odifreddi, Piergiorgio, 1950-
Published
Amsterdam ; New York : North-Holland ; New York, N.Y., USA : Sole distributors for the USA and Canada, Elsevier Science Pub. Co., 1989-1999.
Location
SML, Stacks, LC Classification >> QA9.6 O35 1989
Library Shelving Facility (LSF) >> L Od3c
Format
Books
80.
Quantification in nonclassical logic
Author
Gabbay, Dov M., 1945-
Published
Amsterdam ; London : Elsevier, 2009-
Location
Library Shelving Facility (LSF) >> QA9.4 .G222 2009
Format
Books
81.
Residuated lattices an algebraic glimpse at substructural logics
Published
Amsterdam ; Boston : Elsevier, 2007.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
82.
Lectures on the Curry-Howard isomorphism
Author
Sørensen, Morten Heine
Published
Amsterdam ; Boston [MA] : Elsevier, 2006.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
83.
Handbook of computability theory
Published
New York : Elsevier, 1999.
Online
Online book (login required)
Location
Internet Archive >> None
Format
Books
84.
The theory of semisets
Author
Vopěnka, Petr
Published
Amsterdam, North-Holland Pub. Co., 1972.
Online
Online book (login required)
Location
Internet Archive >> None
Format
Books
85.
Handbook of computability theory
Published
New York : Elsevier, 1999.
Location
Library Shelving Facility (LSF) >> QA9.59 H36X 1999
Format
Books
86.
Tools and techniques in modal logic
Author
Kracht, Marcus
Published
New York : Elsevier, 1999.
Location
Library Shelving Facility (LSF) >> QA9.46 K7X 1999
Format
Books
87.
Handbook of proof theory
Published
New York : Elsevier, 1998.
Location
Library Shelving Facility (LSF) >> QA9.54 H35X 1998
Format
Books
88.
Recursive functionals
Author
Sanchis, Luis E.
Published
Amsterdam ; New York : North-Holland, 1992.
Location
Library Shelving Facility (LSF) >> QA9.615 S26X 1992
Format
Books
89.
Foundations of set theory
Author
Fraenkel, Abraham Adolf, 1891-1965
Published
Amsterdam, North-Holland Pub. Co., 1973.
Location
Library Shelving Facility (LSF) >> QA248 F73 1973
Format
Books
90.
Categorical logic and type theory
Author
Jacobs, Bart
Published
Amsterdam ; New York : Elsevier Science, c1999.
Location
Library Shelving Facility (LSF) >> QA9 J27X 1999
Format
Books
91.
Admissibility of logical inference rules
Author
Rybakov, Vladimir V. (Vladimir Vladimir), 1961-
Published
Amsterdam ; New York : Elsevier, 1997.
Location
Library Shelving Facility (LSF) >> QA9 R986X 1997
Format
Books
92.
Logical frameworks for truth and abstraction : an axiomatic study
Author
Cantini, Andrea
Published
New York : Elsevier Science B.V., 1996.
Location
Library Shelving Facility (LSF) >> QA9 C324X 1996
Format
Books
93.
Hausdorff gaps and limits
Author
Frankiewicz, Ryszard
Published
Amsterdam ; New York : North-Holland, 1994.
Location
Library Shelving Facility (LSF) >> QA611.23 F73X 1994
Format
Books
94.
Selected papers on Automath
Published
Amsterdam ; New York : Elsevier, 1994.
Location
Library Shelving Facility (LSF) >> QA267.3 S45X 1994
Format
Books
95.
Topoi, the categorial analysis of logic
Author
Goldblatt, Robert
Published
Amsterdam ; New York ; North-Holland ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1984.
Location
Library Shelving Facility (LSF) >> L G565t 1984
Format
Books
96.
An algebraic approach to non-classical logics
Author
Rasiowa, Helena
Published
Amsterdam, North-Holland Pub. Co.; New York, American Elsevier Pub. Co., 1974.
Location
Library Shelving Facility (LSF) >> L R1835a
Library Shelving Facility (LSF) >> QA9 R24
Format
Books
97.
The axiom of choice
Author
Jech, Thomas J.
Published
Amsterdam, North-Holland Pub. Co.; New York, American Elsevier Pub. Co., 1973.
Online
Online book (login required)
Location
Internet Archive >> None
Format
Books
98.
Model theory
Author
Chang, Chen Chung, 1927-
Published
Amsterdam, North-Holland Pub. Co.; New York, American Elsevier, 1973.
Location
SML, Stacks, LC Classification >> QA9.7 C45
Format
Books
99.
The theory of semisets
Author
Vopěnka, Petr
Published
Amsterdam, North-Holland Pub. Co., 1972.
Location
Library Shelving Facility (LSF) >> QA248 V68
Library Shelving Facility (LSF) >> L V899t
Format
Books
100.
Computable structures and the hyperarithmetical hierarchy
Author
Ash, C. J.
Published
Amsterdam ; New York : Elsevier, 2000.
Location
Library Shelving Facility (LSF) >> QA9.59 A84X 2000
Format
Books