Your search returned 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Topoi the categorial analysis of logic Robert Goldblatt by Series: Studies in logic and the foundations of mathematics; v.98
Material type: Text Text
Publication details: New York North-Holland 1979
Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 512.55 G618T.

Place hold Add to cart
2.
Axiomatising the logic of computer programming Robert Goldblatt by Series: Lecture notes in conputer science; 130
Material type: Text Text
Publication details: New York Springer-Verlag 1982
Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 519.4 G618A.

Place hold Add to cart
Pages
Copyright © 2020 GBPUAT. All Rights Reserved.