Melvin Fitting

First order logic and automated theorem proving

Uitverkocht

Melvin Fitting First order logic and automated theorem proving

4,6

First-Order Modal Logic

Uitverkocht

Melvin Fitting First-Order Modal Logic

4,4

First-Order Logic and Automated Theorem Proving

Uitverkocht

Melvin Fitting First-Order Logic and Automated Theorem Proving

4,3

Beyond two: theory and applications of multiple valued logic

Uitverkocht

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

4,2

Justification Logic

Uitverkocht

Sergei Artemov Justification Logic

4,2

Types, tableaus, and Gödel's God

Uitverkocht

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

3,7