Real numbers and projective spaces: Intuitionistic reasoning with undecidable basic relations

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinenvertaisarvioitu

Alkuperäiskielienglanti
LehtiIndagationes Mathematicae
Vuosikerta29
Numero6
Sivut1546-1554
Sivumäärä9
ISSN0019-3577
DOI - pysyväislinkit
TilaJulkaistu - joulukuuta 2018
OKM-julkaisutyyppiA1 Alkuperäisartikkeli tieteellisessä aikakauslehdessä, vertaisarvioitu

Tieteenalat

  • 111 Matematiikka

Siteeraa tätä