A probabilistic machine for the estimation of provability in the first order predicate calculus

DOI10.1002/MALQ.19690151902zbMATH Open0216.28202OpenAlexW2131313789MaRDI QIDQ5619787FDOQ5619787

Authors: S. C. van Westrhenen 

Publication date: 1969

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19690151902

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Classical first-order logic (03B10)

Cited In (1)

• Title not available (Why is that?)

This page was built for publication: A probabilistic machine for the estimation of provability in the first order predicate calculus

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