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

Bibliographic Details

Main Author:	Fraïssé, Roland
Format:	Book
Language:	French
Published:	Paris : Bordas, 1975.
Series:	Logique mathématique. Série A ; 25.
Subjects:	Récursivité, théorie de la. Logique mathématique non classique.