Review: Kiyoshi Iseki, Symbolic Logic (Propositional Logic) [Book Review]

Journal of Symbolic Logic 35 (4):580-581 (1970)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

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

Review: Kiyoshi Iseki, On the Cut Operation in Gentzen Calculi. [REVIEW]Ann S. Ferebee - 1971 - Journal of Symbolic Logic 36 (3):528-528.
Review: Eugen Mihailescu, Generalization of Some Normal Forms. [REVIEW]Kiyoshi Iseki - 1970 - Journal of Symbolic Logic 35 (2):329-329.
Review: E. William Chapin, Gentzen-Like Systems for Partial Propositional Calculi. [REVIEW]K. Iseki - 1975 - Journal of Symbolic Logic 40 (3):469-469.
Review: Mircea Tirnoveanu, Elements of Mathematical Logic. Vol. 1. Logic of Bivalent Propositions. [REVIEW]K. Iseki - 1974 - Journal of Symbolic Logic 39 (2):325-327.
Review: Eugen Mihailescu, Sur Quelques Theoremes de la Logique Classique. [REVIEW]K. Iseki - 1971 - Journal of Symbolic Logic 36 (1):173-173.
On Interpreting the S5 Propositional Calculus: an essay in philosophical logic.Michael J. Carroll - 1976 - Dissertation, University of Iowa
Review: Eugen Mihailescu, Les Formes Normales dans le Calcul Bivalent des Propositions. [REVIEW]K. Iséki - 1971 - Journal of Symbolic Logic 36 (1):172-173.
Review: Eugen Mihailescu, Sur Quelques Theoremes dans les Calculs des Propositions Bivalentes. [REVIEW]K. Iseki - 1971 - Journal of Symbolic Logic 36 (1):173-173.
Representability in second-order propositional poly-modal logic.G. Aldo Antonelli & Richmond H. Thomason - 2002 - Journal of Symbolic Logic 67 (3):1039-1054.
On the complexity of propositional quantification in intuitionistic logic.Philip Kremer - 1997 - Journal of Symbolic Logic 62 (2):529-544.
Review: Kiyoshi Ito, Set Theory as Foundation of Mathematics. [REVIEW]S. Kuroda - 1956 - Journal of Symbolic Logic 21 (1):95-95.
A survey of propositional realizability logic.Valery Plisko - 2009 - Bulletin of Symbolic Logic 15 (1):1-42.
Introduction to elementary mathematical logic.Abram Aronovich Stolyar - 1970 - New York: Dover Publications. Edited by Elliott Mendelson.

Analytics

Added to PP
2013-11-22

Downloads
6 (#1,389,828)

6 months
1 (#1,459,555)

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