Kondô Motokiti. Sur la nommabilité d'ensembles. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , Bd. 242 , S. 1841–1843.Kondô Motokiti. Sur les nombres réels et nommables. Ebd., S. 1945–1948.Kondô Motokiti. Sur les analyses relatives. Ebd., S. 2084–2087.Kondô Motokiti. Sur la notion du transfini. Ebd., S. 2209–2212.Kondô Motokiti. Sur le continu projectif et la conclusion de l'étude des ensembles nommables. Ebd., S. 2275–2278 [Book Review]

Journal of Symbolic Logic 22 (3):299-300 (1957)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2963615

Other Versions

No versions found

Links

PhilArchive



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

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

Motokiti Kondô and Haruo Murata. On proof retrieval: problem-solving machines. I.Proceedings of the Japan Academy, vol. 41 , pp. 254–259. - Motokiti Kondô and Haruo Murata. Standard form in PGO and transformation algorithm: problem-solving machines. II.Proceedings of the Japan Academy, vol. 41 , pp. 355–359. - Motokiti Kondô and Haruo Murata. Transformation of PGO into a calculable expression: problem-solving machines. III.Proceedings of the Japan Academy, vol. 42 , pp. 299–303. [REVIEW]J. A. Robinson - 1969 - Journal of Symbolic Logic 34 (1):132-133.
Review: Motokiti Kondo, On Enumerable Sets. [REVIEW]Z. Suetuna - 1952 - Journal of Symbolic Logic 17 (1):63-64.
Kondô Motokiti. Syûgô-ron ni okeru effective no gainen ni tuite . Tôkyô Buturigakkô zassi, vol. 47, no. 600 , pp. 377–381. [REVIEW]Z. Suetuna - 1952 - Journal of Symbolic Logic 17 (1):64-64.
de Bengy-Puyvallée R.. La notion de composabilité en logique. Synthese , vol. 7 , pp. 201–205.Bengy-Puyvallée Renaud de. Sur les règles de composabilité dans la logique de la mathématique intuitioniste sans négation. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , vol. 226 , pp. 454–456.de Bengy-Puyvallée Renaud. Sur la relation de composabilité dans les logiques de complémentarité. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , vol. 228 , pp. 624–626.de Bengy-Puyvalleé Renaud. Sur les relations d'incomposabilité dans les logiques de complémentarité. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , vol. 230 , pp. 265–267. [REVIEW]A. R. Turquette - 1950 - Journal of Symbolic Logic 15 (3):231-232.
Leavitt M. S.. Algebras de Boole e análise de circuitos. Portuguese translation of the foregoing by Maria Pilar Ribeiro. Gazeta de matemática, vol. 14 no. 55 , pp. 4–7.Riguet Jacques. Sur les rapports entre les concepts de machine de multipole et de structure algébrique. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , vol. 237 , pp. 425–427.Riguet Jacques. Algorithmes de Markov et théorie des machines. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , vol. 242 , pp. 435–437. [REVIEW]Gene F. Rose - 1958 - Journal of Symbolic Logic 23 (1):62-62.
Destouches-Février Paulette. Sur les rapports entre la Logique et la Physigue théorique. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , vol. 219 , pp. 481–483.Destouches-Février Paulette. Logique adaptée aux théories quantiques. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , vol. 221 , pp. 287–288. [REVIEW]Paul Bernays - 1949 - Journal of Symbolic Logic 14 (2):128-129.
Destouches-Février Paulette. Sur la notion d'adéquation et le calcul minimal de Johansson. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , vol. 224 , pp. 545–547. [REVIEW]Paul Bernays - 1949 - Journal of Symbolic Logic 14 (2):129-130.
Roland Fraïssé. Sur l'extension aux relations de quelques propriétés des ordres. Annales scientifiques de l'École Normale Supérieure, ser. 3 vol. 71 no. 4 , pp. 363–388. - René de Possel and Roland Fraïssé. Sur certaines suites d'équivalences dans une classe ordonnée, et sur leur application à la définition des parentés entre relations. Comptes rendus hebdomadaires des séances de l'Académie des Sciences, vol. 239 , pp. 940–942. - Roland Fraïssé. Sur certains opérateurs dans les classes de relations. Comptes rendus hebdomadaires des séances de l'Académie des Sciences, vol. 240 , pp. 2109–2110. - Roland Fraïssé. La construction des γ-opérateurs et leur application au calcul logique du premier ordre. Comptes rendus hebdomadaires des séances de l'Académie des Sciences, vol. 240 , pp. 2191–2193. - Roland Fraïssé. Sur quelques classifications des relations, basées sur des isomorphismes restreints. I. Étude générale. Publications scientifiques de l'Université d'Alger, série A, Mathématiques,. [REVIEW]Erwin Engeler - 1967 - Journal of Symbolic Logic 32 (2):280-281.
Rose Alan. Sur les définitions de l'implication et de la négation dans certains systèmes de logique dont les valeurs forment des treillis. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , vol. 246 , pp. 2091–2094. [REVIEW]Gene F. Rose - 1959 - Journal of Symbolic Logic 24 (3):250-250.

Analytics

Added to PP
2013-11-22

Downloads
31 (#728,019)

6 months
11 (#345,260)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Maximality in effective topology.Iraj Kalantari & Anne Leggett - 1983 - Journal of Symbolic Logic 48 (1):100-112.
Specula.Charles Alunni, Éric Brian & Laurent Nottale - 2001 - Revue de Synthèse 122 (1):147-183.
Relativité d'échelle structure de la théorie.Laurent Nottale - 2001 - Revue de Synthèse 122 (1):11-25.
Leon Foucault: His life, times and achievements.Amir D. Aczel - 2004 - Science & Education 13 (7-8):675-687.

View all 6 citations / Add more citations

References found in this work

No references found.

Add more references