A formalization of the propositional calculus of H-B logic
Year: 1974
Type: article
Source: Studia Logica
DOI: 10.1007/bf02120864
Author: Cecylia Rauszer
Institution: University of Warsaw
Language: English
Topic: Advanced Algebra and Logic
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W2044300637