Cours de logique mathématique. 3. Récursivité et constructibilité

Gauthier-Villars Nauwelaerts (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

ISBN(s)

2040041583

Links

PhilArchive



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

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

Cours de théorie des modèles: une introduction à la Logique mathématique contemporaine.Bruno Poizat - 1985
Introduction à la logique pertinente.François Rivenc - 2005 - Paris: Presses universitaires de France.
Logique Mathematique. Cours Donne a L'Universite.Andrzej Mostowski - 1949 - Journal of Symbolic Logic 14 (3):189-190.
Review: Andrzej Mostowski, Logique Mathematique. Cours Donne a L'Universite. [REVIEW]O. V. Zich - 1949 - Journal of Symbolic Logic 14 (3):189-190.
Review: Bruno Poizat, Cours de Theorie des Modeles. Une Introduction a la Logique Mathematique Contemporaine. [REVIEW]E. A. Palyutin - 1993 - Journal of Symbolic Logic 58 (3):1074-1075.
Éléments de Logique Mathématique Théorie des Modèles.Georg Kreisel & J. L. Krivine - 1967 - Dunod.
Groupes stables: une tentative de conciliation entre la géométrie algébrique et la logique mathématique.Bruno Poizat - 1987
Logique mathématique appliquée.Hans Freudenthal - 1958 - Paris,: Gauthier-Villars.
Précis de logique mathématique.Joseph M. Bochenski - 1948 - Bussum, Pays-Bas,: F. G. Kroonder.
Principes de logique et de philosophie mathématique.Octav Onicescu - 1971 - [București],: Éditions de l'Academie de la République Socialiste de Roumanie.
Pensée, symbole, et représentation: logique et psychologie chez Frege et Husserl.Xavier Verley - 2004 - Chennevières-sur-Marne: Dianoïa.
Logic Colloquium, 1985: Proceedings of the Colloquium, Orsay, France, July 1985.Equipe de Logique Mathématique & Paris Logic Group - 1987 - North Holland.
Review: Marcel Barzin, Cours de Logique; Louis Rougier, La Relativite de la Logique. [REVIEW]Alonzo Church - 1946 - Journal of Symbolic Logic 11 (3):100-100.
Recherches de Logique Formelle la Structure du Système des Syllogismes Et des Sorites, la Logique des Notions "au Moins" Et "Tout au Plus".Petrus Hoenen - 1947 - Apud Aedes Universitatis Gregorianae.
Synthèse Subjective Ou, Système Universel des Conceptions Propres À l'État Normal de L'Humanité. T. 1., Système de Logique Positive, Ou Traité de Philosophie Mathématique. Paris, 1856.Auguste Comte - 1969 - Culture & Civilisation.

Analytics

Added to PP
2015-02-03

Downloads
6 (#1,458,635)

6 months
3 (#969,763)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Fraïssé and Robinson'S Forcing.Antonio Märio Sette - 1981 - Mathematical Logic Quarterly 27 (15):225-231.
Relatively Complete Theories.D. W. H. Gillam - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):245-250.
Partial Isomorphisms and Infinitary Languages.Jean-Pierre Calais - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (25-30):435-456.
Fraïssé and Robinson'S Forcing.Antonio Märio Sette - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (15):225-231.

View all 11 citations / Add more citations

References found in this work

No references found.

Add more references