- ホーム
- > 洋書
- > 英文書
- > Science / Mathematics
基本説明
Written by a pioneer of mathematical logic, this comprehensive graduate-level text explores the constructive theory of first-order predicate calculus. 1963 edition.
Written by a pioneer of mathematical logic, this comprehensive graduate-level text explores the constructive theory of first-order predicate calculus. 1963 edition.