Review: Katuzi Ono, On a Practical Way of Describing Formal Deductions; Katuzi Ono, New Formulation of the Axiom of Choice by Making use of the Comprehension Operator [Book Review]

Journal of Symbolic Logic 34 (2):307-307 (1969)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271136

Links

PhilArchive



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

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: Katuzi Ono, A Certain Kind of Formal Theories. [REVIEW]Jean Ladriere - 1969 - Journal of Symbolic Logic 34 (3):503-503.
Review: Katuzi Ono, On Some Properties of Binary Relations. [REVIEW]K. E. Aubert - 1959 - Journal of Symbolic Logic 24 (3):253-254.
Review: Katuzi Ono, A Pursuit of Simple Basic Systems. [REVIEW]Jean Ladriere - 1969 - Journal of Symbolic Logic 34 (3):504-504.
Review: Makoto Itoh, On the General Topological Boolean Lattice. [REVIEW]Katuzi Ono - 1959 - Journal of Symbolic Logic 24 (1):73-74.
Review: Katuzi Ono, A Set Theory Founded on Unique Generating Principle. [REVIEW]Abraham A. Fraenkel - 1959 - Journal of Symbolic Logic 24 (3):227-227.
On the significance of choice sets with incompatibilities.Vivian Charles Walsh - 1967 - Philosophy of Science 34 (3):243-250.
Review: Makoto Itoh, On the Boolean Equation with many Variables and the Extended Poretsky Formula. [REVIEW]Katuzi Ono - 1959 - Journal of Symbolic Logic 24 (1):74-74.
Review: Makoto Itoh, On the General Solution of the $n$-Valued Function-Lattice (Logical) Equation in one Variable. [REVIEW]Katuzi Ono - 1957 - Journal of Symbolic Logic 22 (1):101-101.
Review: Katuzi Ono, On Universal Character of the Primitive Logic. [REVIEW]Jean Ladriere - 1969 - Journal of Symbolic Logic 34 (3):503-504.
Review: Katuzi Ono, A Formalism for Primitive Logic and Mechanical Proof-Checking. [REVIEW]Jean Ladriere - 1969 - Journal of Symbolic Logic 34 (3):504-504.
The Axiom of Choice in Quantum Theory.Norbert Brunner, Karl Svozil & Matthias Baaz - 1996 - Mathematical Logic Quarterly 42 (1):319-340.

Analytics

Added to PP
2013-11-22

Downloads
18 (#816,943)

6 months
8 (#346,782)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references