著者：Hiroakira Ono
出版社： Springer Nature Singapore
発売日： 2019年08月02日
This book offers a concise introduction to both proof-theory and algebraic methods, the core of the syntactic and semantic study of logic respectively. The importance of combining these two has been……続きを見る
