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

id	ndltd-bl.uk-oai-ethos.bl.uk-718002
record_format	oai_dc
spelling	ndltd-bl.uk-oai-ethos.bl.uk-7180022019-03-05T15:31:10ZProof theory and computer programming : the logical foundations of computingde Queiroz, Ruy Jose Guerra Barretto1990004Imperial College Londonhttps://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.718002http://hdl.handle.net/10044/1/46514Electronic Thesis or Dissertation
collection	NDLTD
sources	NDLTD
topic	004
spellingShingle	004 de Queiroz, Ruy Jose Guerra Barretto Proof theory and computer programming : the logical foundations of computing
author	de Queiroz, Ruy Jose Guerra Barretto
author_facet	de Queiroz, Ruy Jose Guerra Barretto
author_sort	de Queiroz, Ruy Jose Guerra Barretto
title	Proof theory and computer programming : the logical foundations of computing
title_short	Proof theory and computer programming : the logical foundations of computing
title_full	Proof theory and computer programming : the logical foundations of computing
title_fullStr	Proof theory and computer programming : the logical foundations of computing
title_full_unstemmed	Proof theory and computer programming : the logical foundations of computing
title_sort	proof theory and computer programming : the logical foundations of computing
publisher	Imperial College London
publishDate	1990
url	https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.718002
work_keys_str_mv	AT dequeirozruyjoseguerrabarretto prooftheoryandcomputerprogrammingthelogicalfoundationsofcomputing
_version_	1718993337856294912

Similar Items