- ホーム
- > 洋書
- > 英文書
- > Science / Mathematics
Full Description
In the intervening three decades, a lot of interesting things have happened to mathematical logic: (i) Model theory has shown that insights acquired in the study of formal languages could be used fruitfully in solving old problems of conventional mathematics.