internetboekhandel.nl
buttons Home pagina Kassa pagina, Winkelwagentje Contact info Email ons
leeg Home pagina Kassa pagina, Winkelwagentje Contact info Email ons Home pagina Rijks
Boekenweek
Rijks Home pagina Home pagina Kassa pagina, Winkelwagentje Contact info Email ons Besteller 60
 
Nederlands Buitenlands   Alles  Titel  Auteur  ISBN        
Exacte wetenschappen
Exacte wetenschappen/natuurwetenschappen algemeen

Middlesex University) Bornat Richard (School of Computing Science

Proof and Disproof in Formal Logic

An Introduction for programmers

€ 99.00


Introducing formal logic, this book provides insight into how a simple logic works. It concentrates on using logic as a tool, and is divided in to four parts. Aimed at undergraduates and graduates in computer science, logic, mathematics, and philosophy, this text includes reference to and exercises based on the computer software package Jape.



Taal / Language : English

Extra informatie: 
Paperback / softback
264 pagina's
Januari 2005
Oxford University Press us


Langere levertijd