Nominalistic ordinals, recursion on higher types, and finitism

Tutkimustuotos: ArtikkelijulkaisuArtikkelivertaisarvioitu

Alkuperäiskielienglanti
LehtiBulletin of Symbolic Logic
Vuosikerta25
Numero1
Sivut101-124
Sivumäärä24
ISSN1079-8986
DOI - pysyväislinkit
TilaJulkaistu - 2019
OKM-julkaisutyyppiA1 Alkuperäisartikkeli tieteellisessä aikakauslehdessä, vertaisarvioitu

Tieteenalat

  • 611 Filosofia
  • history of mathematics
  • philosophy of mathematics

Siteeraa tätä