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
Lukács Károly Városi Könyvtár
TextLib WWW V2.01.01/1671 - InfoKer