Solvable cases of the decision problem

Uloženo v:
Podrobná bibliografie
Hlavní autor: Ackermann, Wilhelm, 1896-1962
Médium: Livre papier
Jazyk:Anglais
Vydáno: Amsterdam : North-Holland Publishing Co. 1954.
Edice:Studies in logic and the foundations of mathematics
Témata:
Poznámka: Autres tirages : 1962, 1968
Autres localisations: Voir dans le Sudoc

Podobné jednotky