Book
total rows: 1
page: 1
records each page: 50

Logic for computer science foundations of automatic theorem proving
author: Jean H. Gallier
publisher: John Wiley & Sons
date created: 1987