Journal: Logica Universalis

Volume 6, Issue 3-4

249 -- 267Irving H. Anellis. Guest Editor's Introduction: JvH100
269 -- 276. Scholarly Publications of Jean van Heijenoort Compiled by lrving H. Anellis
277 -- 291A. Burdman Feferman. Jean van Heijenoort: Kaleidoscope
293 -- 299John W. Dawson Jr.. Jean van Heijenoort and the Gödel Editorial Project
301 -- 326Irving H. Anellis. Editor's Introduction to Jean van Heijenoort, Historical Development of Modern Logic
327 -- 337Jean van Heijenoort. Historical Development of Modern Logic
339 -- 409Irving H. Anellis. Jean van Heijenoort's Conception of Modern Logic, in Historical Perspective
411 -- 458Irving H. Anellis. Jean van Heijenoort's Contributions to Proof Theory and Its History
459 -- 475Jaakko Hintikka. Which Mathematical Logic is the Logic of Mathematics?
477 -- 483Ignacio Angelelli. Frege's Ancestral and Its Circularities
485 -- 520Claus-Peter Wirth. HERBRAND's Fundamental Theorem in the Eyes of JEAN VAN HEIJENOORT
521 -- 534Francine F. Abeles. Toward A Visual Proof System: Lewis Carroll's Method of Trees
535 -- 552Solomon Feferman. On Rereading van Heijenoort's Selected Essays
553 -- 586Philippe de Rouilhan. In Defense of Logical Universalism: Taking Issue with Jean van Heijenoort
587 -- 596Jan Wolenski. Logic as Calculus Versus Logic as Language, Language as Calculus Versus Language as Universal Medium, and Syntax Versus Semantics
597 -- 613Anssi Korhonen. Logic as a Science and Logic as a Theory: Remarks on Frege, Russell and the Logocentric Predicament