Provability and Decidability of Arithmetical Sentences

Philosophical Logic: Current Trends in Asia - Logic in Asia: Studia Logica Library ◽

10.1007/978-981-10-6355-8_4 ◽

2017 ◽

pp. 59-78

Author(s):

Shih Ping Tung

Download Full-text