A Note on Formalisation by the Method of Description of Truth-Tables
From MaRDI portal
Publication:4174673
DOI10.1002/MALQ.19780240703zbMATH Open0393.03004OpenAlexW1963513916MaRDI QIDQ4174673FDOQ4174673
Authors: Alan Rose 
Publication date: 1978
Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19780240703
This page was built for publication: A Note on Formalisation by the Method of Description of Truth-Tables
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4174673)
