Filter By
Books (5)
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
Non-well-founded Sets by Peter Aczel
Booksplease Price: £21.30Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9780937073223Author Peter AczelFormat PaperbackPage Count 157Imprint Centre for the Study of Language... -
Situation Theory and its Applications: Volume 3 by Peter Aczel 9781881526094
RRP: £52.00Booksplease Price: £51.35Situation theory is the result of an interdisciplinary effort to create a full-fledged theory of information. Created by scholars and scientists from cognitive science, computer science and AI,... -
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990 by Peter Aczel 9780521414135
RRP: £114.00Booksplease Price: £110.45The lecture courses in this work are derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory held at Leeds University. The contributions come from acknowledged experts and... -
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990 by Peter Aczel 9780521054164
RRP: £38.00Booksplease Price: £37.44The lecture courses in this work are derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory held at Leeds University. The contributions come from acknowledged experts and... -
Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers by Herman Geuvers 9783540140313
Booksplease Price: £46.28These proceedings contain a refereed selection of papers presented at the Second Annual Workshop of the Types Working Group (Computer-Assisted Reasoning based on Type Theory, EUIST project 29001),...