Fitting, Melvin, 1942-
Fitting, Melvin Chris, 1942-....
Fitting, Melvin (Melvin Chris), 1942-
Fitting, Melvin
VIAF ID: 46837603 (Personal)
Permalink: http://viaf.org/viaf/46837603
Preferred Forms
-
100 1 _ ‡a Fitting, Melvin ‡d (1942- ).
-
100 1 0 ‡a Fitting, Melvin, ‡d 1942-
-
200 _ | ‡a Fitting ‡b Melvin Chris ‡f 1942-....
-
100 1 _ ‡a Fitting, Melvin, ‡d 1942-
-
100 1 _ ‡a Fitting, Melvin, ‡d 1942-
-
100 1 _ ‡a Fitting, Melvin ‡q (Melvin Chris), ‡d 1942-
-
100 1 _ ‡a Fitting, Melvin (undifferentiated)
-
100 1 _ ‡a Fitting, Melvin Chris, ‡d 1942-....
-
100 1 _ ‡a Fitting, Melvin, ‡d 1942-
4xx's: Alternate Name Forms (5)
Selected Titles
- First-order logic and automated theorem proving
(10)
- Types, tableaus, and Gödel's god
(5)
- First-order modal logic
(5)
- Set theory and the continuum problem
(4)
- Proof methods for modal and intuitionistic logics
(4)
- Fundamentals of generalized recursion theory
(4)
- Intuitionistic logic model theory and forcing
(3)
- Computability theory, semantics, and logic programming
(3)
- Intuitionistic logic ... 1969.
(2)
- Incompleteness in the land of sets
(2)
