The Life and Work of Leon Henkin
María Manzano, Ildikó Sain, Enrique Alonso
₹3,739
Extensions of First-Order Logic
by Maria Manzano, C. J. Van Rijsbergen, Samson Abramsky
Cambridge University Press · 2005 · Paperback
₹4,297
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–5 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns.
- Express shipping. Same-day dispatch (Monday to Saturday), delivered all over India in 3–5 days.
Offer
Use code GIG9 at checkout and pay ₹3,910 for this book (save ₹387).
9% off every book, up to ₹500 off per order.
About this book
Extensions of First-Order Logic is written by Maria Manzano, C. J. Van Rijsbergen & others.
Its main subjects are First-order logic, Mathematical logic, Logic and Computers.
Book details
- ISBN-13
- 9780521019026
- ISBN-10
- 0521019028
- Authors
- Maria Manzano, C. J. Van Rijsbergen, Samson Abramsky
- Publisher
- Cambridge University Press
- Published
- 2005
- Edition
- New Ed edition
- Binding
- Paperback
- Pages
- 410
- Language
- English
- Condition
- New
- Subject
- Logic design
More by Maria Manzano and related titles
Model Theory
Maria Manzano
₹23,852
Category Theory and Computer Programming
David Pitt, Samson Abramsky, Axel Poigne
₹5,639
Component-Based Software Engineering
Ivica Crnkovic, Judith A. Stafford, Heinz W. Schmidt
₹5,551
Theoretische Informatik
Klaus W. Wagner
₹2,155
Analogical and Inductive Inference
Klaus P. Jantke
₹5,549
Model-Based Safety and Assessment
Frank Ortmeier, Antoine Rauzy
₹3,438
Software Engineering - Esec/Fse '99
Oskar Nierstrasz, Michel Lemoine
₹5,647
Fudamentals of Digital Logic with VHDL Design
Stephen Brown, Zvonko Vranesic
₹3,115
Functional and Constraint Logic Programming
Santiago Escobar
₹5,537
Advanced Digital Design with the Verilog Hdl
Michael Ciletti
₹5,206
Theorem Proving in Higher Order Logics
TPHOLs '98 (1998 Canberra, A.C.T.)
₹4,307