Grigori Mints. A short introduction to intuitionistic logic. The university series in mathematics. Kluwer Academic/Plenum Publishers, New York etc. 2000, ix + 131 pp [Book Review]

Bulletin of Symbolic Logic 8 (4):520-521 (2002)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2178/bsl/1182353921

Other Versions

No versions found

Links

PhilArchive



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

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

Mints Grigori. A short introduction to modal logic. CSLI lecture notes, no. 30. Center for the Study of Language and Information, Stanford 1992, also distributed by Cambridge University Press, Cambridge and New York, x + 91 pp. [REVIEW]Billy Joe Lucas - 1995 - Journal of Symbolic Logic 60 (2):687-689.
A. S. Troelstra and H. Schwichtenberg. Basic proof theory. Second edition of jsl lxiii 1605. Cambridge tracts in theoretical computer science, no. 43. cambridge university press, cambridge, new York, etc., 2000, XII + 417 pp. [REVIEW]Roy Dyckhoff - 2001 - Bulletin of Symbolic Logic 7 (2):280-280.
Luca Vigano. Labelled non-classical logics, With a foreword by Gabbay Dov, Kluwer Academic Publishers, 2000, 291 pp. [REVIEW]Petr Hájek - 2004 - Bulletin of Symbolic Logic 10 (1):107-108.
Andrews Peter B.. An introduction to mathematical logic and type theory: to truth through proof. Applied logic series, vol. 27. Kluwer Academic Publishers, Dordrecht, Boston, and London, 2002, xviii+ 390 pp. [REVIEW]Mitsuru Yasuhara - 2003 - Bulletin of Symbolic Logic 9 (3):408-408.
Book Review: Systemic Intervention: Philosophy, Methodology and Practice. Gerald Midgley, Kluwer Academic/Plenum Press, New York, 2000, pp. 461,, $40.00 USD. [REVIEW][author unknown] - 2002 - World Futures 59 (2):121-124.
Book ReviewsLorenzo Magnani and Nancy J. Nersessian , Model‐Based Reasoning: Technology, Science, Values. New York: Kluwer Academic/Plenum Publishers , 404 pp., $130. [REVIEW]Eric Winsberg - 2003 - Philosophy of Science 70 (2):442-444.
Maarten Marx and Yde Venema. Multi-dimensional modal logic. Applied logic series, vol. 4. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1997, xiii + 239 pp. [REVIEW]Dimiter Vakarelov - 2000 - Bulletin of Symbolic Logic 6 (4):490-495.
In memoriam: Grigori E. Mints 1939–2014.Solomon Feferman & Vladimir Lifschitz - 2015 - Bulletin of Symbolic Logic 21 (1):31-33.
Book ReviewJoseph E. Earley, Sr. , Chemical Explanation: Characteristics, Development, Autonomy, Annals of the New York Academy of Sciences, vol. 988. New York Academy of Sciences , 370 pp., $130.00. [REVIEW]Clark Glymour - 2004 - Philosophy of Science 71 (3):415-418.
In memoriam: Grigori E. Mints 1939-2014.Solomon Feferman and Vladimir Lifschitz - 2015 - Bulletin of Symbolic Logic 21 (1):31-33,.

Analytics

Added to PP
2010-08-30

Downloads
81 (#260,368)

6 months
13 (#270,984)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Completeness of S4 for the Lebesgue Measure Algebra.Tamar Lando - 2012 - Journal of Philosophical Logic 41 (2):287-316.

Add more citations

References found in this work

No references found.

Add more references