Fitting, Melvin, 1942-
Fitting, Melvin Chris, 1942-....
Fitting, Melvin
Fitting, Melvin (Melvin Chris), 1942-
Melvin Fitting
Melvin Fitting filósofo merikano
Fitting, Melvin Chris
VIAF ID: 46837603 ( Personal )
Permalink: http://viaf.org/viaf/46837603
Preferred Forms
- 200 _ | ‡a Fitting ‡b Melvin Chris ‡f 1942-....
-
-
-
-
- 100 1 _ ‡a Fitting, Melvin Chris
- 100 1 _ ‡a Fitting, Melvin Chris, ‡d 1942-....
-
-
- 100 1 _ ‡a Fitting, Melvin ‡d 1942-
- 100 1 _ ‡a Fitting, Melvin ‡d 1942-
-
- 100 1 _ ‡a Fitting, Melvin, ‡d 1942-
- 100 1 0 ‡a Fitting, Melvin, ‡d 1942-
-
-
-
- 100 1 _ ‡a Fitting, Melvin, ‡d 1942-
- 100 0 _ ‡a Melvin Fitting
- 100 0 _ ‡a Melvin Fitting ‡c filósofo merikano
4xx's: Alternate Name Forms (22)
Works
Title | Sources |
---|---|
Beyond two theory and applications of multiple-valued logic | |
Computability theory, semantics, and logic programming | |
First-order logic and automated theorem proving | |
Fundamentals of generalized recursion theory | |
How true it is = who says it’s true | |
Hybrid logic and its proof-theory | |
Incompleteness in the land of sets | |
Justification logic : reasoning with reasons | |
Keisan riron to ronri puroguramingu | |
n81018911 | |
Proof methods for modal and intuitionistic logics | |
Raymond Smullyan on self reference | |
Reasoning about games | |
Set theory and the continuum problem | |
Types, tableaus, and Gödel's God | |
計算理論と論理プログラミング |