scientific article; zbMATH DE number 3322079

zbMATH Open0203.00902MaRDI QIDQ5601463FDOQ5601463

Authors: J. J. F. Nieland 

Publication date: 1967

Title of this publication is not available (Why is that?)

zbMATH Keywords

classical positive implication logicpositive implication logictableau-method

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cited In (2)

• A Seligman-Style Tableau System
• Title not available (Why is that?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5601463)