Loading...
- Type of Document: Ph.D. Dissertation
- Language: Farsi
- Document No: 41352 (02)
- University: Sharif University of Technology
- Department: Mathematical Science
- Advisor(s): Ardeshir, Mohammad
- Keywords:
- Soundness Theorem ; Completeness ; Deontic Logic ; Jurisprudence ; Islamic Jurisprudence Principals ; Dynamic Logic
-
محتواي پايان نامه
- view