Undecidability without arithmetization

Studia Logica

Volumn 79, Issue 2, 2005, Pages 163-230

  Grzegorczyk, Andrzej ^a  

^a NONE   (Poland)

Author keywords

Alfred Tarski; Arithmetization; Concatenation; Decidability; Discernibility; Kurt G del; Representability

Indexed keywords

EID: 21244461170     PISSN: 00393215     EISSN: None     Source Type: Journal    
DOI: 10.1007/s11225-005-2976-1     Document Type: Article

References (0)