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