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
Halis István Városi Könyvtár
TextLib WWW V2.01.01/1673 - InfoKer