Krantz Steven G.
Handbook of logic and proof techniques for computer science
Birkhäuser Boston, Inc., Boston, MA ; Springer-Verlag, New York, 2002
xx + 245 pp
[ISBN:
0-8176-4220-x
]