Logic in the writings of Brouwer and Heyting
type: ProductModel
type: CreativeWork
type: Book
issued: 1983
about: p075627590
author: p075418355
author: p068668724
book edition: Preprint
language: en
is part of: p841253242
main entity of page: https://data.bibliotheken.nl/.well-known/genid/ce428a6e8809e3dc1d5738e734b97de1
number of pages: 19
label: Logic in the writings of Brouwer and Heyting / by A.S. Troelstra