Logical systems containing only a finite number of symbols
par Leon Henkin.
Montréal : Presses de l'Université de Montréal, 1967.
48 h. ; 28 cm.
Serie: Séminaire de mathématiques supérieures ; 21
Cab. de portada: Université de Montréal. Département de mathématiques.
"Notes du cours donné ... à la 5e session du Séminaire de mathématiques supérieures de l'Université de Montréal, tenue l'eté 1966."
Reseña: MathSciNet, 39 #1313