Symlog

swMATH32623MaRDI QIDQ44334

No author found.

Described by source

• Symlog automated advice in Fitch-style proof construction

Related Items (2)

Human rationality challenges universal logic ⋮ Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis

This page was built for software: Symlog