Metamatematika aritmetiky prvního řádu : habilitační práce /
| Hlavní autor: |
Hájek, Petr, 1940-2016
(
Autor )
|
|---|---|
| Typ dokumentu: | Kniha |
| Jazyk: |
čeština |
| Vydavatel: |
Praha :
[nakladatel není známý],
1991.
|
| Předmět: | |
|
|