Advances in Petri Nets 1990
Grzegorz Rozenberg
₹5,636
Metamathematics, Machines and Gödel's Proof by Natarajan Shankar
by Natarajan Shankar, N. Shankar, C. J. Van Rijsbergen
Cambridge University Press · 1997 · Paperback
₹5,568
Free delivery. Nothing extra to pay at checkout.
Same Day ShippingIn 3–5 days
15-Day ReturnEasy returns
Genuine BookPhysical copy only
Available Offers
- 🏷️Use code GIG9, pay ₹5,068 — save ₹500 (up to ₹500 off per order)
- 💵Cash on Delivery — pay when the parcel reaches you
About this book
Metamathematics, Machines and Gödel's Proof by Natarajan Shankar by Natarajan Shankar, N.
Topics covered include Goedel's theorem, Computer science, Automatic theorem proving and Mathematical logic.
Book details
- ISBN-13
- 9780521585330
- ISBN-10
- 0521585333
- Authors
- Natarajan Shankar, N. Shankar, C. J. Van Rijsbergen
- Publisher
- Cambridge University Press
- Published
- 1997
- Edition
- Reprint
- Binding
- Paperback
- Language
- English
- Condition
- New
- Subject
- Mathematical theory of computation
More in Mathematical theory of computation
Data Visualization 2001
Joint EUROGRAPHICS and IEEE TCVG Symposium on Visualization (3rd 2001 Ascona, Switzerland).
₹4,251
Distributed Algorithms
Jan Van Leeuwen, Nicola Santoro
₹5,595
Applications of Invariance in Computer Vision
Joseph L. Mundy, Andrew Zisserman, David Forsyth
₹5,642
Recent Trends in Data Type Specification
Magne Haveraaen, Olaf Owe, Ole-Johan Dahl
₹5,658
Openmp Shared Memory Parallel Programming
Rudolf Eigenmann, Michael J. Voss
₹5,471
Theoretical Computer Science
Antonio Restivo, Simona Ronchi Della Rocca, Luca Roversi
₹5,759
Free Choice Petri Nets
Jorg Desel, Javier Esparza, C. J. Van Rijsbergen
₹4,827
Coding Theory
San Ling, Chaoping Xing
₹4,347
Automatic Sequences
Jean-Paul Allouche, Jeffrey Shallit
₹4,291
Numerical Recipes 3rd Edition
Brian P. Flannery, William T. Vetterling, Saul A. Teukolsky, William H. Press
₹7,196
Algorithms and Computation
Tetsuo Asano, Yoshihide Igarashi, Hiroshi Nagamochi
₹5,606
