Studies in logic and the foundations of mathematics,

書目資訊

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