![](/img/cover-not-exists.png)
Quantified propositional calculi and fragments of bounded arithmetic
Jan Krajíček, Pavel PudlákVolume:
36
Year:
1990
Language:
english
Pages:
18
DOI:
10.1002/malq.19900360106
File:
PDF, 915 KB
english, 1990