Recherche avancée

Théorie des objets et théorie des ensembles [thèse] Le travail est divisé en deux parties : I : Sémantique et II Systèmes formels. La partie II formalise la partie I et fait appel à la logique combinatoire

Auteur(s):

Chauvin, André (1914-2010) Guillaume, Marcel (1928-2016) (Directeur de Thèse) Besserre, A. M. (Jury) Chatelet, F. (Jury) Pabion, Jean-François (Jury)

Langue:

français

Editeur, date d'édition:

Université Blaise Pascal U.E.R. de Recherche Scientifique et Technique, 1974

Ville(s) d'édition:

Clermont-Ferrand (FR)

Notes:

29 cm (Thèse présentée à l'U.E.R. de sciences exactes et naturelles (A dominante recherche) de l'université de Clermont-Ferrand pour obtenir le grade de Docteur ès sciences mathématiques) ; 134 p.

Thèmes:

logique, logique combinatoire, mathematique, theorie des ensembles, these, theorie des objets

Localisation:

Thèse localisée annexe bibliothèque - Cote Gc 1/3

---

     Exemplaire(s)

---

Cote	Retour
Thèse 186-74	Disponible