Pure second-order logic

DOI10.1305/NDJFL/1093636099zbMath0760.03001OpenAlexW2014820915MaRDI QIDQ1203783

Nicholas Denyer

Publication date: 22 February 1993

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093636099

zbMATH Keywords

semantic consequencelogical truthpure second-order functional calculuspure second-order predicate calculus

Mathematics Subject Classification ID

Related Items (2)

Unnamed Item ⋮ Unnamed Item

This page was built for publication: Pure second-order logic