Pavasara versija 2025
408 984 šķirkļi
kombinatoriskā loģika
kombinatoriskā loģika
Matemātiskās loģikas virziens, kas analizē tādus jēdzienus, kurus klasiskās matemātiskās loģikas ietvaros pieņem bez tālākiem pētījumiem.