剧情简介：This classic undergraduate treatment examines the deductive method in its first part and explores applications of logic and methodology in constructing mathematical theories in its second part. Exercises appear throughout.
作者：Alfred Tarski
出版社：Dover Publications
ISBN：9780486284620
