Matches in SemOpenAlex for { <https://semopenalex.org/location/W19876458211> ?p ?o ?g. }
Showing items 1 to 6 of
6
with 100 items per page.
- W19876458211 hasURL "https://doi.org/10.1305/ndjfl/1093891803" @default.
- W19876458211 type Location @default.
- W19876458211 hasSource S78544662 @default.
- W19876458211 hasVersion "publishedVersion" @default.
- W19876458211 isOa "true" @default.
- W19876458211 pdfUrl "https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-16/issue-3/A-Henkin-style-completeness-proof-for-the-pure-implicational-calculus/10.1305/ndjfl/1093891803.pdf" @default.