Author
Kreisel, Georg. Krivine, J. L. (Jean Louis), joint author.
Preferred Shelf Number
ONLINE
Electronic Access
ScienceDirect http://www.sciencedirect.com/science/book/9780444534125
Format:
Availability
Online Library~1
Copies:
Author
Logic Colloquium (10th : 1965 : University of Leicester) Crossley, John N.
Preferred Shelf Number
ONLINE
Electronic Access
ScienceDirect http://www.sciencedirect.com/science/book/9780444534101
Format:
Availability
Online Library~1
Copies:
Author
Prior, A. N. (Arthur N.), 1914-1969.
Preferred Shelf Number
ONLINE
Electronic Access
Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780198243113.001.0001
Format:
Availability
Online Library~1
Copies: