The number of proof lines and the size of proofs in first order logic
Jan Krajíček, Pavel PudlákVolume:
27
Year:
1988
Language:
english
Pages:
16
Journal:
Archive for Mathematical Logic
DOI:
10.1007/bf01625836
File:
PDF, 810 KB
english, 1988