> Details

Studies in logic and the foundations of mathematics

Reference
management

Direct link

Bookmarks

Remove from
bookmarks

Share this by email

Share this on Twitter

Share this on Facebook

Share this on Whatsapp

Export RIS Export BibTeX Export EndNote

Bookmarks

Media type: Electronic Serial; Monograph Series
Title: Studies in logic and the foundations of mathematics
imprint: Amsterdam [u.a.]: Elsevier, 1950-
Publication information: [1.]1950 - [60.]1970; 61.1971 -
Language: English
ISSN: 0049-237X
Keywords: Monografische Reihe
Origination:
Footnote:

> Publishers' series

Galatos, Nikolaos [Other]
Residuated lattices an algebraic glimpse at substructural logics Nikolaos Galatos ... [et al.]
Amsterdam [u.a.]: Elsevier, 1950-

Kracht, Marcus [Author]
Tools and techniques in modal logic Marcus Kracht
Amsterdam [u.a.]: Elsevier, 1950-

Cantini, Andrea [Author]
Logical frameworks for truth and abstraction an axiomatic study Andrea Cantini
Amsterdam [u.a.]: Elsevier, 1950-

Chang, Chen Chung [Author] ; Keisler, H. Jerome [Other]
Model theory C.C. Chang, H.J. Keisler
Amsterdam [u.a.]: Elsevier, 1950-

Börger, Egon [Author] ; Börger, Egon
Computability, complexity, logic E. Börger
Amsterdam [u.a.]: Elsevier, 1950-

Fenstad, Jens Erik [Other]; Frolov, Ivan Timofeevich [Other]; Hilpinen, Risto [Other]
Logic, methodology, and philosophy of science VIII proceedings of the Eighth International Congress of Logic, Methodology, and Philosophy of Science, Moscow, 1987 edited by Jens Erik Fenstad, Ivan T. Frolov, Risto Hilpinen
Amsterdam [u.a.]: Elsevier, 1950-

Ebbinghaus, Heinz-Dieter [Editor]; Fernandez-Prida, J. [Editor]; Garrido, M. [Editor]; Lascar, D. [Editor]; Rodriquez Artalejo, M. [Editor]
Logic Colloquium '87 proceedings of the Colloquium held in Granada, Spain, July 20-25, 1987 edited by H.-D. Ebbinghaus (Mathematics Institute, A. Ludwigs University, Freiburg, F.R.G.), J. Fernandez-Prida (Universidad Complutense de Madrid, Spain), M. Garrido (Universidad Complutense de Madrid, Spain), D. Lascar (University of Paris VII, France), M. Rodriquez Artalejo (Carraterra de Valencia, Madrid, Spain)
Amsterdam [u.a.]: Elsevier, 1950-

Ferro, R. [Editor]; Bonotto, C. [Editor]; Valentini, S. [Editor]; Zanardo, A. [Editor]
Logic Colloquium '88 proceedings of the Colloquium held in Padova, Italy, August 22-31, 1988 edited by R. Ferro, C. Bonotto, S. Valentini, A. Zanardo (University of Padova, Padova, Italy)
Amsterdam [u.a.]: Elsevier, 1950-

Logic Colloquium '85 proceedings of the colloquium held in Orsay, France, July 1985 edited by the Paris Logic Group (CRNS-Université Paris VII, Paris, France)
Amsterdam [u.a.]: Elsevier, 1950-

Stroyan, K. D. [Author] ; Bayod, José Manuel [Other]
Foundations of infinitesimal stochastic analysis K.D. Stroyan and José Manuel Bayod
Amsterdam [u.a.]: Elsevier, 1950-

Frai͏̈ssé, Roland [Author] ; Frai͏̈ssé, Roland
Theory of relations R. Frai͏̈ssé; [translated by P. Clote]
Amsterdam [u.a.]: Elsevier, 1950-

Hailperin, Theodore [Author]
Boole's logic and probability a critical exposition from the standpoint of contemporary algebra, logic, and probability theory Theodore Hailperin
Amsterdam [u.a.]: Elsevier, 1950-

Paris, Jeff B. [Editor]; Wilkie, A. J. [Editor]; Wilmers, G. M. [Editor]
Logic Colloquium '84 proceedings of the colloquium held in Manchester, U.K., July 1984 editors J.B. Paris, A.J. Wilkie, G.M. Wilmers (Department of Mathematics, Universit of Manchester, Manchester, U.K.)
Amsterdam [u.a.]: Elsevier, 1950-

Friedman, Harvey [Other]; Harrington, L. A. [Other]
Harvey Friedman's research on the foundations of mathematics edited by L.A. Harrington ... [et al.]
Amsterdam [u.a.]: Elsevier, 1950-

Rubin, Herman [Author] ; Rubin, Jean E. [Other]
Equivalents of the axiom of choice, II Herman Rubin and Jean E. Rubin
Amsterdam [u.a.]: Elsevier, 1950-

Shapiro, Stewart [Other]
Intentional mathematics edited by Stewart Shapiro
Amsterdam [u.a.]: Elsevier, 1950-

Goldblatt, Robert [Editor]
Topoi the categorial analysis of logic Robert Goldblatt
Amsterdam [u.a.]: Elsevier, 1950-

Lolli, Gabriele [Editor]; Longo, Giuseppe O. [Editor]; Marcja, Annalisa [Editor]
Logic Colloquium '82 proceedings of the colloquium held in Florence, 23-28 August, 1982 edited by G. Lolli (Dipartimento di Informatica, Università di Torino, Torino, Italy), G. Longo (Dipartimento di Informatica, Università di Pisa, Pisa, Italy) and A. Marcja (Dipartimento di Matematica, Libera Università degli Studi di Trento, Trento, Italy)
Amsterdam [u.a.]: Elsevier, 1950-

Chong, Chi-Tat [Other]; Wicks, Malcolm John [Other]
Southeast Asian Conference on Logic proceedings of the Logic Conference, Singapore, 1981 edited by C.-T. Chong and M.J. Wicks
Amsterdam [u.a.]: Elsevier, 1950-

Cohen, Laurence Jonathan [Other]
Logic, methodology, and philosophy of science VI proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979 edited by L. Jonathan Cohen ... [et al.]
Amsterdam [u.a.]: Elsevier, 1950-

Dalen, Dirk van [Editor]; Lascar, D. [Editor]; Smiley, T. J. [Editor]
Logic Colloquium '80 papers intended for the European Summer Meeting of the Association for Symbolic Logic edited by D. van Dalen (Mathematisch Instituut, Rijksuniversiteit Utrecht), D. Lascar (U.F.R. de Mathématiques, Université de Paris VII), T.J. Smiley (Clare College, Cambridge)
Amsterdam [u.a.]: Elsevier, 1950-

Troelstra, Anne S. [Editor]; Dalen, Dirk van [Other]; Brouwer, Luitzen E. J. [Honoree]
The L. E. J. Brouwer Centenary Symposium proceedings of the conference, held in Noordwijkerhout, 8 - 13 june, 1981 ed. by A. S. Troelstra and D. van Dalen
Amsterdam [u.a.]: Elsevier, 1950-

Metakides, George [Editor]
Patras Logic Symposion proceedings of the Logic Symposium held at Patras, Greece, August 18 - 22, 1980 ed. by George Metakides
Amsterdam [u.a.]: Elsevier, 1950-

Stern, Jacques [Other]; Herbrand, Jacques [Honoree]
Proceedings of the Herbrand symposium logic colloquium '81 ; proceedings of the Herbrand symposium held in Marseilles, France, July 1981 ed. by J. Stern
Amsterdam [u.a.]: Elsevier, 1950-

Fitting, Melvin [Author]
Fundamentals of generalized recursion theory Melvin Fitting
Amsterdam [u.a.]: Elsevier, 1950-

Kleene, Stephen Cole [Other]; Barwise, Jon [Other]; Keisler, H. Jerome [Other]; Kunen, Kenneth [Other]
The Kleene Symposium proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A edited by Jon Barwise, H. Jerome Keisler, Kenneth Kunen
Amsterdam [u.a.]: Elsevier, 1950-

Boffa, Maurice [Editor]; Dalen, Dirk van [Editor]; McAloon, Kenneth [Editor]
Logic Colloquium '78 proceedings of the colloquium held in Mons, August 1978 edited by Maurice Boffa (Université de l'Etat à Mons, Belgium), Dirk van Dalen (Rijksuniversiteit Utrecht, The Netherlands), Kenneth Mcaloon (Université de Paris VII, France)
Amsterdam [u.a.]: Elsevier, 1950-

Macintyre, Angus [Editor]; Pacholski, Leszek [Editor]; Paris, Jeff B. [Editor]
Logic Colloquium '77 proceedings of the colloquium held in Wrocław, August 1977 edited by Angus Macintyre (Yale University, U.S.A.), Leszek Pacholski (Wrocław University, Poland), Jeff Paris (Manchester University, G.B.)
Amsterdam [u.a.]: Elsevier, 1950-

Williams, Neil H. [Author]
Combinatorial set theory Neil H. Williams
Amsterdam [u.a.]: Elsevier, 1950-

Gandy, Robin O. [Editor]; Hyland, J.M.E [Editor]
Logic Colloquium 76 proceedings of a conference held in Oxford in July 1976 edited by R.O. Gandy (Fellow of Wolfson College, University of Oxford, England), J.M.E. Hyland (Fellow of King's College, University of Cambridge, England)
Amsterdam [u.a.]: Elsevier, 1950-

Rose, H.E [Editor]; Shepherdson, J.C [Editor]
Logic Colloquium '73 proceedings of the Logic Colloquium, Bristol, July 1973 edited by H.E. Rose (Lecturer in Mathematics, Bristol) and J.C. Shepherdson (Professor of Pure Mathematics, Bristol)
Amsterdam [u.a.]: Elsevier, 1950-

Fraenkel, Abraham Adolf [Author] ; Bar-Hillel, Yehoshua [Other]; Lévy, Azriel [Other]
Foundations of set theory [By] Abraham A. Fraenkel, Yehoshua Bar-Hillel [and] Azriel Levy. With the collaboration of Dirk van Dalen
Amsterdam [u.a.]: Elsevier, 1950-

Gandy, Robin O. [Editor]; Yates, C.M.E [Editor]
Logic Colloquium '69 proceedings of the Summer School and Colloquium in Mathematical Logic, Manchester, August 1969 edited by R.O. Gandy, C.M.E. Yates
Amsterdam [u.a.]: Elsevier, 1950-

Henkin, Leon [Author] ; Monk, James Donald [Other]; Tarski, Alfred [Other]
Cylindric algebras - Part 2 [By] Leon Henkin, J. Donald Monk [and] Alfred Tarski
Amsterdam [u.a.]: Elsevier, 1950-

Search in field:

Recently searched for: