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

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

Originalspråkengelska
TidskriftIndagationes Mathematicae
Volym29
Utgåva6
Sidor (från-till)1546-1554
Antal sidor9
ISSN0019-3577
DOI
StatusPublicerad - dec 2018
MoE-publikationstypA1 Tidskriftsartikel-refererad

Vetenskapsgrenar

  • 111 Matematik

Citera det här