Norsk WebDewey
Automatisk teorembevis
Bevisteori--matematisk logikk--utdanning, …
Bevisteori og konstruktiv matematikk
Intuisjonistisk matematikk
Intuisjonistisk logikk--matematisk logikk
Bevisteori--matematisk logikk
Konstruktiv matematikk
Intuisjonistisk logikk
Matematisk logikk (symbolsk logikk)