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,518

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.
Chris Mortensen. Inconsistent mathematics. Mathematics and its applications, vol. 312. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1995, ix + 155 pp. [REVIEW]Newton da Costa & Otavio Bueno - 1997 - Journal of Symbolic Logic 62 (2):683-685.
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.
J. P. Mayberry. The foundations of mathematics in the theory of sets. Encyclopedia of mathematics and its applications, vol. 82. Cambridge University Press, Cambridge 2000, New York 2001, etc., xx + 424 pp. [REVIEW]W. W. Tait - 2002 - Bulletin of Symbolic Logic 8 (3):424-426.

Analytics

Added to PP
2016-06-30

Downloads
81 (#261,000)

6 months
13 (#276,161)

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.
Second-order abstract categorial grammars as hyperedge replacement grammars.Makoto Kanazawa - 2010 - Journal of Logic, Language and Information 19 (2):137-161.

Add more citations

References found in this work

No references found.

Add more references