Logical systems containing only a finite number of symbols / par Léon Henkin

Date : 1967

Editeur / Publisher : Montreal : Presses de l'Université de Montréal , 1967

Type : Livre / Book

Langue / Language : anglais / English

Logique mathématique

Classification Dewey : 164

Henkin, Leon (1921-2006) (Auteur / author)

Collection : Séminaire de mathématiques supérieures / Montréal : Presses de l'Université de Montréal , 1962-