Logica voor informatica / J.F.A.K. van Benthem, H.P. van Ditmarsch, J.S. Lodder ; [m.m.v.] J. Ketting, W.P.M. Meyer-Viol
mainEntity
Logica voor informatica / J.F.A.K. van Benthem, H.P. van Ditmarsch, J.S. Lodder ; [m.m.v.] J. Ketting, W.P.M. Meyer-Viol
associatedMedia
<http://webdoc.ubn.ru.nl/enrichments/90-430-0722-6.htm>
author
bookEdition
3e [herz. en aangepaste] ed
contributor
description
Oorspr. titel: Logica voor informatici. - Amsterdam [etc.] : Addison-Wesley, 1991
inLanguage
isbn
9043007226
mainEntityOfPage
name
Logica voor informatica
numberOfPages
publication
sameAs
label
Logica voor informatica / J.F. ...... J. Ketting, W.P.M. Meyer-Viol