"Separations of first and second order theories in bounded arithmetic."

Masahiro Yasumoto (2005)

Details and statistics

DOI: 10.1007/S00153-005-0281-3

access: closed

type: Journal Article

metadata version: 2017-05-27