文档介绍：TEXTS AND MONOGRAPHS PUTER SCIENCE
FIRST-ORDER LOGIC
AND AUTOMATED
THEOREM PROVING
Melvin Fitting
t Springer-Verlag
Texts and Monographs puter Science
Editor
David Gries
Advisory Board
. Bauer
. Brookes
C. E. Leiserson
. Schneider
M. Sipser
Texts and Monographs puter Science
SuadAlagi6
Object-Oriented Database Programming
1989. XV, 320 pages, 84 illus.
SuadAlagi6
Relational Database Technology
1986. XI, 259 pages, 114 illus.
Suad Alagi6 and Michael A. Arbib
The Design orWell-Structured and Correct Programs
1978. X, 292 pages, 68 illus.
S. Thomas Alexander
Adaptive Signal Processing: Theory and Applications
1986. IX, 179 pages, 42 illus.
Michael A. Arbib, . Kfoury, and Robert N. Moll
A Basis for puter Science
1981. VITI, 220 pages, 49 illus.
Friedrich L. Bauer and Hans Wossner
Algorithmic Language and Program Development
1982. XVI, 497 pages, 109 illus.
Kaare Christian
A Guide to Modula-2
1986. XIX, 436 pages, 46 illus.
Bdsger W. Dijkstra
Selected Writings puting: A Personal Perspective
1982. XVII, 362 pages, 13 illus.
Bdsger W. Dijkstra and Carel S. Scholten
Predicate Calculus and Program Semantics
1990. XII, 220 pages
. Melvin Fitting
First-Order Logic and Automated Theorem Proving
1990. XIV, 242 pages, 26 illus.
Nissim Francez
Fairness
1986. XIII, 295 pages, 147 illus.
. Gregory and . Krishnamurthy
Methods and Applications of Error-putation
1984. XII, 194 pages, 1 illus.
Melvin Fitting
First-Order Logic and
Automated Theorem Proving
With 26 Illustrations
Springer-Verlag New York Berlin Heidelberg
London Paris Tokyo Hong Kong
Melvin Fitting
Department of Mathematics puter Science
Lehman College
City University of New York
Bedford Park Boulevard West
Bronx, NY 10468-1589
.
Series Editor
David Gries
Department puter Science
Cornell University
Ithaca, NY 14853
.
Li