On Formalism Freeness: Implementing Gödel's 1946 Princeton Bicentennial Lecture

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

Originalspråkengelska
TidskriftBulletin of Symbolic Logic
Volym19
Utgåva3
Sidor (från-till)351-393
Antal sidor43
ISSN1079-8986
DOI
StatusPublicerad - sep 2013
MoE-publikationstypA1 Tidskriftsartikel-refererad

Vetenskapsgrenar

  • 111 Matematik

Citera det här