Quadratic forms in normal open induction
Otero, MargaritaVolume:
58
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.2307/2275215
Date:
June, 1993
File:
PDF, 1.08 MB
english, 1993