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 10, Number 1-2
Publication Date: 2005
Front Cover, Review of Modern Logic, vol. 10, no.1-2 (2004-2005)
Miscellaneous Frontmatter, Review of Modern Logic, vol. 10, no.1-2 (2004-2005)
Table of Contents, Review of Modern Logic, vol. 10, no.1-2 (2004-2005)
Articles
Some Views of Russell and Russell's Logic by His Early Contemporaries
Irving H. Anellis; 67-98
Very intuitionistic theories and quantifier elimination
Wim Ruitenburg; 99-112
Reviews
Review: Alfred Tarski: Life and Logic, by Anita Burdman Feferman and Solomon Feferman
Irving H. Anellis; 117-130
Review: Mathematics of the 19 th Century. Mathematical Logic - Algebra - Number Theory - Probability Theory, 2nd revised edition, edited by A. N. Kolmogorov and A. P. Yushkevich
Valentin A. Bazhanov; 131-134
Review: The Search for Mathematical Roots 1870-1940 (Logics, Set Theories and the Foundations of Mathematics from Cantor through Russell to Gödel), by I. Grattan-Guiness
Jean-Yves Béziau; 135-138
Review: Gnomes in the Fog, The Reception of Brouwer’s Intuitionism in the 1920s, by Dennis E. Hesseling
Michel Bourdeau; 139-144
Review: Logik, Vorlesung 1896 (Materialien, vol. 1) and Logik, Vorlesung 1902/03 (Materialien, vol. 2), by E. Husserl
Claire Ortiz Hill; 145-154
Review: Lectures in Logic and Set Theory, Volume 2: Set Theory, by George Tourlakis
Richard E. Hodel; 155-160
Review: The Cambridge Companion to Bertrand Russell, edited by Nicholas Griffen
Kevin C. Klement; 161-170
Review of Cogwheels of the Mind: The Story of Venn Diagrams, by A. W. F. Edwards
Amirouche Moktefi; 171-174
Review: The Universal History of Computing. From the Abacus to the Quantum Computers, by Georges Ifrah, translated from French and with notes by E. F. Harding
Roman Murawski; 175-178
Review: Computability. Computable Functions, Logic, and The Foundations of Mathematics 2nd edition,, by Richard L. Epstein and Walter A. Carnielli, with Computability and Undecidability—A Timeline. The Story of the Development of Computable Functions and the Undecidability of Arithmetic to 1970, by Richard L. Epstein
Roman Murawski; 179-182
Review: Knowledge Contributors, edited by Vincent F. Hendricks, Klaus Frovin Jørgensen and Stig Andur Pedersen
Roman Murawski; 183-186
Review: Collected Works, Volume IV: Correspondence A-G, Volume V: Correspondence H-Z, by Kurt Gödel, edited by Solomon Feferman, John W. Dawson, Jr. (Editors-in-chief), Warren Goldfarb, Charles Parsons and Wilfried Sieg
Alasdair Urquhart; 191-200
Review: Free Logic. Selected Essays, by Karel Lambert
Jean Paul Van Bendegem; 201-206
2008 © Marquette University, Department of Mathematics, Statistics and Computer Science
The Review of Modern Logic
