Handbook of Philosophical Logic

by Dov M. Gabbay (Editor), Franz Guenthner (Editor)

Overview

First published over 15 years ago, the reference serves students and researchers in formal philosophy and language, and consumers of logic in many applied areas such as computer science and artificial intelligence. New chapters are included on non-monotonic logic, and combinatory logic and lambda-calculus. The discussions have been informed by recent research partnerships with fallacy theory, informal logic, and argumentation theory. The topics of the first volume are elementary predicate logic, systems between first-order and second- order logic, higher-order logic, algorithms and decision problems: recursive theory, and the mathematics of logic programming. The series is projected to fill 18 volumes.

Annotation © Book News, Inc., Portland, OR

Product Details

ISBN-13:	9789401704564
Publisher:	Springer-Verlag New York, LLC
Publication date:	06/29/2013
Series:	Handbook of Philosophical Logic , #4
Sold by:	Barnes & Noble
Format:	eBook
File size:	7 MB

Table of Contents

	Editorial Preface	vii
	Elementary Predicate Logic	1
	Systems Between First-order and Second-order Logic	131
	Higher-Order Logic	189
	Algorithms and Decision Problems: A Crash Course in Recursion Theory	245
	Mathematics of Logic Programming	313
	Index	371

Editorial Reviews

"The best starting point for exploring any of the topics in logic"

Encyclopaedia Britannica

From the Publisher