Geoffrey Hunter, Metalogic. An Introduction to the Metatheory of Standard First Order Logic, Berkeley and Los Angeles: University of California Press, 1996, pp. 6-7.
2. Interpretations of Formal Languages. Model Theory
①
②
'Logic > Metalogic' 카테고리의 다른 글
| 1. Formal Languages (0) | 2024.01.14 |
|---|