Inductive logic on an intuitionistic Basic

Bibliographic Details
Main Author: Prys, Williams A. G.
Published: University of Oxford 1978
Subjects:
Online Access:http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.469588
id ndltd-bl.uk-oai-ethos.bl.uk-469588
record_format oai_dc
spelling ndltd-bl.uk-oai-ethos.bl.uk-4695882017-10-04T03:37:30ZInductive logic on an intuitionistic BasicPrys, Williams A. G.1978005.13University of Oxfordhttp://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.469588Electronic Thesis or Dissertation
collection NDLTD
sources NDLTD
topic 005.13
spellingShingle 005.13
Prys, Williams A. G.
Inductive logic on an intuitionistic Basic
author Prys, Williams A. G.
author_facet Prys, Williams A. G.
author_sort Prys, Williams A. G.
title Inductive logic on an intuitionistic Basic
title_short Inductive logic on an intuitionistic Basic
title_full Inductive logic on an intuitionistic Basic
title_fullStr Inductive logic on an intuitionistic Basic
title_full_unstemmed Inductive logic on an intuitionistic Basic
title_sort inductive logic on an intuitionistic basic
publisher University of Oxford
publishDate 1978
url http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.469588
work_keys_str_mv AT pryswilliamsag inductivelogiconanintuitionisticbasic
_version_ 1718545027006726144