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