Reduktionstheorie des Entscheidungsproblems im Prädikatenkalkül der ersten Stufe
von János Surányi
Bok Tysk 1959
Utgitt | Budapest : Verlag der Ungarischen Akademie der Wissenschaften , 1959
|
---|---|
Omfang | 215 s.
|
Emner |
Utgitt | Budapest : Verlag der Ungarischen Akademie der Wissenschaften , 1959
|
---|---|
Omfang | 215 s.
|
Emner |