Logical systems containing only a finite number of symbols
By: par Leon Henkin.
Contributors: Université deMontréal. Département de mathématiques.
Series: Séminaire de mathématiques supérieures -- 21
Publisher: Presses de l'Universitéde Montréal
Published: 1967
Place of publication: Montréal
Language: eng
Number of pages: 52
Subjects: Logic, Symbolic and mathematical.
Notes: At head of title, Université de Montréal. Département de mathématiques.