Filters
- Cambridge University Press
- 8080 Books
- 17 Books Publishing
- 50minutes.com (It)
- 50minutes.com (Pl)
- Ablex Publishing Corporation
- Academic
- Academic Press
- ACM
- Addison-Wesley Professional
- Aiden Phillips
- ALA Editions
- Alan Grid
- Ali Cehreli
- American Mathematical Society
- American Psychiatric Association Publishing
- Amsterdam University Press
- Andrews UK Limited
- Annabooks, LLC.
- Anson Street Press
- Apress
- Ascent, Center for Technical Knowledge
- Auerbach Publications
- Author Jet Press
- Authorhouse
- Authorhouse UK
- BearManor Media
- Bellwether Media Inc.
- Ben Watson
- Berghahn Books
- Biblebyte Books
- Bibliogov
- Biblioscholar
- Blastoff! Discovery
- Blurb
- Bob Mather
- Bod - Books on Demand
- Booksurge Publishing
- Bosko Books
- Bottom of the Hill Publishing
- BPB Publications
- Bpb Publications
- British Library, Historical Print Editions
- Brooke Strahan
- Broquard eBooks
- Business Expert Press
- CABI
- Cambridge UP
- Carl Keyness
- Cary Gregory
- Cengage
- Cengage Learning
- Cengage Learning India
- Cengage Learning, Inc
- Charles M Dominquez
- Charles River Media
- Chloe Annable
- Christopher Ford
- CiA Training Ltd
- Cme Publishing
- Cognella Academic Publishing
- College Board
- College Publications
- Computer Step
- Continuum
- Cornell University Press
- Coronat Services, LLC
- Corwin
- Corwin Publishers
- Course Technology
- CRC Press
- Createspace Independent Publishing Platform
- Datasim Education Bv
- David A. Williams
- Delta Data Services LLC
- Digital Press
- Diplom.de
- Disserta Verlag
- Drip Digital LLC
- E-Man Press LLC
- Eastwood Harris Pty Ltd
- Edfinity
- Edicoes Nosso Conhecimento
- Editions Notre Savoir
- Editions Universitaires Europeennes
- Editorial Academica Espanola
- Edizioni Sapienza
- Effortless Math Education
- Elluminet Press
- Elsevier
- EMC Paradigm,US
- Emerald Publishing Limited
- Emmanuel Ossai
- Equity Press
- Eric Mormin
- Eric Sindeu
- Errol Howard
- Esri Press
- Exam Og
- Eyrolles Group
- Cambridge University Press
- 8080 Books
- 17 Books Publishing
- 50minutes.com (It)
- 50minutes.com (Pl)
- A K PETERS
- Ablex Publishing Corporation
- Academic
- Academic Press
- ACM
- Addison-Wesley Professional
- Aiden Phillips
- ALA Editions
- Alan Grid
- Ali Cehreli
- American Mathematical Society
- American Psychiatric Association Publishing
- Amsterdam University Press
- Andrews UK Limited
- Annabooks, LLC.
- Anson Street Press
- Apress
- Ascent, Center for Technical Knowledge
- Auerbach P
- Auerbach Publications
- Author Jet Press
- Authorhouse
- Authorhouse UK
- BearManor Media
- Bellwether Media Inc.
- Ben Watson
- Berghahn Books
- Biblebyte Books
- Bibliogov
- Biblioscholar
- Birkhauser
- Blastoff! Discovery
- Blurb
- Bob Mather
- Bod - Books on Demand
- Booksurge Publishing
- Bosko Books
- Bottom of the Hill Publishing
- BPB Publications
- Bpb Publications
- British Library, Historical Print Editions
- Brooke Strahan
- Broquard eBooks
- Business Expert Press
- But-Hein
- CABI
- Cambridge
- Carl Keyness
- Cary Gregory
- Cengage Learning
- Cengage Learning India
- Cengage Learning, Inc
- Chapman and Hall/CRC
- Chapman Hall
- Charles M Dominquez
- Charles River Media
- Chloe Annable
- Christopher Ford
- CiA Training Ltd
- Cme Publishing
- Cognella Academic Publishing
- College Board
- College Publications
- Computer Step
- Continuum
- Cornell University Press
- Coronat Services, LLC
- Corwin
- Corwin Publishers
- Course Tec
- Course Technology
- CRC Press
- CRC/CH
- Createspace Independent Publishing Platform
- Datasim Education Bv
- David A. Williams
- Delta Data Services LLC
- Digital Press
- Diplom.de
- Disserta Verlag
- Drip Digital LLC
- E-Man Press LLC
- Eastwood Harris Pty Ltd
- Edfinity
- Edicoes Nosso Conhecimento
- Editions Notre Savoir
- Editions Universitaires Europeennes
- Editorial Academica Espanola
- Edizioni Sapienza
- Effortless Math Education
- Elluminet Press
- Elsevier
- EMC Paradigm,US
- Emerald Publishing Limited
- Emmanuel Ossai
- Bio-Science and Agriculture
- Business Management
- Career Counselling
- Communication, Mass Media and Journalism
- Computer Science and Information Technology
- Education & Psychology
- Engineering
- Health, Physical Fitness and Yoga
- Library & Information Science
- Mathematics and Statistics
- Medical, Nursing and Health Sciences
- Nutrition and Dietetics
- Physics and Astronomy
- Religion and Philosophy
- Sociology and Anthropology
- Tourism, Travel Guide & Hospitality
- Veterinary
- Aaron Guilmette
- Adalat Khan
- Adam Aspin
- Adam Freeman
- Alan Grid
- Amara Hawthorn
- Andrew Troelsen
- Anonymous
- Anthony Giretti
- Anthony S. Rudd
- Aristides Bouras
- Ascent - Center for Technical Knowledge
- Ashirwad Satapathi
- Ava Ross
- Aysar Abdulkhaleq Abdulrahman
- Biblebyte Books
- Bruno Cordani
- Cassia Hawke
- Chaminda Chandrasekara
- Christopher Goodman
- Daniel Reed
- David A. Williams
- David Scott
- David Weller
- Deepesh Somani
- Dina Geo
- Dirk Strauss
- Examreview
- Ez-Ref Courseware
- Felicia Toliver
- Flavio Morgado
- Flemming Nielson
- Frahaan Hussain
- G. Pascal Zachary
- Gary Hall
- Gemma Ferrero
- Gordon Hogenson
- Guy Hart-Davis
- Hans-Joachim Lang
- Harry J. Misner
- Henry Giles
- Henry James Pye
- Henry Lee
- Herbert Schildt
- Itzik Ben-Gan
- Jack Phan
- James MacKenzie
- James RAM
- Jason Bock
- Jason Smith
- Jeff Hutchinson
- Jesse Liberty
- Joachim Rossberg
- Joe Sutphin
- John Paul Mueller
- John W. McCormick
- Juergen Pintaske
- Julitta Korol
- Junior Nkiere Makoloni
- K. R. Martin
- Kalman Toth
- Kameron Hussain
- Kevin Wilson
- Klemens Nguyen
- Knowhow Press
- Kurt Jaegers
- Lynn Smith
- M. L. Humphrey
- Marcin Jamro
- Margaret Wan
- Marije Brummel
- Mark Collins
- Mark J. Price
- Mark Weiss
- Marlon Xavier
- Martin C. Morales
- Matthew Baxter-Reynolds
- Matthew D. Passmore
- Matthew MacDonald
- Meridian Certification Press
- Michael McMillan
- Michael Washington
- Mikael Olsson
- Mike Halsey
- Mike McGrath
- Moruzzi
- Naga Santhosh Reddy Vootukuri
- Nathan George
- Nathan Metzler
- Peter Schiessl
- Philip Conrod
- Richard Shepherd
- Robert Campbell
- Roger Villela
- Sanjaya Yapa
- Thompson Carter
- Tim Patrick
- Vaskaran Sarcar
- Vic Broquard
- X. Y. Wang
Products
Semantics and Logics of Computation
Andrew M. Pitts, P. Dybjer, Peter Dybjer
Paperback
Current price
₹5,704
Original price
₹6,845
Original price
₹6,845
Original price
₹6,845
(-17%)
₹5,704
Current price
₹5,704
| /
• Author(s): Andrew M. Pitts | P. Dybjer | Peter Dybjer • Publisher: Cambridge University Press • Publisher Imprint: Cambridge University Press • BISAC: Programming Languages - GeneralThis accessible and comprehensive volume addresses modern deve...
View full details
