Documents
Authors
Tables
Other Seers ▼
RefSeer
AckSeer
CollabSeer
SeerSeer
Log in
Sign up
MetaCart
Documents:
Advanced Search
Include Citations
Authors:
Advanced Search
Include Citations |
Disambiguate
Tables:
Logic for Computer Science. Harper and Row (1986)
by Jean H Gallier
Venue:
Logic And Computer Science
Add To MetaCart
Tools
Sorted by:
Citation Count
Year (Descending)
Year (Ascending)
Recency
Results
1 - 1
of
1
Constructive Logics. Part I: A Tutorial on Proof Systems and Typed λ-Calculi
by Jean Gallier
, 1992
"... ..."
Abstract
-
Cited by 52 (1 self)
-
Add to MetaCart
Abstract not found