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

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinenvertaisarvioitu

Alkuperäiskielienglanti
LehtiBulletin of Symbolic Logic
Vuosikerta19
Numero3
Sivut351-393
Sivumäärä43
ISSN1079-8986
DOI - pysyväislinkit
TilaJulkaistu - syyskuuta 2013
OKM-julkaisutyyppiA1 Alkuperäisartikkeli tieteellisessä aikakauslehdessä, vertaisarvioitu

Tieteenalat

  • 111 Matematiikka

Siteeraa tätä