Filters
- Cambridge University Press
- 17 Books Ltd
- 17 Books Publishing
- 3ichael 7ambert
- A K Peters
- A K PETERS
- AB Publisher LLC
- Abdul Ahad Ansari
- Abfurtado.Com.Br
- Ablex Publishing Corporation
- Academic Press
- Academiques
- ACM
- ACM Books
- Addison-Wesley Professional
- Agencia Brasileira Do ISBN
- ALA Editions
- Alan Grid
- Alaric Hemingway
- Algorithms
- Amazon Digital Services LLC - Kdp
- Ambra Verlag
- American Mathematical Society
- Anchor Academic Publishing
- Andrews UK Limited
- Anson Street Press
- Apress
- Archer Paul
- Arcler Press
- Arcturus Editions
- Artech House Publishers
- Arthur M. Doweyko
- Association for Computing Machinery
- Athabasca University Press
- Atlantic Publishers & Distributors (P) Ltd
- Auerbach Publications
- Authorhouse
- Azhar Sario Dubai
- Basic Books
- Bellwether Media Inc.
- Bentham Science Publishers
- Biblioscholar
- Birkhauser
- Bloomsbury Academic
- Bloomsbury Education
- Bob Mather
- Bod - Books on Demand
- Bookbaby
- BookLife Publishing
- Books on Demand
- Booksurge Publishing
- Bosko Books
- BPB Publications
- Bpb Publications
- Bradford Book
- Broquard eBooks
- Business Science Reference
- Butterworth-Heinemann
- C Hurst & Co Publishers Ltd
- C. Press/F. Watts Trade
- CABI
- Cambridge UP
- Capstone
- Careercup
- Carl Keyness
- Cayenne Canyon Press
- CBS Publishers & Distributors Pvt. Ltd.
- Cengage Learning India
- Cengage Learning, Inc
- Center for the Study of Language and Informat
- Charles M Dominquez
- Checkerboard Library
- Christian Colossus
- Clanrye International
- Code Energy
- Codemonkey Do
- Cody Koala
- Cognella Academic Publishing
- Coherent Press
- College Publications
- Columbia University Press
- Cornell University Press
- Coronat Services, LLC
- Course Technology
- Crabtree Classics
- CRC Press
- Createspace
- Createspace Independent Publishing Platform
- Data Science
- Datetree Press
- David Belbeze
- Deutscher Universitatsverlag
- Dg Junior
- Diplom.de
- Diplomica Verlag
- Disserta Verlag
- Dissertation Discovery Company
- Dissertation.com
- DK Publishing (Dorling Kindersley)
- Docent Press
- Cambridge University Press
- 17 Books Ltd
- 17 Books Publishing
- 3ichael 7ambert
- A K PETERS
- A K Peters/CRC Press
- AB Publisher LLC
- Abdul Ahad Ansari
- Abfurtado.Com.Br
- Ablex Publishing Corporation
- Acad Pr
- Academic Press
- Academiques
- ACM
- ACM Books
- Addison-Wesley Professional
- AddisWesle
- Agencia Brasileira Do ISBN
- ALA Editions
- Alan Grid
- Alaric Hemingway
- Algorithms
- Amazon Digital Services LLC - Kdp
- Ambra Verlag
- American Mathematical Society
- Anchor Academic Publishing
- Andrews UK Limited
- Anson Street Press
- Apple Academic Press
- Apress
- Archer Paul
- Arcler Press
- Arcturus Editions
- Artech House Publishers
- Arthur M. Doweyko
- Association for Computing Machinery
- Athabasca University Press
- Atlantic
- Atlantis Press
- Auerbach P
- Auerbach Publications
- Authorhouse
- Azhar Sario Dubai
- Basic Books
- Bellwether Media Inc.
- Bentham Science Publishers
- Biblioscholar
- Birkhauser
- Birkhauser Basel
- Birkhauser Boston
- Bloomsbury Academic
- Bloomsbury Education
- Bob Mather
- Bod - Books on Demand
- Bookbaby
- BookLife Publishing
- Books on Demand
- Booksurge Publishing
- Bosko Books
- BPB Publications
- Bpb Publications
- Bradford Book
- Broquard eBooks
- Business Science Reference
- Butterworth-Heinemann
- C Hurst & Co Publishers Ltd
- C. Press/F. Watts Trade
- CABI
- Cambridge
- Cambridge UP
- Capstone
- Careercup
- Carl Keyness
- Cayenne Canyon Press
- CBS Publishers & Distributors Pvt. Ltd.
- Cengage Learning India
- Cengage Learning, Inc
- Center for the Study of Language and Informat
- Chapman and Hall/CRC
- Chapman Hall
- Charles M Dominquez
- Checkerboard Library
- Christian Colossus
- Clanrye International
- Code Energy
- Codemonkey Do
- Cody Koala
- Cognella Academic Publishing
- Coherent Press
- College Publications
- Columbia University Press
- Cornell University Press
- Coronat Services, LLC
- Course Technology
- Crabtree Classics
- CRC Press
- CRC/CH
- Createspace
- Createspace Independent Publishing Platform
- DK Publishing (Dorling Kindersley)
- Bio-Science and Agriculture
- Business Management
- Chemistry
- Communication, Mass Media and Journalism
- Computer Science and Information Technology
- Earth-Science/Environment
- Economics
- Education & Psychology
- Engineering
- General Books
- Mathematics and Statistics
- Medical, Nursing and Health Sciences
- Nutrition and Dietetics
- Physics and Astronomy
- Religion and Philosophy
- Tourism, Travel Guide & Hospitality
- Aboul-Ella Hassanien
- Adenir Dos Santos Camargo
- Alexander J. Zaslavski
- Alexander Meduna
- Amara Hawthorn
- Andy Vickler
- Anonymous
- Aristides Bouras
- Booker Blunt
- Brigitte Chauvin
- Carlos A. S. Oliveira
- Carlos Martín-Vide
- Christian Blum
- Christian Maurer
- Cícero Dos Santos Teixeira
- Cliff B. Jones
- Code Well Academy
- Codingtmd
- Computer Programming Academy
- Daniel Zingaro
- Dhanasakkaravarthi B
- Ding-Zhu Du
- Dmitrii Lozovanu
- Donald E. Knuth
- Donald Knuth
- Dr Rahul Sharma
- E. S. Gopi
- El-Ghazali Talbi
- Elian Greystone
- Enrique Alba
- Eric Schmidt
- Erik Cuevas
- Ernst W. Mayr
- Evripidis Bampis
- Fedor V. Fomin
- Flávia Gonçalves Fernandes
- Frank Dehne
- G. Arockia Sahaya Sheela
- Ganesh Talari
- Gianni Pillo
- H. Partsch
- H. S. Saini
- Hans Petter Langtangen
- Henning Fernau
- J. Roger Hindley
- Jagdish Chand Bansal
- Janusz S. Kowalik
- Jared M. Maruskin
- Jay Wengrow
- John A. Trangenstein
- Kenichi Kanatani
- Kesav V. Nori
- Klaus Jansen
- Kurt Mehlhorn
- Larry Jones
- Lars Arge
- László T. Kóczy
- Leo Code
- Leonardo Vanneschi
- Lucien Sina
- Manana Chumburidze
- Manuel Laguna
- Marek Cygan
- Mark Weiss
- Mauricio G. C. Resende
- Maxime Crochemore
- Michael McMillan
- Miguel Farmer
- Mikhail Moshkov
- Mohamed Skander Daas
- Niklaus Wirth
- Noel Kalicharan
- Norbert Blum
- Oscar Castillo
- Panos M. Pardalos
- Patrick Siarry
- Peter O'Hearn
- Phil Bagge
- R. M. Z. Trigo
- Radek Silhavy
- Rafael Sanders
- Robert C. Matthews
- Robert Sedgewick
- Roberto Cruz Acosta
- Ronald T. Kneusel
- Ryuhei Uehara
- Shmuel Tomi Klein
- Srikanta Patnaik
- Stefka Fidanova
- Steven Halim
- Theophilus Edet
- Thom Frühwirth
- Thompson Carter
- Tim Roughgarden
- Tsung-Hsien Lee
- Vic Broquard
- Witold Pedrycz
- Xin-She Yang
- Yang Hu
- Ying Tan
Products
Proof Theory and Logic Programming: Computation as Proof Search
Dale Miller
Hardcover
Current price
₹7,197
Original price
₹7,590
Original price
₹7,590
Original price
₹7,590
(-5%)
₹7,197
Current price
₹7,197
| /
• Author(s): Dale Miller • Publisher: Cambridge University Press • Publisher Imprint: Cambridge University Press • BISAC: Programming Languages - GeneralThis book offers a principled view of programming, showing how computation arises from logic....
View full details
