A typed logic of partial functions reconstructed classically / C.B. Jones and C.A. Middelburg
mainEntity
A typed logic of partial functions reconstructed classically / C.B. Jones and C.A. Middelburg
about
author
contributor
inLanguage
isbn
9039303169
mainEntityOfPage
name
A typed logic of partial functions reconstructed classically
numberOfPages
publication
sameAs
label
A typed logic of partial funct ...... C.B. Jones and C.A. Middelburg