![](/img/cover-not-exists.png)
Ein Direkter Beweis für die Allgemein-Rekursive Unlösbarkeit des Entscheidungsproblems des Prädikatenkalküls der Ersten Stufe mit Identität
László KalmárVolume:
2
Year:
1956
Language:
german
Pages:
14
DOI:
10.1002/malq.19560020102
File:
PDF, 888 KB
german, 1956