Propositional and Predicate Calculus: A Model of Argument
Derek Goldrei
Springer London Ltd, 2005
90,50 €On orderDelivery: 2-3 weeks
Topics include:- the representation of mathematical statements by formulas in a formal language;- the interpretation of formulas as true or false in a mathematical structure;- logical consequence of one formula from others;- the soundness and completeness theorems connecting logical consequence and formal proof;
- ISBN-13
- 9781852339210
- ISBN-10
- 1852339217
- Publisher
- Springer London Ltd
- Year
- 2005
- Publication date
- 2005-09-08
- Pages
- 315
- Dimensions
- 191x246x19
- Weight
- 632