Beth's tableau-method

DOI10.1007/BF00873573zbMath0158.24503OpenAlexW4229760394MaRDI QIDQ2527819

J. J. F. Nieland

Publication date: 1966

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00873573

zbMATH Keywords

mathematical logic

Cites Work

• Unnamed Item
• The foundations of mathematics. A study in the philosophy of science

This page was built for publication: Beth's tableau-method