Provably recursive functions of constructive and relatively constructive theories
Morteza MoniriVolume:
49
Language:
english
Pages:
10
DOI:
10.1007/s00153-009-0172-0
Date:
April, 2010
File:
PDF, 159 KB
english, 2010