first record | previous record | next record | last record
full | marc
Record 1 of 1
  Total Requests  0      Unsatisfied Requests  0
You searched Library Catalogue - Author: Open University of Hong Kong
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
 Cover image of this book





Advanced searchTips
 Words: Search type:
 
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