Logical systems containing only a finite number of simbols
Leon Henkin
- Montreal Les Presses de l'Universite de Montreal 1967
- 48 p fig 30 cm
- Colectia Seminaire de mathematiques superieures T. 21 .
Inaintea tit.: Universite de Montreal. Departament de Mathematiques