Your search returned 3 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Proof theory and intuitionistic systems Bruno Scarpellini by Series: Lecture notes in mathematics; 212
Material type: Text Text
Publication details: Berlin Springer-Verlag 1971
Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 511.2 S286P.

Place hold Add to cart
2.
Tableau systems for first order number theory and certain higher order theories Sue Toledo by Series: Lecture notes in mathematics ; 447
Material type: Text Text
Publication details: Berlin Springer-Verlag 1975
Availability: Items available for loan: Govind Ballabh Pant University of Agriculture and Technology (1)Call number: 511.3 T649T.

Place hold Add to cart
3.
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.