Ziemas versija 2026
412 254 šķ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 ]