Classical logic and computation

Bibliographic Details
Main Author: Urban, Christian
Published: University of Cambridge 2000
Online Access:http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.621950
id ndltd-bl.uk-oai-ethos.bl.uk-621950
record_format oai_dc
spelling ndltd-bl.uk-oai-ethos.bl.uk-6219502015-03-20T06:03:44ZClassical logic and computationUrban, Christian2000University of Cambridgehttp://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.621950Electronic Thesis or Dissertation
collection NDLTD
sources NDLTD
author Urban, Christian
spellingShingle Urban, Christian
Classical logic and computation
author_facet Urban, Christian
author_sort Urban, Christian
title Classical logic and computation
title_short Classical logic and computation
title_full Classical logic and computation
title_fullStr Classical logic and computation
title_full_unstemmed Classical logic and computation
title_sort classical logic and computation
publisher University of Cambridge
publishDate 2000
url http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.621950
work_keys_str_mv AT urbanchristian classicallogicandcomputation
_version_ 1716795916726304768