Your search returned 2 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
No cover image available
Intuitionistic logic model theory and forcing / Melvin Chris Fitting.

by Fitting, Melvin.

Material type: TextBook Publisher: Amsterdam : North-Holland Pub., 1969Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 511.3 F564 In.

Place hold Log in to add tags Add to cart
Computability theory, semantics, and logic programming / Melvin Fitting.

by Fitting, Melvin.

Material type: TextBook Publisher: New York : Oxford University Press, 1987Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): European Languages Collections/English 410.285F564Co.

Place hold Log in to add tags Add to cart
Pages
Untitled Document
Designed & Developed by IT Support | © Dr B R Ambedkar Central Library, JNU, New Delhi 2021