Your search returned 4 results.

Results
	1.	Computability theory, semantics and logic programming. by Melvin Fitting. by Fitting, Melvin Series: Oxford logic guides ; no.13 Material type: Book Publication details: New York Oxford univ Press 1987 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.642 N8724.
	2.	First-order logic and automated theorem proving. by Melvin Fitting. by Fitting, Melvin Series: Texts and Monographs in computer science Material type: Book Publication details: New York S-V 1990 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N901.
	3.	Fundamentals of generalized recursion theory by Melvin Fitting by Fitting, Melvin Series: Studies in Logic and the Foundations of Mathematics V.105 Material type: Book Publication details: Amsterdam North-Holland Pub. Co. 1981 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N81. Place hold
	4.	Intuitionistic logic model theory and forcing /by Melvin Chris Fitting by Fitting, Melvin Chris Series: Studies in Logic and the Foundations of Mathematics Material type: Book Publication details: Amsterdam North-Holland Pub.Co 1969 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.2 N69.

Refine your search