In memoriam: Grigori E. Mints 1939-2014

Bulletin of Symbolic Logic 21 (1):31-33, (2015)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,551

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

In memoriam: Grigori E. Mints 1939–2014.Solomon Feferman & Vladimir Lifschitz - 2015 - Bulletin of Symbolic Logic 21 (1):31-33.
In Memoriam: Solomon Feferman (1928–2016).Charles Parsons & Wilfried Sieg - 2017 - Bulletin of Symbolic Logic 23 (3):337-344.
Can Modalities Save Naive Set Theory?Peter Fritz, Harvey Lederman, Tiankai Liu & Dana Scott - 2018 - Review of Symbolic Logic 11 (1):21-47.
Grigori Mints, Sergei Tupailo, and Wilfried Buchholz. Epsilon substitution method for elementary analysis. Archive for mathematical logic, vol. 35 , pp. 103–130. [REVIEW]Ulrich Kohlenbach - 2000 - Bulletin of Symbolic Logic 6 (3):356-357.
Grigori Mints. A short introduction to intuitionistic logic. The university series in mathematics. Kluwer Academic/Plenum Publishers, New York etc. 2000, ix + 131 pp. [REVIEW]Helmut Schwichtenberg - 2002 - Bulletin of Symbolic Logic 8 (4):520-521.
In memoriam: Vladimir voevodsky 1966–2017.Daniel R. Grayson - 2018 - Bulletin of Symbolic Logic 24 (2):186-191.
In Memoriam: Vladimir Aleksandrovich Smirnov 1931–1996.V. L. Vasyukov - 1996 - Bulletin of Symbolic Logic 2 (3):371-372.
Review: Solomon Feferman, Computation on Abstract Data Types. The Extensional Approach, with an Application to Streams. [REVIEW]Jeffery Zucker - 2002 - Bulletin of Symbolic Logic 8 (4):538-542.
Review: Solomon Feferman, Foundational Ways; Solomon Feferman, Working Foundations. [REVIEW]Maria Dalla Chiara - 1992 - Journal of Symbolic Logic 57 (4):1478-1479.
In memoriam: Anne sjerp Troelstra 1939–2019.Dick de Jongh & Joan Rand Moschovakis - 2020 - Bulletin of Symbolic Logic 26 (3-4):293-295.

Analytics

Added to PP
2015-05-12

Downloads
16 (#1,196,523)

6 months
1 (#1,889,689)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references