Birkhauserから出版されている双書 Progress in Computer Science and Applied Logic の一冊として出版されている上記のtitleの 本をreviewしましたので、ご案内いたしておきます。 にしむら https://www.researchgate.net/profile/Hirokazu-Nishimura https://www.youtube.com/watch?v=E2hZDzJp9Pc