|
![]() |
|||
|
||||
OverviewFull Product DetailsAuthor: Derek GoldreiPublisher: Springer London Ltd Imprint: Springer London Ltd Dimensions: Width: 18.90cm , Height: 1.50cm , Length: 24.60cm Weight: 0.629kg ISBN: 9781852339210ISBN 10: 1852339217 Pages: 315 Publication Date: 08 September 2005 Audience: College/higher education , Professional and scholarly , Postgraduate, Research & Scholarly , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: In Print ![]() This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us. Table of ContentsPropositions and Truth Assignments.- Formal Propositional Calculus.- Predicates and Models.- Formal Predicate Calculus.- Some Uses of Compactness.ReviewsFrom the reviews of the first edition: The aim of the present book is to give an introduction to propositional and predicate calculus which can be very useful when studying mathematical logic and many other mathematical subjects. ! The book is mainly conceived for the independent study of the students ! but it can also be used for taught courses. It is to be mentioned that the book includes very interesting exercises, many of them possessing full solutions. (Marius Tarnauceanu, Zentralblatt MATH, Vol. 1082, 2006) From the reviews of the first edition: <p> The aim of the present book is to give an introduction to propositional and predicate calculus which can be very useful when studying mathematical logic and many other mathematical subjects. a ] The book is mainly conceived for the independent study of the students a ] but it can also be used for taught courses. It is to be mentioned that the book includes very interesting exercises, many of them possessing full solutions. (Marius Tarnauceanu, Zentralblatt MATH, Vol. 1082, 2006) Author InformationTab Content 6Author Website:Countries AvailableAll regions |