Humord
Symbolic logic
Symbolsk logikk
Matematisk konstruktivisme
Lukket bemerkning: ubo24
Konstruktiv matematikk
Constructive mathematics
Innholdsbeskrivende emne
Topic