Books by author

Melvin Fitting (auth.)

Types, Tableaus, and Gödel’s God

2002 · ENGLISH · PDF

View details

Handbook of tableau methods

1999 · ENGLISH · DJVU

View details

Proof Methods for Modal and Intuitionistic Logics

1983 · ENGLISH · PDF

View details

Foundations: Logic, Language, and Mathematics

1984 · ENGLISH · PDF

View details

Handbook of Tableau Methods

1999 · ENGLISH · PDF

View details