Introduction to Logic, Third Edition
Preface.- Introduction.- Propositional Logic.- Logical Properties and Relationships.- Propositional Proofs.- Propositional Resolution.- Relational Logic.- Relational Analysis.- Relational Proofs.- Herbrand Logic.- Herbrand Proofs.- Induction.- Resolution.- Bibliography.- Authors' Biographies.
Køb billigst hos til - kr.