## First Order Mathematical Logic

**Author**: Angelo Margaris

**Publisher:** Courier Corporation

**ISBN:** 9780486662695

**Category:** Mathematics

**Page:** 211

**View:** 1408

**Author**: Angelo Margaris

**Publisher:** Courier Corporation

**ISBN:** 9780486662695

**Category:** Mathematics

**Page:** 211

**View:** 1408

**Author**: Raymond M. Smullyan

**Publisher:** Courier Corporation

**ISBN:** 9780486683706

**Category:** Mathematics

**Page:** 158

**View:** 5537

**Author**: Raymond M. Smullyan

**Publisher:** Courier Corporation

**ISBN:** 0486492370

**Category:** Mathematics

**Page:** 288

**View:** 1842

**Author**: Haskell Brooks Curry

**Publisher:** Courier Corporation

**ISBN:** 9780486634623

**Category:** Mathematics

**Page:** 408

**View:** 7292

*Constructive Description Logics*

**Author**: Stephan Scheele

**Publisher:** University of Bamberg Press

**ISBN:** 3863093208

**Category:**

**Page:** 326

**View:** 7088

**Author**: Richard E. Hodel

**Publisher:** Courier Corporation

**ISBN:** 0486497852

**Category:** Mathematics

**Page:** 491

**View:** 5621

*A First Course*

**Author**: Joel W. Robbin

**Publisher:** Courier Dover Publications

**ISBN:** 048645018X

**Category:** Mathematics

**Page:** 238

**View:** 5596

*Foundations of Automatic Theorem Proving, Second Edition*

**Author**: Jean H. Gallier

**Publisher:** Courier Dover Publications

**ISBN:** 0486780821

**Category:** Computers

**Page:** 528

**View:** 2826

**Author**: Stephen Cole Kleene

**Publisher:** Courier Corporation

**ISBN:** 0486317072

**Category:** Mathematics

**Page:** 416

**View:** 2401

**Author**: Robert R. Stoll

**Publisher:** Courier Corporation

**ISBN:** 0486139646

**Category:** Mathematics

**Page:** 512

**View:** 7224