Nordic Journal of Philosophical Logic is edited at the Department of Philosophy of the University of Oslo and published by Scandinavian University Press.

The Journal of Functional and Logic Programming An Electronic Journal published by the European Association for Programming Languages and Systems (EAPLS) ISSN 1080-5230 (Volumes 1995-2000 were published by The MIT Press) The Journal of Functional and Logic Programming (JFLP) is an electronic journal which covers a broad scope of topics from functional and logic programming. It is especially ...

Israel Journal of Mathematics The Magnes Press The Hebrew University Jerusalem, Israel Contents Editorial Board (Information) Indices of Recent Volumes (in postscript/xdvi formats or TeX source) Order Form S.A. Amitsur Memorial Volume (Vol. 96) Instructions to Authors 2002 The Magnes Press - The Hebrew University of Jerusalem Tel.: 972-2-6586656 Fax: 972-2-5633370 e-mail: magnes@vms.huji.ac.il ...

This page contains the archive of Saharon Shelah's mathematical papers. Professor Shelah is a mathematician working at the Hebrew University of Jerusalem and Rutgers University in New Jersey, USA.

The Journal of Automated Reasoning (JAR) was established to meet three goals: Provide a general understanding of automated reasoning and to focus on its various uses in science, engineering, and industry. Promote dialogues--and possibly cooperative efforts--between individuals with diverse concerns yet with the common interest of automating reasoning. Among the ...

The Journal of Mathematical Logic provides an important forum for the communication of original contributions in all areas of mathematical logic and its applications. It aims at publishing papers at the highest level of mathematical creativity and sophistication.

Mathematical Logic Quarterly (MLQ) (formerly: Zeitschrift fuer Mathematische Logik und Grundlagen der Mathematik) is an international journal for the publication of original research papers on mathematical logic, foundations of mathematics and related areas such as General Logic, Model Theory, Recursion Theory, Set Theory, Proof Theory and Constructive Mathematics, Algebraic Logic, Nonstandard ...