Su certe teorie non enumerabili. (Sulle limitazioni dei sistemi formali. I.)
From MaRDI portal
Publication:1845881
DOI10.1007/BF02414017zbMath0286.02051MaRDI QIDQ1845881
Publication date: 1974
Published in: Annali di Matematica Pura ed Applicata. Serie Quarta (Search for Journal in Brave)
Related Items
Provability: The emergence of a mathematical modality, Significato e verita nell'aritmetica peaniana, Experimental logics and \(\Delta^0_2\)-theories, Logic and probabilistic systems, Unnamed Item, Problemi aperti sulle algebre diagonali
Cites Work