Accueil
 
  • Revues
  • Séminaires
  • Livres
  • Notes de cours
  • Thèses
  • Auteurs
  • Revues
  • Séminaires
  • Livres
  • Notes de cours
  • Thèses
  • Auteurs
  • Tout
  • Auteur
  • Titre
  • Bibliographie
  • Plein texte
NOT
Entre et
  • Tout
  • Auteur
  • Titre
  • Date
  • Bibliographie
  • Plein texte
  • Annales scientifiques de l'Université de Clermont. Mathématiques
  • Tome 35 (1967)

Sommaire du Fascicule no. 4


General recursive functionals of finite type and hierarchies of functions
Gandy, R. O.
p. 5-24

The rule of induction in the three variable arithmetic based on + and -
Shepherdson, J. C.
p. 25-31

Algébrisation du calcul proportionnel au moyen d'anneaux booléiens universels
Ponasse, D.
p. 33-36

Sur quelques notions concernant les anneaux hilbertiens de la logique algébrique
Guillaume, M.
p. 37-40
  • À propos
  • Aide
  • Mentions légales
  • Contact
 

Développé par

 

Soutenu par

 
 

Partenaire de