Collected works in ordered structures and mathematical logic : volume 1

Paulo Ribenboim.

Explanation and proof in mathematics : philosophical and educational perspectives

Gila Hanna, Hans Niels Jahnke, Helmut Pulte, editors.

New York : Springer, ©2010.

Logic in computer science

editor: Zoran Ognjanovic.

[Beograd] : Matematicki institut SANU, 2009.

Mathematical problems from applied logic I : logics for the XXIst century

edited by Dov M. Gabbay, Sergi S. Goncharov, and Michael Zakharyaschev.

New York : Springer, ©2006-

Logic Colloquium '95 : proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, Haifa, Israel, August 9-18, 1995

Johann A. Makowsky, Elena V. Ravve (eds.).

Berlin : Springer, ©1998.

Set theory : annual Boise Extravaganza in Set Theory (BEST) Conference, March 13-15, 1992, April 10-11, 1993, March 25-27, 1994, Boise State University, Boise, Idaho

Tomek Bartoszynski, Marion Scheepers, editors.

Providence, R.I. : American Mathematical Society, ©1996.

Non-classical logics and their applications to fuzzy subsets : a handbook of the mathematical foundations of fuzzy set theory

edited by Ulrich Höhle and Erich Peter Klement.

Dordrecht : Kluwer Academic Publishers, ©1995.

Nonstandard analysis in practice

Francine Diener, Marc Diener, editors.

Berlin : Springer, ©1995.

Proceedings of the IX Latin American Symposium on Mathematical Logic.

Bahía Blanca, Argentina : INMABB-CONICET : Universidad Nacional del Sur, 1993-1994.

IX Latin American Symposium on Mathematical Logic : August 3-8, 1992, Universidad Nacional del Sur, Bahía Blanca, Argentina.

Bahía Blanca : Universidad Nacional del Sur, 1992.

Proceedings of the Conference "Algebra and Logic," Sarajevo 1987

[editor, Sinisa Crvenkovic].

Novi Sad : Institute of Mathematics, Faculty of Science, University of Novi Sad, 1989.

Essays on philosophy and logic : proceedings of the XXXth Conference on the History of Logic, dedicated to Roman Suszko, Cracow, October 19-21, 1984

edited by Jerzy Perzanowski.

Wyd. 1.

Cracow : Jagiellonian University Press, 1987.

Proceedings of the Conference "Algebra and Logic," Zagreb, 1984

[editor, Zoran Stojakovic].

Novi Sad [Serbia] : Institute of Mathematics, University of Novi Sad, 1985.

Proceedings of the Third Algebraic Conference, Beograd, 1982

[editorial board, Slavisa B. Presic ... et al. ; assistent editors, Sinisa Crvenkovic, Dragan Blagojevic].

Novi Sad : Institut za matematiku, 1983.

Proceedings of the Third Brazilian Conference on Mathematical Logic

edited by Ayda I. Arruda, Newton C. A. da Costa, Antonio Mario Sette.

São Paulo : Sociedade Brasileira de Lógica, ©1980.

Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978

edited by A. I. Arruda, R. Chuaqui, N. C. A. da Costa.

Amsterdam : North-Holland, 1980.

Colloque international de logique : Clermont-Ferrand, 18-25 juillet 1975

Centre national de la recherche scientifique.

Paris : Éditions du C.N.R.S., 1977.

Handbook of mathematical logic

edited by Jon Barwise ; with the cooperation of H. J. Keisler ... [et al.].

Amsterdam : North-Holland, 1977.

Modern uses of multiple-valued logic : invited papers from the Fifth International Symposium on Multiple-Valued Logic, held at Indiana University, Bloomington, Indiana, May 13-16, 1975

edited by J. Michael Dunn and George Epstein ; with a bibliography of many-valued logic by Robert G. Wolf.

Dordrecht, Holland ; Boston, U.S.A. : D. Reidel, ©1977.

Aspectos de la filosofía de W. V. Quine : actas del V Simposio de Lógica y Filosofía de la Ciencia (Cullera, 28 y 29 de junio de 1974).

[Valencia] : Departamento de Lógica y Filosofía de la Ciencia, Universidad de Valencia, 1976.