共 50 条
- [33] A Formal Logic for Formal Category Theory FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, FOSSACS 2023, 2023, 13992 : 113 - 134
- [34] BRYENNIOS,NICEPHORE - HISTORY - FRENCH - GAUTIER,P CAHIERS DE CIVILISATION MEDIEVALE, 1979, 22 (04): : 388 - 390
- [36] MATHEMATICAL LOGIC AND MODERN FORMAL LOGIC SOVIET STUDIES IN PHILOSOPHY, 1964, 3 (01): : 24 - 33
- [38] THE FORMAL ANALYSIS OF CONCEPTS BEHAVIOR RESEARCH METHODS INSTRUMENTS & COMPUTERS, 1993, 25 (02): : 314 - 317
- [39] Associative and formal concepts CONCEPTUAL STRUCTURES: INTEGRATION AND INTERFACES, PROCEEDINGS, 2002, 2393 : 354 - 368