中文参考译名:结构意义：命题态度的语义
Author: M. J. Cresswell
Publisher: The MIT Pre
Keywords: attitudes, propositional, semantics, meanings, structured
Number of Pages: 216
Published: 1985-03-21
List price: $40.00
ISBN-10: 0262031086
ISBN-13: 9780262031080

M. J. Cresswell is a logician and philosopher of language who has been a major continuing influence on the growth and development of formal semantics over the past 15 years or more. This book is the outgrowth of years of work on propositional attitudes, the hardest problem in semantics. In it, he traces the problem to the foundations of semantics and solves it by distinguishing between the result of the composition of the simple parts of complex expressions and structure consisting of the uncomposed parts. Cresswell explains the basis of the great intuitive appeal of structured meanings, and

中文参考译名:数理逻辑：一个课程与练习第一部分：命题演算，布尔代数，谓词演算，完备性定理（Pt.1）
Authors:Rene Cori, Daniel Lascar,  Donald H. Pelletier
Publisher: Oxford University Press, USA
Keywords: calculus, boolean, algebras, completeness, theorems, predicate, propositional, logic, course, exercises, part, mathematical
Number of Pages: 360
Published: 2000-11-09
List price: $150.00
ISBN-10: 0198500491
ISBN-13: 9780198500490

Logic forms the basis of mathematics and is a fundamental part of any mathematics course. This book provides students with a clear and accessible introduction to this important subject, using the concept of model as the main focus and covering a wide area of logic. The chapters of the book cover propositional calculus, boolean algebras, predicate calculus and completelness theorems with answeres to all of the exercises and the end of the volume. This is an ideal introduction to mathematics and logic for the advanced undergraduate student.