The fundamental S-theorem - A corollary
From MaRDI portal
Publication:793001
DOI10.1305/NDJFL/1093870453zbMath0538.03017OpenAlexW2036426421MaRDI QIDQ793001
Robert Dwyer, Errol P. Martin, Robert K. Meyer
Publication date: 1983
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093870453
Related Items (1)
This page was built for publication: The fundamental S-theorem - A corollary