Studies in the methods of completeness proof for propositional logic

dc.contributor.guide	Das, Ramesh Chandra
dc.coverage.spatial	Philosophy
dc.creator.researcher	Jena, Jaydeb
dc.date.accessioned	2019-01-30T04:43:49Z
dc.date.available	2019-01-30T04:43:49Z
dc.date.awarded	n.d.
dc.date.completed	2008
dc.date.registered	n.d.
dc.description.abstract	Abstract not available
dc.description.note	Data not available
dc.format.accompanyingmaterial	None
dc.format.dimensions	30cm.
dc.format.extent	x, 148p.
dc.identifier.uri	http://hdl.handle.net/10603/227620
dc.language	English
dc.publisher.institution	Department of Philosophy
dc.publisher.place	Bhubaneshwar
dc.publisher.university	Utkal University
dc.relation	Reference available at chapters
dc.rights	university
dc.source.university	University
dc.subject.keyword	PropositionalLogic
dc.subject.keyword	SystemConstruction
dc.subject.keyword	TreeMethod
dc.title	Studies in the methods of completeness proof for propositional logic
dc.title.alternative
dc.type.degree	Ph.D.