Fitting, Melvin Chris (1942-)
| rdfs:label | "Fitting, Melvin Chris (1942-)" |
| schema:name | "Melvin Chris Fitting" |
|
schema:family |
"Fitting" |
|
schema:given |
"Melvin Chris" |
|
schema:birth |
"1942" |
|
schema:same |
wd:Q16105913 |
|
<http:/ |
|
|
<https:/ |
|
|
schema:main |
<https:/ |
Inverse relations
[ .. ] → schema:author → Fitting, Melvin Chris (1942-)
First-order modal logic / Melvin Fitting and Richard L. Mendelsohnschema:ProductModel
Fundamentals of generalized recursion theory / Melvin Fittingschema:ProductModel
Intuitionistic logic, model theory and forcing / Melvin Chris Fittingschema:ProductModel
Proof methods for modal and intuitionistic logics / Melvin Fittingschema:ProductModel
Types, tableaus, and Gödel's God / Melvin Fittingschema:ProductModel