MPG.eBooks - Search Results

Cover Image

1

First-Order Logic and Automated Theorem Proving

by Fitting, Melvin
Published 1996

Springer New York

Cover Image

2

Beyond Two: Theory and Applications of Multiple-Valued Logic

Published 2003

Physica

Cover Image

3

First-Order Logic and Automated Theorem Proving

by Fitting, Melvin
Published 1990

Springer New York