Studies in logic and the foundations of mathematics,

書目資訊

algebraic approach to non-classical ...
residuated lattices :
generalized recursion theory
quantification in nonclassical logic /
 
 
Change password
Login