Handbook of Philosophical Logic / Edition 2

by Dov M. Gabbay, Franz Guenthner

Overview

The ninth volume of the Second Edition contains major contributions on Rewriting Logic as a Logical and Semantic Framework, Logical Frameworks, Proof Theory and Meaning, Goal Directed Deductions, Negations, Completeness and Consistency as well as Logic as General Rationality. Audience: Students and researchers whose work or interests involve philosophical logic and its applications.

Product Details

ISBN-13:	9781402006999
Publisher:	Springer Netherlands
Publication date:	11/30/2002
Series:	Handbook of Philosophical Logic , #9
Edition description:	2nd ed. 2002
Pages:	368
Product dimensions:	6.14(w) x 9.21(h) x 0.04(d)

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