著者典拠情報

標目形：
Fitting, Melvin Chris
属性：
Personal
日付：
1942
から見よ参照形：
Fitting, Malvin, 1942-
Fitting, Melvin
Fitting, M.
Fitting, M. C.
注記：
His Intuitionistic logic ... 1969
His Fundamentals of generalized recursion theory, 1981: t.p. (Melvin Fitting)
His Proof methods for modal and intuitionistic logic, c1983: CIP t.p. (Melvin Fitting) CIP data sheet (b. 1942)
EDSRC:First-order modal logic / Melvin Fitting and Richard L. Mendelsohn (Kluwer Academic, c1998)
著者典拠ID：
DA00998822


 close
1.

図書
図書
1. Justification logic : reasoning with reasons (: hardback)
Sergei Artemov, Melvin Fitting
出版情報: Cambridge : Cambridge University Press, 2019
シリーズ名: Cambridge tracts in mathematics ; 216
所蔵情報: loading…
2.

図書
図書
2. 計算理論と論理プログラミング
Melvin Fitting [著] ; 山崎秀記 [ほか] 共訳
出版情報: 東京 : 丸善, 1989.8
所蔵情報: loading…
3.

図書
図書
3. Fundamentals of generalized recursion theory
Melvin Fitting
出版情報: Amsterdam ; New York : North-Holland Pub. Co. , New York : Sole distributors for the U.S.A. and Canada, Elsevier North-Holland, c1981
シリーズ名: Studies in logic and the foundations of mathematics ; v. 105
所蔵情報: loading…
4.

図書
図書
4. Intuitionistic logic, model theory and forcing
M.C. Fitting
出版情報: Amsterdam : North-Holland Pub. Co., 1969
シリーズ名: Studies in logic and the foundations of mathematics
所蔵情報: loading…