Rudens versija 2025
412 004 šķirkļi
kombinatoriskā loģika
kombinatoriskā loģika [LLVV ]
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. [LLVV ]