catalog
check nearby libraries
WorldCat
Reasoning in simple type theory
2008
festschrift in honour of Peter B. Andrews on this 70th birthday
by
Christoph Benzmüller
No description found.
1 edition at
OpenLibrary
top conversations
more
Loading...