Boeklezers.nl is een netwerk voor sociaal lezen. Wij helpen lezers nieuwe boeken en schrijvers ontdekken, en brengen lezers met elkaar en schrijvers in contact. Meer lezen »
Han Logic Comp Sci Vol 5 Hlcs C This volume of the computer science series covers all major areas of application of logic to theoretical computer science. Topics include Martin-Loef's Type ... »