Melvin Fitting

First order logic and automated theorem proving

Vyprodáno

Melvin Fitting First order logic and automated theorem proving

4,6

First-Order Modal Logic

Vyprodáno

Melvin Fitting First-Order Modal Logic

4,4

First-Order Logic and Automated Theorem Proving

Vyprodáno

Melvin Fitting First-Order Logic and Automated Theorem Proving

4,3

Beyond two: theory and applications of multiple valued logic

Vyprodáno

Melvin Fitting Beyond two: theory and applications of multiple valued logic

4,2

Justification Logic

Vyprodáno

Sergei Artemov Justification Logic

4,2

Types, tableaus, and Gödel's God

Vyprodáno

Melvin Fitting Types, tableaus, and Gödel's God

3,7