A note on existential instantiation

DOI10.2307/2271245zbMath0155.33803OpenAlexW2101920490MaRDI QIDQ5536621

Dag Prawitz

Publication date: 1967

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2271245

zbMATH Keywords

mathematical logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (1)

Inversion Principles and Introduction Rules

Cites Work

• Unnamed Item
• A logical system based on rules and its application in teaching mathematical logic

This page was built for publication: A note on existential instantiation