Showing 1 - 3 of 3 for search: 'Urzyczyn, Paweł.', query time: 0.04s
1st ed.
by Sørensen, Morten Heine.
Published: Elsevier, 2006
Description: xiv, 442 pages : illustrations ; 24 cm.
Book
Save to List
Cover Image
1st ed.
by Sørensen, Morten Heine.
Published: Elsevier, 2006
Description: 1 online resource (xiv, 442 pages) : illustrations.
eBook
Save to List
Cover Image
Published: Springer, 2005
Description: 1 online resource (xi, 432 pages) : illustrations.
eBook
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

Lambda calculus Curry-Howard isomorphism Proof theory