1.
Logic and Computational Complexity International Workshop Lcc '94, Indianapolis, In, Usa, Oc...
by Leivant, Daniel, Goos, G., ...
ISBN: 9783540601784
List Price: $97.00
2.
Absoluteness of intuitionistic logic (Mathematical Centre tracts ; 73)
by Daniel Maurice Raphael Leivant
ISBN: 9789061961222