![](/img/cover-not-exists.png)
Complexity in mechanized hypothesis formation
Pavel Pudlák, F.N. SpringsteelVolume:
8
Year:
1979
Language:
english
Pages:
23
DOI:
10.1016/0304-3975(79)90045-8
File:
PDF, 2.45 MB
english, 1979