An Elementary Construction for a Non-elementary Procedure
Maarten Marx, Szabolcs MikulásVolume:
72
Pages:
11
Journal:
Studia Logica
DOI:
10.1023/a:1021312628326
Date:
November, 2002
File:
PDF, 595 KB
2002