Katuzi Ono. On a practical way of describing formal deductions. Nagoya mathematical journal, vol. 21 (1962), pp. 115–121. - Katuzi Ono. New formulation of the axiom of choice by making use of the comprehension operator. Nagoya mathematical journal, vol. 23 (1963), pp. 53–71 [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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,888

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

Katuzi Ono. On a practical way of describing formal deductions. Nagoya mathematical journal, vol. 21 (1962), pp. 115–121. - Katuzi Ono. New formulation of the axiom of choice by making use of the comprehension operator. Nagoya mathematical journal, vol. 23 (1963), pp. 53–71. [REVIEW]Elliott Mendelson - 1969 - Journal of Symbolic Logic 34 (2):307-307.
Katuzi Ono. A certain kind of formal theories. Nagoya mathematical journal, vol. 25 , pp. 59–86.Jean Ladrière - 1969 - Journal of Symbolic Logic 34 (3):503.
Katuzi Ono. On universal character of the primitive logic. Nagoya mathematical journal, vol. 27 , pp. 331–353.Jean Ladriere - 1969 - Journal of Symbolic Logic 34 (3):503-504.
Ono Katuzi. A set theory founded on unique generating principle. Nagoya mathematical journal, vol. 12 , pp. 151–159.Abraham A. Fraenkel - 1959 - Journal of Symbolic Logic 24 (3):227-227.
Ono Katuzi. On some properties of binary relations. Nagoya mathematical journal, vol. 12 , pp. 161–170.K. E. Aubert - 1959 - Journal of Symbolic Logic 24 (3):253-254.
Ono Katuzi. A pursuit of simple basic systems. Annals of the Japan Association for Philosophy of Science, vol. 3 no. 1 , pp. 6–11. [REVIEW]Jean Ladrière - 1969 - Journal of Symbolic Logic 34 (3):504-504.
Review: Katuzi Ono, A Certain Kind of Formal Theories. [REVIEW]Jean Ladriere - 1969 - Journal of Symbolic Logic 34 (3):503-503.

Analytics

Added to PP
2015-02-05

Downloads
6 (#1,694,337)

6 months
5 (#1,038,502)

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