first record | previous record | next record | last record
full |
marc
Record 1 of 1
Total Requests 0 Unsatisfied Requests 0
You searched Library Catalogue - Publisher: REAd Resources,
Title
Proof theory [e-book] : a selection of papers from the Leeds Proof Theory Programme 1990 / Peter Aczel, Harold Simmons and Stanley S. Wainer
Publisher/Year
Cambridge : Cambridge University Press, 1993
Physical Description
1 online resource (320 p.) : digital, PDF file(s)
Subject
Proof theory
Digital Object Identifier
View e-book here
Extended Info
Summary
Table of Contents
Barnes & Noble
Advanced search
Tips
Words:
Search type:
Anywhere
Author
Title
Subject
ISBN
AND
OR
NOT
Anywhere
Author
Title
Subject
ISBN
AND
OR
NOT
Anywhere
Author
Title
Subject
ISBN
Database:
Library Catalogue
Location Filter:
All Libraries
WOU Main Library
RC Ipoh Library
RC Johor Bahru Library
RC Kuala Lumpur Library
RC Kuching Library
DISTED Main Library
DISTED Hospitality Library