Modern Logic

The Review of Modern Logic is a journal of symbolic logic, foundations, the foundations of mathematics, and set theory. It was formerly known as Modern Logic.


Volume 2, Number 4

Publication Date: July 1992

Miscellaneous Frontmatter, Modern Logic, vol. 2, no. 4 (1992)

Table of Contents, Modern Logic, vol. 2, no. 4 (1992)

Expository surveys

Small models

George Weaver; 351-364

Historical studies

The status of Cantorian numbers

María J. Frápolli; 365-382

Reviews

Reviews

Francine F. Abeles; 383

Books Received

384

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

María J. Frápolli; 385-387

Review of Penelope Maddy, Realism in mathematics

María J. Frápolli; 388-391

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

Irving H. Anellis; 392-404

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

James W. Van Evra; 405-408

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

Theodore Hailperin; 409-412

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

Thomas Drucker; 413-423

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

Wim Ruitenburg; 424-430

Research Tools

Journal of Non-Classical Logics

431-434

Set theory eprints

434-435

Publicly available logic problem sets

435

Lambda Prolog mailing list

436

Membership information for the Association for Symbolic Logic

437-438

APA Bulletin Board

438-439

News and Announcements, Personal Notes

Association of Symbolic Logic Election Results

440

Louise Hay Memorial Funds

440

Joseph Shoenfield Retirement

440-441

Turing Award to Robin Milner

441

Meetings

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

441-443

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

443-445

Meetings Calendar, 1992, 1993

446-450

Correction

450

Information for Authors

451-452

Table of Contents, Volume 2

453-458

Miscellaneous Backmatter, Modern Logic, vol. 2, no. 4 (1992)

459-460

2013 © The Review of Modern Logic