Your search returned 3 results.

Results
	1.	First-order modal logic Melvin Fitting and Richard L. Mendelsohn by Fitting, Melvin Mendelsohn, Richard L Series: Synthese library ; v. 277 Publication details: Dordrecht Boston Kluwer Academic c1998 Availability: Items available for loan: IMAR (1)Call number: II 35181. Place hold Add to cart (remove)
	2.	First-order logic and automated theorem proving Melvin Fitting by Fitting, Melvin Series: Graduate texts in computer science \| Graduate texts in computer science (Springer-Verlag New York Inc.) Edition: 2nd ed. Publication details: New York Springer c1996 Availability: Not available: IMAR: Checked out (1). Place hold Add to cart (remove)
	3.	Set theory and the continuum problem Raymond M. Smullyan, Melvin Fitting by Smullyan, Raymond M Fitting, Melvin Series: Dover books on mathematics Edition: Dover ed. Publication details: Mineola, N.Y. : Dover Publications, 2010 Online resources: Publisher description Table of contents Availability: Items available for loan: IMAR (1)Call number: 511.322-SMU. Place hold Add to cart (remove)

Refine your search