Welkom op Boeklezers.nl
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 »
Boeken
Reductive Logic Proof-searc Olg 45 C
This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, including proof... »
This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, including proof... »
Ideeënbus
