Propositional and predicate calculus: a model of argument
Auteur :
Goldrei, Derek
Éditeur :
Springer London Ltd
ISBN :
9781852339210
Date de publication :
8 sept. 2005
Dimensions :
24,6 x 18,9 cm
Langue :
Anglais
Pays d'origine :
Grande Bretagne
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;