![]() |
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
|
Your cart is empty |
||
Showing 1 - 2 of 2 matches in All Departments
The lecture courses in this work are derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory held at Leeds University. The contributions come from acknowledged experts and comprise expository and research articles; put together in this book they form an invaluable introduction to proof theory that is aimed at both mathematicians and computer scientists.
This work is derived from the SERC "Logic for IT" Summer School Conference on Proof Theory held at Leeds University. The contributions come from acknowledged experts and comprise expository and research articles which form an invaluable introduction to proof theory aimed at both mathematicians and computer scientists.
|
You may like...
SMIL 3.0 - Flexible Multimedia for Web…
Dick C. a. Bulterman, Lloyd W. Rutledge
Hardcover
R1,493
Discovery Miles 14 930
Handbook of Power Systems II
Steffen Rebennack, Panos M. Pardalos, …
Hardcover
R4,097
Discovery Miles 40 970
|