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

Research output: Contribution to journalArticleScientificpeer-review

Original languageEnglish
JournalBulletin of Symbolic Logic
Volume19
Issue number3
Pages (from-to)351-393
Number of pages43
ISSN1079-8986
DOIs
Publication statusPublished - Sep 2013
MoE publication typeA1 Journal article-refereed

Fields of Science

  • INFINITARY LOGICS
  • 2ND-ORDER LOGIC
  • 1ST-ORDER LOGIC
  • SET-THEORY
  • NUMBER
  • THEOREM
  • MODELS
  • 111 Mathematics

Cite this