Skip to main content
Makerere University Libraries
Your cart is empty.
Cart
Lists
Your lists
Log in to create your own lists
Log in to your account
Your cookies
Search history
UNIVERSITY LIBRARY
CATALOGUE
Search the catalog by:
Library catalog
Title
Author
Subject
ISBN
ISSN
Series
Call number
Search the catalog by keyword
All libraries
ACM Library - Archives
ACM Library - Audio Visual Collection
ACM Library - Book bank
ACM Library - CDs
ACM Library - Closed Access
ACM Library - Open stacks
ACM Library - Periodicals
ACM Library - Reference
ACM Library - Reserve
Adult and Continuing Education (IACE) Library
Albert Cook Medical Library - ACM
Child Health and Development Centre (CHDC) Library
CHS - Department of Epidemiology Book Bank - BB.EPID
CHUSS - History Department
CHUSS - Mass Communication Book Bank
CHUSS- Arts Library
CHUSS- Psychology Library
CHUSS- Women and Gender Studies Library
College of Agricultural and Environmental Sciences - CAES
College of Computing and Information Science - COCIS
College of Education - Book Bank
College of Education and External Studies Library - CEES
College of Education and External Studies Library - Closed Access
College of Education and External Studies Library - Open Stacks
College of Education and External Studies Library - Periodicals
College of Education and External Studies Library - Reference
College of Education and External Studies Library - Reserve
College of Education and External Studies Library Book bank
College of Education and External Studies Library- Bindery
College of Health Sciences - CHS
College of Natural Sciences - Periodicals
College of Natural Sciences Library- CONAS
Department of Environmental Management -DEM
Department of Music, Dance and Drama - MDD
EASLIS Library
EASLIS Library - Closed Access
EASLIS Library - Open Stacks
EASLIS Library - Periodicals
EASLIS Library - Reference
EASLIS Library - Reserve
EASLIS Library Book bank
F.LAW- Law, Gender and Sexuality Resource Center
Faculty of Agriculture - Book Bank
Faculty of Economics and Management Book Bank - FEMA
Faculty of Law - Book Bank
Faculty of Law Library- F.LAW
Faculty of Science-Book Bank
Faculty of Social Sciences - Women and Gender Resource Center
Faculty of Social Sciences - Open Shelves
Faculty of Social Sciences Library- Book Bank
Faculty of Social Sciences Library- FSS
Faculty of Technology - Book Bank
Faculty of Veterinary Medicine - Book Bank
IACE Library - Audio Visuals
IACE Library - Book bank
IACE Library - Closed access
IACE Library - Open stacks
IACE Library - Periodicals
IACE Library - Reference
IACE Library - Reserve
Institute of Adult and Continuing Education - Book Bank
Institute of Statistics and Applied Economics Book Bank
Jinja Campus
Main Library - IDA Extension
Main Library - Africana
Main Library - Bindery
Main Library - Book bank
Main Library - IDA
Main Library - Law Section
Main Library - Open Shelves
Main Library - Periodicals
Main Library - Reference
Main Library - Technical Section
Makerere Faculty Book Bank
Makerere Inst of Social Research - MISR
Makerere Main Library - ML
Makerere University Agricultural Research Institute Library at Kabanyolo -MUARIK
Makerere University Biological Field Station - MUBFS
Medical School- Book Bank
MISR Library - Archives
MISR Library - Closed Access
MISR Library - Decentralization Unit
MISR Library - Open Shelves
MISR Library - Periodicals
MISR Library - Reserve
MISR Library - Rigby Collection
MISR Library Book bank
MUARIK Library - Book Bank
MUARIK Library - Closed Access
MUARIK Library - Periodicals
MUARIK Library - Reference
MUARIK Library - Reserve
MUARIK Library- Open Shelves
Pharmacy Department
Public Interest Law and Clinic-PILAC
School of Fine Art- Book Bank
School of Food Technology, Nutrition and Bioengineering
School of Forestry, Environmental and Geographical Sciences
VET Library - Book Bank
VET Library - Closed Access
VET Library - Open Shelves
VET Library - Periodicals
VET Library - Reference
VET Library - Reserve
Veterinary Library - VET
Advanced search
Authority search
Tag cloud
Libraries
Log in to your account
Card number:
Password:
Forgot your password?
Home
Advanced search
Results of search for 'au:"Ungar, A. M."'
Refine your search
Availability
Limit to records with available items
Authors
Ungar, A. M.
Holding libraries
Main Library - Open Shelves
Item types
Books - Open Access
Series
CSLI Lectre notes
Topics
Proof theory
Your search returned 2 results.
Sort
Sort by:
Relevance
Popularity (most to least)
Popularity (least to most)
Author (A-Z)
Author (Z-A)
Call number (0-9 to A-Z)
Call number (Z-A to 9-0)
Publication/Copyright date: Newest to oldest
Publication/Copyright date: Oldest to newest
Acquisition date: Newest to oldest
Acquisition date: Oldest to newest
Title (A-Z)
Title (Z-A)
Unhighlight
Highlight
Select all
Clear all
Select titles to:
Add to cart
Add to list
New list
Place hold
Results
1.
Image from Amazon.com
Normalisation, cut-elimination and theory of proofs /
A. M. Unga r.
by
Ungar, A. M
Series:
CSLI Lectre notes
; no. 28
Material type:
Text
; Format:
print
; Literary form:
Not fiction
Publication details:
Stanford :
California ,
1992
Availability:
Items available for loan:
Main Library - Open Shelves
(1).
Place hold
Save to lists
Add to cart
(remove)
2.
Image from Amazon.com
Normalisation, cut-elimination and theory of proofs /
A. M. Unga r.
by
Ungar, A. M
Series:
CSLI Lectre notes
; no. 28
Material type:
Text
; Format:
print
; Literary form:
Not fiction
Publication details:
Stanford :
California ,
1992
Availability:
No items available.
Save to lists
Add to cart
(remove)