Please use this identifier to cite or link to this item: http://hdl.handle.net/10603/227620
Title: Studies in the methods of completeness proof for propositional logic
Researcher: Jena, Jaydeb
Guide(s): Das, Ramesh Chandra
Keywords: PropositionalLogic
SystemConstruction
TreeMethod
University: Utkal University
Completed Date: 2008
Abstract: Abstract not available
Pagination: x, 148p.
URI: http://hdl.handle.net/10603/227620
Appears in Departments:Department of Philosophy

Files in This Item:
File Description SizeFormat 
01_title page.pdfAttached File20.22 kBAdobe PDFView/Open
02_certificate.pdf51.78 kBAdobe PDFView/Open
03_declaration.pdf22.62 kBAdobe PDFView/Open
04_preface.pdf195.72 kBAdobe PDFView/Open
05_content.pdf14.44 kBAdobe PDFView/Open
06_introduction.pdf884.89 kBAdobe PDFView/Open
07_chapter 1.pdf563.46 kBAdobe PDFView/Open
08_chapter 2.pdf660.1 kBAdobe PDFView/Open
09_chapter 3.pdf327.66 kBAdobe PDFView/Open
10_chapter 4.pdf364.08 kBAdobe PDFView/Open
11_chapter 5.pdf442.99 kBAdobe PDFView/Open
12_chapter 6.pdf293.76 kBAdobe PDFView/Open
13_chapter 7.pdf672.71 kBAdobe PDFView/Open
14_chapter 8.pdf147.23 kBAdobe PDFView/Open
15_bibliography.pdf189.17 kBAdobe PDFView/Open
Show full item record


Items in Shodhganga are licensed under Creative Commons Licence Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0).

Altmetric Badge: