著者典拠情報

著者標目形：
Fitting, Melvin, 1942-
属性：
Personal
日付：
1942-
から見よ参照形：
Fitting, Melvin Chris, 1942-
注記：
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)
His First-order logic and automated theorem proving, c1990: CIP t.p. (Melvin Fitting)
著者典拠ID：
DA04236483


1.

図書
図書
1. Set theory and the continuum problem
Raymond M. Smullyan and Melvin Fitting
出版情報: Oxford : Clarendon Press , New York : Oxford University Press, 1996
シリーズ名: Oxford logic guides ; 34
所蔵情報: 研究室
2.

図書
図書
2. First-order logic and automated theorem proving. 2nd ed
Melvin Fitting
出版情報: New York : Springer-Verlag, c1996
シリーズ名: Graduate texts in computer science
所蔵情報: 図書館