undergraduate thesis
The Proof of the Consistency Theorem in Natural Deduction System and in the Axiomatic System

Dora Kunović (2017)
University of Rijeka
Faculty of Humanities and Social Sciences
Department of Philosophy
Cite this document

Kunović, D. (2017). Dokaz meta-teorema adekvatnosti za logiku sudova u sustavu prirodne dedukcije i u računu sudova (Undergraduate thesis). Retrieved from https://urn.nsk.hr/urn:nbn:hr:186:449855

Kunović, Dora. "Dokaz meta-teorema adekvatnosti za logiku sudova u sustavu prirodne dedukcije i u računu sudova." Undergraduate thesis, University of Rijeka, Faculty of Humanities and Social Sciences, 2017. https://urn.nsk.hr/urn:nbn:hr:186:449855

Kunović, Dora. "Dokaz meta-teorema adekvatnosti za logiku sudova u sustavu prirodne dedukcije i u računu sudova." Undergraduate thesis, University of Rijeka, Faculty of Humanities and Social Sciences, 2017. https://urn.nsk.hr/urn:nbn:hr:186:449855

Kunović, D. (2017). 'Dokaz meta-teorema adekvatnosti za logiku sudova u sustavu prirodne dedukcije i u računu sudova', Undergraduate thesis, University of Rijeka, Faculty of Humanities and Social Sciences, accessed 14 October 2019, https://urn.nsk.hr/urn:nbn:hr:186:449855

Kunović D. Dokaz meta-teorema adekvatnosti za logiku sudova u sustavu prirodne dedukcije i u računu sudova [Undergraduate thesis]. Rijeka: University of Rijeka, Faculty of Humanities and Social Sciences; 2017 [cited 2019 October 14] Available at: https://urn.nsk.hr/urn:nbn:hr:186:449855

D. Kunović, "Dokaz meta-teorema adekvatnosti za logiku sudova u sustavu prirodne dedukcije i u računu sudova", Undergraduate thesis, University of Rijeka, Faculty of Humanities and Social Sciences, Rijeka, 2017. Available at: https://urn.nsk.hr/urn:nbn:hr:186:449855