Tárgyszó  
 
 
Kulcs: Típuselmélet
Mellérendelt: Axiomatikus felépítés ; Klasszikus matematikai logika ; Konstruktív matematika
Befoglalója: Matematikai logika
ETO-ban: 510.63
József Attila Megyei és Városi Könyvtár
TextLib WWW V2.01.01/1671 - InfoKer