Invitation to formal reasoning, an: the logic of terms
Auteur :
Sommers, Fred / Englebretsen, George
Éditeur :
Taylor & Francis Ltd
ISBN :
9780754613664
Date de publication :
28 juil. 2000
Dimensions :
23,4 x 15,6 cm
Poids :
544 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
An introduction to "term-function logic" (TFL) for the beginning student of logic. It also includes a chapter introducing standard "modern predicate logic" (MPL). There are several exercise sections and a summary of the main rules, laws and principles of TFL.