Introduction to Annotated Logics 비슷한 책 더 보기

Quantifiers and Cognition: Logical and Computational Perspectives

Application and Theory of Petri Nets and Concurrency