Formal System for Computability Logic

로그인

통찰 - Formal System for Computability Logic

PECR is a formal system exploring computability logic through programs on real-world computers.

소개

제품

리소스