Vladeta Vučković. Rekursive Wortarithmetik. Académie Serbe des Sciences et des Arts, Publications de l'Institut Mathématique (Belgrad), Bd. 14 (1960), S. 9–60
Autor: | H. Hermes |
---|---|
Rok vydání: | 1964 |
Předmět: | |
Zdroj: | Journal of Symbolic Logic. 29:200-201 |
ISSN: | 1943-5886 0022-4812 |
Databáze: | OpenAIRE |
Externí odkaz: |