Advanced Search  

Proof and Definition in Logic and Type Theory Proof and Definition in Logic and Type Theory  
Summary: Proof and Definition in Logic and Type Theory 

Source: Adams, Robin  Department of Computer Science, Royal Holloway, University of London 

Collections: Computer Technologies and Information Sciences 