Your search returned 3 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
No cover image available
Resolution in type theory Peter B. Andrews by Series: Report. 70-27
Publication details: Carnegie-Mellon University Carnegie- Mellon 1970
Availability: Items available for loan: IMAR (1)Call number: II 10897.

Place hold Add to cart
2.
No cover image available
Resolution and the consistency of analysis Peter B. Andrews by
Publication details: Carnegie-Mellon University Carnegie-Mellon 1971
Availability: Items available for loan: IMAR (1)Call number: III 13307.

Place hold Add to cart
3.
An introduction to mathematical logic and type theory : To truth through proof Peter B. Andrews by Series: Applied logic series ; vol. 27
Edition: 2nd ed.
Publication details: Dordrecht ; Boston : Kluwer Academic Publishers, c2016
Online resources:
Availability: Items available for loan: IMAR (1)Call number: 511.3-AND.

Place hold Add to cart
Pages

Powered by Koha