名古屋大学附属図書館




1

Logical systems containing only a finite number of symbols

Presses de l'Université de Montréal, 1967. -- (Séminaire de mathématiques supérieures ; 21).