Henri Moscovici and Dan Radu. Application de la théorie des catégories dans la logique formelle. Revue roumaine de mathématiques pures et appliquées, vol. 9 , pp. 971–977 [Book Review]

Journal of Symbolic Logic 35 (2):329 (1970)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s0022481200091829

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,197

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: Henri Moscovici, Dan Radu, Application de la Theorie des Categories dans la Logique Formelle. [REVIEW]Anne Preller - 1970 - Journal of Symbolic Logic 35 (2):329-329.
Eugen Mihăilescu. Sur quelques théorèmes de la logique classique. Revue de mathématiques pures et appliquées, vol. 4 no. 2 , pp. 233–248. [REVIEW]K. Iséki - 1971 - Journal of Symbolic Logic 36 (1):173.
Krasner Marc. Théorie de la définition. Journal de mathématiques pures et appliquées, ser. 9 vol. 36 , pp. 325–357, and vol. 37 , pp. 53–101. [REVIEW]G. Kreisel - 1959 - Journal of Symbolic Logic 24 (3):230-231.
Moisil Gr. C.. Sur la théorie algébrique de certains circuits électriques. Journal de mathématiques pures et appliquées, vol. 36 no. 4 , pp. 313–324. [REVIEW]Calvin C. Elgot - 1959 - Journal of Symbolic Logic 24 (1):74-74.
Łoś J., Mostowski A., and Rasiowa H.. A proof of Herbrand's theorem. Journal de mathématiques pures et appliquées, Folge 9 Bd. 35 , S. 19–24.Łoś J., Rasiowa H., and Mostowski A.. Addition au travail “A proof of Herbrand theorem.” Journal de mathématiques pures et appliquées, Folge 9 Bd. 40 , S. 129–134. [REVIEW]Kurt Schutte - 1971 - Journal of Symbolic Logic 36 (1):168-169.
Moisil Gr. C.. Sur le syllogisme hypothétique dans la lopique intuitioniste. Journal de mathématiques pures et appliquées, ser. 9 vol. 17 , pp. 197–202. [REVIEW]Alonzo Church - 1938 - Journal of Symbolic Logic 3 (2):118-118.
L'idée de la logique formelle dans les appendices VI à X du volume 12 des Husserliana.Manuel Gustavo Isaac - 2015 - History and Philosophy of Logic 36 (4):321-345.
Les Principes des mathématiques et le problème des ensembles.Jules Richard - 1905 - Revue Générale des Sciences Pures Et Appliquées 12 (16):541-543.
Les journaux de mathématiques dans la première moitié du xixe siècle en Europe1.Norbert Verdier - 2009 - Philosophia Scientiae 13 (2):97-126.
Esquisse d’une noétique générale.L. Rieger - 1937 - Travaux du IXe Congrès International de Philosophie 4:166-173.
La logique est‐elle une discipline des mathématiques ou fait‐elle partie de ľontologie ?Guido Küng - 1985 - Dialectica 39 (3):243-258.
Bouligand G.. Les crises de l'unite dans la Mathématique. Revue générale des sciences pures et appliquées, vol. 52 no. 11-12 , pp. 215–221. [REVIEW]Alonzo Church - 1946 - Journal of Symbolic Logic 11 (3):100-100.
Logique formelle. Logique dialectique.Henri Lefebvre - 1950 - Revue Philosophique de la France Et de l'Etranger 140:368-370.
Logique formelle, logique dialectique..Henri Lefebvre - 1969 - Paris,: Éditions Anthropos.
Church Alonzo. Binary recursive arithmetic. Journal de mathématiques pures et appliquées, ser. 9 vol. 36 , pp. 39–55.Julia Robinson - 1958 - Journal of Symbolic Logic 23 (1):35-35.

Analytics

Added to PP
2016-06-30

Downloads
41 (#389,886)

6 months
13 (#198,663)

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