Wireless Lan Communications
IBM Redbooks
₹2,989
Proof-Theoretical Coherence
by Kosta Dosen, Zoran Petric
College Publications · 2004 · Paperback
₹2,643
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Proof-Theoretical Coherence by Kosta Dosen & Zoran Petric is a 392-page paperback edition published by College Publications in 2004.
The book deals with Categories (Mathematics), Proof theory, Mathematical logic and Computers.
Book details
- ISBN-13
- 9781904987062
- ISBN-10
- 1904987060
- Authors
- Kosta Dosen, Zoran Petric
- Publisher
- College Publications
- Published
- 2004
- Binding
- Paperback
- Pages
- 392
- Language
- English
- Condition
- New
- Subject
- Computer Books: General
More in Computer Books: General
Regression Using JMP
Ramon C. Littell, Lee Creighton, Rudolf J. Freund
₹3,453
Integer Programming and Combinatorial Optimization
Michael Jünger
₹5,270
Database and XML Technologies
Zohra Bellahsène, Akmal B. Chaudhri, Erhard Rahm
₹5,521
New Approaches in Software Measurement
Reiner Dumke, Alain Abran
₹5,502
Microproc Fundmntl Motorala
Gibson
₹3,353
Performance Evaluation and Benchmarking
Lizy Kurian John
₹16,099
Visual Basic and COM+ Programming by Example
Peishu Li
₹3,953
Forth Programmer's Handbook
Edward K. Conklin, Elizabeth D. Rather
₹2,945
Relational and Kleene-Algebraic Methods in Computer Science
R. Berghammer, Bernhard Möller, Georg Struth
₹5,534
Managing IT Professionals in the Internet Age
Pak Yoong, Sid Huff
₹4,767
Inductive Logic Programming – From Machine Learning to Software Engineering
Daniele Gunetti, Francesco Bergadano
₹3,351