Notre Dame Journal of Formal Logic

Zur semantischen Begründung der klassischen und der intuitionistischen Logik.

Franz von Kutschera

Full-text: Open access

Article information

Source
Notre Dame J. Formal Logic Volume 7, Number 1 (1966), 20-47.

Dates
First available in Project Euclid: 31 August 2004

Permanent link to this document
http://projecteuclid.org/euclid.ndjfl/1093958478

Zentralblatt MATH identifier
0166.25703

Mathematical Reviews number (MathSciNet)
MR0213224

Digital Object Identifier
doi:10.1305/ndjfl/1093958478

Subjects
Primary: 02.16

Citation

von Kutschera, Franz. Zur semantischen Begründung der klassischen und der intuitionistischen Logik. Notre Dame Journal of Formal Logic 7 (1966), no. 1, 20--47. doi:10.1305/ndjfl/1093958478. http://projecteuclid.org/euclid.ndjfl/1093958478.


Export citation