Mod. Log., Volume 2 (1992)

Project Euclid

Month DA

Project Euclid

Interest Group on Propositional and Predicate Logics

Project Euclid

van Heijenoort

Quine, W. V.

Project Euclid

Reviews

Abeles, Francine F.

Project Euclid

Reviews

Abeles, Francine F.

Project Euclid

Review of Raymond Turner, Truth and modality for knowledge representation

Murawski, Roman

Project Euclid

Books Received

Project Euclid

Publicly available logic problem sets

Project Euclid

Lambda Prolog mailing list

Project Euclid

Bibliographic Notes

Project Euclid

Books Received

Project Euclid

Reviews

Abeles, Francine F.

Project Euclid

Association of Symbolic Logic Election Results

Project Euclid

Correction: ``Forty years of `unnatural' natural deduction and quantification: a history of first-order systems of natural deduction from Gentzen to Copi''

Project Euclid

Turing Award to Robin Milner

Project Euclid

Louise Hay Memorial Funds

Project Euclid

Editorial: on the selection and use of sources in the history of logic

p. 1-17

Project Euclid

Logic and foundations of mathematics in Peano's school

Borga, M. ; Palladino, D.

p. 18-44

Project Euclid

C. S. Peirce's influence on the logical work of N. A. Vasiliev

Bazhanov, Valentine A.

p. 45-51

Project Euclid

Review of I. Grattan-Guiness, "Hacia una biografia de Georg Cantor"

p. 55-56

Project Euclid

Review of G. Waldegg, "Cantor y la matematizacion del infinito"

Rodríguez-Consuegra, Francisco A.

p. 56-57

Project Euclid

Gödel's first works, 1929--1936: Mathematics without philosophy? Review of Kurt Gödel, Collected works. Volume 1. Publications 1929--1936. Editor-in-chief Solomon Feferman

p. 58-74

Project Euclid

The Peirce Edition Project, Review of Writings of Charles S. Peirce: A chronological edition, volumes I--IV

p. 77-92

Project Euclid

New archival material concerning P. S. Poretskiĭ

Bazhanov, V. A.

p. 93-94

Project Euclid

On the history of logic in Kazan (from the 19th to the beginning of the 20th century)

Bazhanov, V. A.

p. 95-96

Project Euclid

Editor's Introduction

p. 225-226

Project Euclid

Jean van Heijenoort: an all too brief acquaintance

Dawson, John W.

Feferman, Anita Burdman ; Feferman, Solomon

p. 228-230

Project Euclid

Jean van Heijenoort (1912--1986)

p. 231-238

Project Euclid

A sketch of Jean van Heijenoort's view of the history of modern logic: introduction to an unpublished paper

p. 239-241

Project Euclid

Historical development of modern logic

van Heijenoort, Jean

p. 242-255

Project Euclid

The fly in the bottle (in memory of Jean van Heijenoort)

Girard, Jean-Yves

p. 256-259

Project Euclid

Theory of quantification, logic and language (concerning the Selected essays of Jean van Heijenoort

Padilla-Gálvez, Jesús

p. 260-280

Project Euclid

Reflections on the interplay between mathematics and logic

Moore, Gregory H.

p. 281-311

Project Euclid

Jean van Heijenoort's contributions to proof theory and its history

p. 312-335

Project Euclid

Books Received

p. 337-338

Project Euclid

Review of Jean van Heijenoort's El desarrollo de la teoría de la cuantificación

p. 338-341

Project Euclid

Meetings Calendar, 1992, 1993

p. 342-347

Project Euclid

Small models

Weaver, George

p. 351-364

Project Euclid

The status of Cantorian numbers

p. 365-382

Project Euclid

Review of Joseph W. Dauben, "Georg Cantor y el pap León XIII: Las matemáticas, la teología y el infinito"

p. 385-387

Project Euclid

Review of Penelope Maddy, Realism in mathematics

p. 388-391

Project Euclid

Review of Mary Tiles, The Philosophy of Set Theory: A Historical Introduction to Canto's Paradise

p. 392-404

Project Euclid

Review of George Bentham, Outline of a New System of Logic

Van Evra, James W.

p. 405-408

Project Euclid

Review of Boole 1815--1864. L'Oiseau de nuit en plein jour

Hailperin, Theodore

p. 409-412

Project Euclid

On the foothills: review of Stuart Hollingdale, Makers of Mathematics; John Stillwell, Mathematics and Its History, and William Dunham, Journey Through Genius: The Great Theorems of Mathematics

Drucker, Thomas

p. 413-423

Project Euclid

Review of W. P. van Stigt, Brouwer's Intuitionism

Ruitenburg, Wim

p. 424-430

Project Euclid

Journal of Non-Classical Logics

p. 431-434

Project Euclid

Set theory eprints

p. 434-435

Project Euclid

Membership information for the Association for Symbolic Logic

p. 437-438

Project Euclid

APA Bulletin Board

p. 438-439

Project Euclid

Joseph Shoenfield Retirement

p. 440-441

Project Euclid

Call for Participation (Workshop at GWAI'92), Bonn, 1-2 September 1992, "Logic and Change"

p. 441-443

Project Euclid

First call for papers, "Logic at Work" Applied Logic Conference, December 17-19, 1992, University of Amsterdam

p. 443-445

Project Euclid

Meetings Calendar, 1992, 1993

p. 446-450

Project Euclid

Table of Contents, Volume 2