Mod. Log., Tome 7 (1997)

Project Euclid

Updates and corrections to: ``The development of multiset theory"

Blizard, Wayne D.

Project Euclid

Reviews Department

Project Euclid

Reviews Department

Project Euclid

Books Received

Project Euclid

Review of T. E. Forster, Set theory with a universal set: Exploring an untyped universe, 2nd edition

Boffa, Maurice

Project Euclid

Reviews Department

Project Euclid

Books Received

Project Euclid

John Vincent Atanasoff---his place in the history of computer logic and technology

Gumb, Raymond D. ; Lambert, Karel

p. 1-24

Project Euclid

Definitions in nonstrict positive free logic

p. 25-55

Project Euclid

Machine d'arithmétique

Pascal, Blaise

p. 56-66

Project Euclid

New system of binary arithmetic, by Benjamin Peirce, consulting geometer, United States Coast Survey

Peirce, Benjamin

p. 67-70

Project Euclid

Logical machines

Peirce, C. S.

p. 71-77

Project Euclid

Logical machine

Baldwin, James Mark

p. 78-80

Project Euclid

In memoriam: Garret Birkhoff

p. 81-82

Project Euclid

In memoriam: Thomas Tymoczko

p. 82-83

Project Euclid

In memoriam: Paul Erdös (1913 -- 1996)

p. 83-84

Project Euclid

Richard Sylvan

p. 84-85

Project Euclid

Bibliographic Notes

p. 88-89

Project Euclid

Review of Kurt Gödel, On Formally Undecidable Propositions of Principia Mathematica and Related Systems, Translated by B. Meltzer, with an introduction by R. B. Braithwaite

Buldt, Bernd

p. 90-99

Project Euclid

Review of Richard L. Epstein, The Semantic Foundations of Logic, Vol. 1: Propositional Logics, 2nd edition

Harkleroad, Leon

p. 100-101

Project Euclid

Review of R. C. Moore, Logic and representation

Gauthier, Yvon

p. 102-104

Project Euclid

Tarski's 1936 account of logical consequence

Bach, Craig N.

Biryukova, L. G. ; Biryukov, B. V.

p. 109-130

Project Euclid

On the axiomatic sources of fundamental algebraic structures: the achievements of Hermann Grassmann and Robert Grassmann

p. 131-159

Project Euclid

In memory of S. A. Yanovskaya (1896--1966) on the centenary of her birth

Trakhtenbrot, B. A.

p. 160-187

Project Euclid

Bruno von Freytag Löringhoff (1912--1996)

p. 188-189

Project Euclid

Review of Roman Kałuża, Ann Kostant, and Wojbor Woyczyński, Through a Reporter's Eyes: The Life of Stefan Banach

Harkleroad, Leon

p. 197-198

Project Euclid

Abduction and the topology of human Cognition: Review of Ansgar Richter, Der Begriff der Abduktion bei Charles S. Peirce

Pape, Helmut

p. 199-221

Project Euclid

Thomas Anderson Goudge and the introduction of symbolic logic at the University of Toronto

p. 225-232

Project Euclid

N. N. Luzin as seen through his correspondence with P. A. Florensky

Ford, Charles E.

Niiniluoto, Ilkka ; Vilkko, Risto

p. 233-255

Project Euclid

In memoriam: Raili Kauppi (1920--1995)

p. 256-267

Project Euclid

A personal restrospective on the tenth anniversary of the death of Evelyn M. Nelson, 1943--1987

p. 268-271

Project Euclid

Photos -- Special Issue Dedicated to the Memory of V. A. Smirnoff

p. 272-273

Project Euclid

Vladimir Aleksandrovich Smirnov, how I remember him

Bazhanov, V. A.

p. 274-278

Project Euclid

Vladimir Aleksandrovich Smirnov, teacher and researcher

Markin, V. I.

p. 279-281

Project Euclid

Certain logical ideas of V. A. Smirnov and modern logic

Karpenko, A. S.

p. 282-295

Project Euclid

Problems of relevant logic in V. A. Smirnov's book, Formal deduction and logical calculi

Dolgova, T. P. ; Popov, V. M.

p. 296-314

Project Euclid

Formal reconstruction of the assertoric syllogistic of N. A. Vasiliev

Kostiouk, T. ; Markin, V.

p. 315-320

Project Euclid

Non-Fregean approach to V. A. Smirnov's combined logics

Vasyukov, Vladimir L.

p. 321-325

Project Euclid

Basic principles of V. A. Smirnov's conception of scientific philosophy and logic

Anisov, A. M.

p. 326-332

Project Euclid

Vladimir Aleksandrovich Smirnov's works

p. 333-344

Project Euclid

A bibliography of the scientific work of V. A. Smirnov

p. 345-359

Project Euclid

Working Replica ABC computer unveiled

p. 360-361

Project Euclid

Books Received

p. 363-364

Project Euclid

Bibliographic Notes

p. 365-366

Project Euclid

Government by Logic: Review of: A Mathematical Approach to Proportional Representation: Duncan Black on Lewis Carroll

p. 367-372

Project Euclid

Review of Leon Henkin, The Discovery of My Completeness Proofs

Rosado Haddock, Guillermo E.

p. 373-379

Project Euclid

Edmund Husserl: A Philosopher for all Seasons?: Review of Barry Smith and David Woodruff Smith (editors), The Cambridge Companion to Husserl

p. 380-395

Project Euclid

Review of Shaughn Lavine, Understanding the Infinite

Fuller, Mark

p. 396-401

Project Euclid

Review of Witold Marciszewski and Roman Murawski, Mechanization of Reasoning in a Historical Perspective

Peckhaus, Volker

p. 402-409

Project Euclid

Review of Martin Goldstern and Haim Judah, The Incompleteness Phenomenon: A New Course in Mathematical Logic

Murawski, Roman

p. 410-412

Project Euclid

Review of Francisco A. Rodriguez-Consuegra, The Mathematical Philosophy of Bertrand Russell: Origins and Development

Shosky, John

p. 413-419

Project Euclid

Review of Ray Monk, Bertrand Russell: The Spirit of Solitude, 1872--1921

Gumb, Raymond D. ; Lambert, Karel

p. 420-433

Project Euclid

Errata for Raymond D. Gumb and Karel Lambert's "Definitions in Nonstrict Positive Free Logic"

p. 435-440

Project Euclid

Table of Contents, Volume 7