Showing 1 - 1 of 1 for search: 'Girard, Jean-Yves.', query time: 0.02s
by Girard, Jean-Yves.
Published: Cambridge University Press, 1989
Description: xi, 176 pages ; 26 cm.
Book
 Place Hold
Save to List
Cover Image

In Prospector

Request items from other Prospector libraries to be delivered to your local library for pickup.
Search Tools: Get RSS Feed — Email this Search — Save Search

Related Subjects

Computer programming Logic, Symbolic and mathematical Proof theory Type theory