Mod. Log., Tome 6 (1996)

Project Euclid

Errata

Project Euclid

Request for information, sources on Gödel's trip through USSR

Bazhanov, Valentin A.

Project Euclid

Reviews Department

Project Euclid

Reviews Department

Project Euclid

Vladimir Aleksandrovich Smirnov [1931--1996]

Bazhanov, V. A.

Project Euclid

International Conferences on Self-reference

Bojadziev, Damjan

Project Euclid

Biography of Kazimierz Adjukiewicz

Brun, Georg

Project Euclid

Seeking source for Bertrand Russell quote

McLarty, Colin

Project Euclid

How old is first-order logic?

Wehmeier, Kai F.

Project Euclid

Reviews Department

Project Euclid

Editorial: In celebration of the centenary of the birth of Sof'ya Aleksandrovna Yanovskaya (1896--1966)

p. 1-2

Project Euclid

Sof'ya Aleksandrovna Yanovskaya's work in the field of mathematical logic

Markov, A. A. ; Kuzichev, A. S. ; Kuzicheva, Z. A.

p. 3-6

Project Euclid

Sof'ya Aleksandrovna Yanovskaya's contributions to logic and history of logic

p. 7-36

Project Euclid

Contributions of Polish logicians to decidability theory

Murawski, Roman

p. 37-66

Project Euclid

Sof'ja Aleksandrovna Janovskaja: a few reminiscences

Kushner, Boris A.

p. 67-72

Project Euclid

Reminiscences of S. A. Yanovskaya

Rosenfeld, Boris

p. 73-76

Project Euclid

Yanovskaya's ``ghost''

p. 77-84

Project Euclid

In memoriam Robin O. Gandy (1919--1995) and Alfred L. Foster (1904--1994)

p. 85-87

Project Euclid

Gödel's Siberian journey

Dawson, John

p. 88-89

Project Euclid

Query on Newton and the first recursion theorem

Goulem, Antoine

p. 89-90

Project Euclid

Books Received

p. 92-93

Project Euclid

Bibliographic Notes

p. 94-99

Project Euclid

Review of José Ferreirós, "Lógica, conjuntos y logicismo: desarrollos alemanes de 1870 a 1908"

Frápolli, Mariá J.

p. 100-101

Project Euclid

Review of Miguel Espinoza, "El desmigajador de la realidad: Wittgenstein y las matemáticas"

Frápolli, Mariá J.

p. 101-102

Project Euclid

Review of William Aspray, John von Neumann and the Origins of Modern Computing

Ruitenburg, Wim

p. 102-108

Project Euclid

Review of Selected Logic Papers, enlarged edition, by W. V. Quine

Weinberger, Jonathan

p. 109-112

Project Euclid

Review of Tadeusz Kwiatkowski, Skicze z Historii Logiki ogólnej

p. 112-113

Project Euclid

A survey of free logics

Rao, A. P.

p. 123-191

Project Euclid

Józef Maria Bocheński (1902--1995)

p. 192-196

Project Euclid

In memory of Professor V. A. Smirnov (1931--1996)

Bystrov, Peter

p. 198-200

Project Euclid

Review of a Reviewer: Reply to Woleński

Bartlett, Steven J.

p. 201-203

Project Euclid

Comments on Bartlett's Reply

Woleński, Jan

p. 204-206

Project Euclid

Books Received

p. 208-209

Project Euclid

Bibliographic Notes

p. 210-215

Project Euclid

Review of Charles S. Peirce, Writings of Charles S. Peirce: Chronological Edition. Volume 5, 1884 -- 1886, edited by Christian J. W. Kloesel

Van Evra, James W.

p. 216-219

Project Euclid

Review of Jarmo Pulkkinen, The Threat of Logical Mathematism. A Study on the Critique of Mathematical Logic in Germany at the Turn of the 20th Century

Vassallo, Nicla

p. 220-226

Project Euclid

Review of Grigorii E. Mints, Selected papers in Proof Theory

p. 227-231

Project Euclid

Interview with a constructive mathematician

Richman, Fred

da Costa, Newton C. A. ; Béziau, Jean-Yves ; Bueno, Otávio A. S.

p. 247-271

Project Euclid

Malinowski and Suszko on many-valued logics: on the reduction of many-valuedness to two-valuedness

Fedorov, B. N. ; Dzhaliashvili, Z. O.

p. 272-299

Project Euclid

Oleg Fedorovich Serebryannikov (1930--1991)

Fedorov, B. N. ; Dzhaliashvili, Z. O.

p. 300-301

Project Euclid

Iosif Nusimovich Brodskiĭ (1924--1994)

p. 302-303

Project Euclid

George S. Boolos

p. 304-310

Project Euclid

Reply to query: How old is first-order logic?

p. 313-314

Project Euclid

Books Received

p. 316-318

Project Euclid

Bibliographic Notes

p. 318-321

Project Euclid

Review of Sun-Joo Shin, The Logical Status of Diagrams

Englebretsen, George

p. 322-330

Project Euclid

Review of Raymond M. Smullyan, Diagonalization and Self-reference and First-order Logic

Harkleroad, Leon

p. 330-333

Project Euclid

Review of M. Katětov and P. Simon (editors), The Mathematical Legacy of Eduard Čech

Hodel, Richard E.

p. 333-339

Project Euclid

Russell's idealist apprenticeship: Idealist or Realist? -- Review of Nick Griffin, Russell's Idealist Apprenticeship

Saurí, F.

p. 340-349

Project Euclid

Editor's Note

p. 355-356

Project Euclid

Sof'ya Aleksandrovna Yanovskaya

Bashmakova, I. G. ; Demidov, S. S. ; Uspenskiŭ, B. A.

p. 357-372

Project Euclid

The works of Hugh MacColl and the origins of nonclassical logic

Cavaliere, Fania

p. 373-402

Project Euclid

Some notes from the KGB on the fate of Pavel Florenskiĭ [1882(?)--1937]

p. 403-406

Project Euclid

Reviews Department

p. 407-408

Project Euclid

Books Received

p. 409-410

Project Euclid

Bibliographic Notes

Rodríguez-Consuegra, Francisco A.

p. 411-412

Project Euclid

Gödel's unpublished manuscripts, 1930--1970: The official edition. Review of Kurt Gödel, Collected works, volume III: Unpublished essays and lectures, Solomon Feferman, editor-in-chief

p. 413-421

Project Euclid

Review of Mathematics and Mind, edited by Alexander George

Haaparanta, Leila

p. 422-427

Project Euclid

Mining of Russell. Review of A. D. Irvine and G. A. Wedeking (editors), Russell and analytic mathematical philosophy and Bertrand Russell, Introduction to mathematical philosophy

Levy, Stephen H.

p. 428-436

Project Euclid

Review of Graham Priest, Beyond the limits of thought

Frápolli, María

p. 437-439

Project Euclid

Review of R. M. Sainsbury, Paradoxes, second edition

Weinberger, Jonathan

p. 440-445

Project Euclid

Review of Development of Mathematics 1900--1950, edited by Jean-Paul Pier

Murawski, Roman

p. 446-449

Project Euclid

Review of Dov M. Gabby, Ian Hodkinson, and Mark Reynolds, Temporal logic. Mathematical foundations and computational aspects

Kreinovich, Vladik

p. 450-460

Project Euclid

Table of Contents, Volume 6