Henkin, Leon

Logical systems containing only a finite number of symbols/ Leon Henkin. - Montreal: Presses de l'Université de Montréal, 1967. - 48 l.: illus., 28 cm. - Séminaire de mathématiques supérieures 21 .

"Notes du cours donné ... à la cinquiéme session du Séminaire de mathématiques supérieures de l'Université de Montréal, tenue l'eté 1966."

79352721

C68-2015


Logic, Symbolic and mathematical.

164