Title

Minimal Complete Propositional Natural Deduction Systems

Author's Department

Mathematics & Actuarial Science Department

Find in your Library

http://www.worldcat.org/oclc/1188438189

All Authors

Amr Elnashar; Wafik Boulos Lotfallah

Document Type

Research Article

Publication Title

Journal of Philosophical Logic

Publication Date

10-1-2018

doi

https://doi.org/10.1007/s10992-017-9450-1

First Page

803

Last Page

815

This document is currently not available here.

Share

COinS