Undecidability without Arithmetization
Andrzej GrzegorczykVolume:
79
Language:
english
Pages:
68
Journal:
Studia Logica
DOI:
10.1007/s11225-005-2976-1
Date:
March, 2005
File:
PDF, 558 KB
english, 2005