Κανονική προβολή Προβολή MARC Προβολή ISBD

Fitting, Melvin 1942-

First-order logic and automated theorem proving / Melvin Fitting. - New York : Springer, c1990. - xiii, 242 σ. : εικ. ; 24 εκ. - Text and monographs in computer science .

Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο.

ISBN: 0387972331 3540972331

Subjects--Topical Terms:
Λογική, Συμβολική και μαθηματική

Dewey Class. No.: 511.3