Interpretations over Heyting's arithmetic / A. Visser
mainEntity
Interpretations over Heyting's arithmetic / A. Visser
about
author
contributor
inLanguage
isbn
9039308705
mainEntityOfPage
name
Interpretations over Heyting's arithmetic
numberOfPages
publication
sameAs
label
Interpretations over Heyting's arithmetic / A. Visser