Algebra and Logic
Article
Santos,PG;Sieg,W;Kahle,R
JOURNAL OF LOGIC AND COMPUTATION
2023
34
6
1179-1198
10.1093/logcom/exad021
A new perspective on completeness and finitist consistency
NOVA Math > NOVA Math > NOVA Math Publications > A new perspective on completeness and finitist consistency