scientific article; zbMATH DE number 3386929
From MaRDI portal
Publication:5656408
zbMATH Open0244.68042MaRDI QIDQ5656408FDOQ5656408
Authors: Christian Fenske 
Publication date: 1967
Title of this publication is not available (Why is that?)
Classical first-order logic (03B10) Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04)
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 Q5656408)
