Proof theory and computer programming : the logical foundations of computing

Bibliographic Details
Main Author:	de Queiroz, Ruy Jose Guerra Barretto
Published:	Imperial College London 1990
Subjects:	004
Online Access:	https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.718002

Similar Items