Introduction to Pylog
From MaRDI portal
Publication:6432097
arXiv2304.02074MaRDI QIDQ6432097
Publication date: 4 April 2023
Structure of proofs (03F07) Proof theory in general (including proof-theoretic semantics) (03F03) Intuitionistic mathematics (03F55) Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04)
This page was built for publication: Introduction to Pylog
