Hello! Enter your postcode for delivery time
Track My Order
Help Centre
+61 2 88805247
Likes
Notifications
My Wish Lists Login / Join
My Wish Lists My Account Sign Out
No new notifications.
Booktopia
Australia's local bookstore
  • ALL
  • BOOKS
  • FICTION
  • NON-FICTION
  • AUSTRALIAN
  • KIDS
  • SCHOOL
  • ACADEMIC & TEXTBOOKS
      • University

      • Accounting, Business & Finance
      • Biology & Science
      • Computing & Programming
      • Education
      • Engineering & Physics
      • English & Literature
      • Environment & Planning
      • Health Care
      • History
      • Language
      •  

      • Law
      • Mathematics & Statistics
      • Media, Communication & Arts
      • Medicine
      • Nursing
      • Politics
      • Psychology
      • Social Sciences
      • Study Skills
      • Vocational

      • Trades
      • Hospitality & Tourism
      • Business, Financial & Management
      • Nursing & Health Care
      • IT, Networking & Computer Repair
      • Education & Early Childhood
      • Social Working & Counselling
      • Design, Art, Fashion & Photography
    Explore All Academic >
  • EBOOKS
      • Fiction

      • Romance
      • Crime & Mystery
      • Erotic Fiction
      • Fantasy
      • Thrillers
      • Science Fiction
      • Kids & YA

      • Children's Fiction
      • Romance & Love Stories
      • Picture Books & Early Learning
      • Children's Non-Fiction
      • Non-Fiction

      • Biographies
      • Mind, Body, Spirit
      • Business & Management
      • Family & Health
      • Gardening
      • History
      • Politics & Government
      • Psychology
      • Science
      • Textbooks

      • Education
      • Medicine
      • Accounting & Finance
      • Law
      • Psychology
      • Mathematics
      • Language & Linguistics
    Explore All eBooks >
  • AUDIOBOOKS
  • GAMES & PUZZLES
  • STATIONERY
  • GIFTS
  • BARGAINS
  • BLOG
  • BOOKS
  • EBOOKS
  • AUDIOBOOKS
  • GAMES & PUZZLES
  • STATIONERY
  • GIFT IDEAS
  • BLOG
 
CHECKOUT
  • FICTION

      Browse Fiction

    • New Releases
    • Coming Soon
    • Bestselling
      • Popular Subjects

      • Romance
      • Crime & Mystery
      • Erotic Fiction
      • Children's Fiction
      • Fantasy
      • Thrillers
      • Science Fiction
      • Popular Authors

      • Danielle Steel
      • E L James
      • James Patterson
      • Kerry Greenwood
      • Lee Child
      • Michael Connelly
      • Peter Corris
      • Popular Series

      • Text Classics
    Explore All Fiction >
  • NON-FICTION

      Browse Non-Fiction

    • Bestselling
      • Subjects

      • Accounting & Finance
      • Animals & Nature
      • Antiques & Collectables
      • Archaeology
      • Arts & Entertainment
      • Biographies & True Stories
      • Business & Management
      • Children's Non-Fiction
      • Comedy & Humour
      • Computing & I.T.
      • Cooking, Food & Drink
      • Crafts & Handiwork
      • Dictionaries
      • Earth Sciences & Environment
      • Economics
      • Education
      •  

      • Engineering & Technology
      • Family & Health
      • Gardening
      • History
      • Hobbies, Games & Puzzles
      • Home & House Maintenance
      • Industry & Industrial Studies
      • Language & Linguistics
      • Law
      • Library & Info Sciences
      • Lifestyle & Fashion
      • Literature, Poetry & Plays
      • Mathematics
      • Medicine
      • Mind, Body, Spirit
      • Philosophy
      •  

      • Politics & Government
      • Psychology
      • Reference & Encyclopaedias
      • Religion & Beliefs
      • Science
      • Self-Help & Personal Development
      • Social Services & Welfare
      • Society & Culture
      • Sociology & Anthropology
      • Sports & Recreation
      • Teaching English (ELT)
      • Transportation
      • Travel & Holidays
      • Travel Maps & Atlases
      • Warfare & Defence
    Explore All Non-Fiction >
  • TEXTBOOKS
  • KIDS & YA

      Browse Kids & YA

    • New Releases
    • Bestselling
      • Popular Subjects

      • Children's Fiction
      • Romance & Love Stories
      • Picture Books & Early Learning
      • Children's Non-Fiction
    Explore All Kids & YA
  • EREADERS
  • KOBO PLUS
eBooks > Non-Fiction > Mathematics > Mathematical Foundation > Mathematical Logic
Get Free Shipping on orders over $79

Mathematical Logic

REFINE YOUR RESULTS

SUBJECTS

  • Mathematical Logic
  • Set Theory

LISTS

  • All eBooks (2869)
  • Books (4130)
  • Audiobooks (26)
  • eTextbooks (2563)

AVAILABILITY

  • All eBooks (2869)
  • New Releases (21)
  • Subscription eBooks (132)

PRICE

FORMATS

LANGUAGE

  • eBook
    (2869)
  • Books
    (4130)
  • Audiobooks
    (26)
2869 Results | View 24 / 100
< 1 ... 24 25 26 27 28 29 >
Sort By
Sort By:
  • Mathematical Logic : Foundations for Information Science - Wei Li
    Mathematical Logic
    Foundations for Information Science
    Wei Li
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Modeling Companion for Software Practitioners - Egon Börger
    Modeling Companion for Software Practitioners
    Egon Börger and Alexander Raschke
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • Computational Artifacts : Towards a Philosophy of Computer Science - Raymond Turner
    Computational Artifacts
    Towards a Philosophy of Computer Science
    Raymond Turner
    eText
    Instant Online Reading*
    $269.01
    BUY EBOOK
  • Principled Software Development : Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday
    Principled Software Development
    Essays Dedicated to Arnd Poetzsch-Heffter on th...
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Handbook of Software Engineering
    Handbook of Software Engineering
    eText
    Instant Online Reading*
    $319.00
    BUY EBOOK
  • Exploring Meinong's Jungle and Beyond : The Sylvan Jungle - Volume 1 - Richard Routley
    Exploring Meinong's Jungle and Beyond
    The Sylvan Jungle - Volume 1
    Richard Routley
    eText
    Instant Online Reading*
    $239.00
    BUY EBOOK
  • Automated Deduction - CADE-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Proceedings
    Automated Deduction - CADE-14
    14th International Conference on Automated Dedu...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Australian Stories
  • An Invitation to Model Theory - Jonathan Kirby
    An Invitation to Model Theory
    Jonathan Kirby
    eText
    Instant Online Reading*
    $45.95
    BUY EBOOK
  • Ultralogic as Universal? : The Sylvan Jungle - Volume 4 - Richard Routley
    Ultralogic as Universal?
    The Sylvan Jungle - Volume 4
    Richard Routley
    eText
    Instant Online Reading*
    $129.00
    BUY EBOOK
  • Algorithms in Invariant Theory - Bernd Sturmfels
    Algorithms in Invariant Theory
    Bernd Sturmfels
    eText
    Instant Online Reading*
    $54.99
    BUY EBOOK
  • Simple Theories - Frank O. Wagner
    Simple Theories
    Frank O. Wagner
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computational Intelligence : International Conference on Intelligent Computing, ICIC 2006, Kunming, China, August 16-19, 2006, Proceedings, Part II - Author
    Computational Intelligence
    International Conference on Intelligent Computi...
    Author
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Generic and Indexed Programming
    Generic and Indexed Programming
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Empirical Software Engineering and Verification : International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures
    Empirical Software Engineering and Verification
    International Summer Schools, LASER 2008-2010, ...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Central European Functional Programming School : Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komarno, Slovakia, May 25-30, 2009, Revised Selected Lectures
    Central European Functional Programming School
    Third Summer School, CEFP 2009, Budapest, Hunga...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Algorithm Engineering : Bridging the Gap Between Algorithm Theory and Practice - Author
    Algorithm Engineering
    Bridging the Gap Between Algorithm Theory and P...
    Author
    eText
    Instant Online Reading*
    $129.00
    BUY EBOOK
  • Testing Techniques in Software Engineering : Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures
    Testing Techniques in Software Engineering
    Second Pernambuco Summer School on Software Eng...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Lectures on Logic and Computation : ESSLLI 2010, Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes
    Lectures on Logic and Computation
    ESSLLI 2010, Copenhagen, Denmark, August 2010, ...
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • The Colorado Mathematical Olympiad and Further Explorations : From the Mountains of Colorado to the Peaks of Mathematics - Alexander Soifer
    The Colorado Mathematical Olympiad and Further Explorations
    From the Mountains of Colorado to the Peaks of ...
    Alexander Soifer
    eText
    Instant Online Reading*
    $89.99
    BUY EBOOK
  • Formal Methods for Eternal Networked Software Systems : 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced Lectures
    Formal Methods for Eternal Networked Software Systems
    11th International School on Formal Methods for...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods for Model-Driven Engineering : 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures - Author
    Formal Methods for Model-Driven Engineering
    12th International School on Formal Methods for...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Reasoning Web. Semantic Technologies for Intelligent Data Access : 9th International Summer School 2013, Mannheim, Germany, July 30 -- August 2, 2013. Proceedings
    Reasoning Web. Semantic Technologies for Intelligent Data Access
    9th International Summer School 2013, Mannheim,...
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Generative and Transformational Techniques in Software Engineering III : International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009, Revised Papers - Author
    Generative and Transformational Techniques in Software Engineering III
    International Summer School, GTTSE 2009, Braga,...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Proofs from THE BOOK - Martin Aigner
    Proofs from THE BOOK
    Martin Aigner and Günter M. Ziegler
    eText
    Instant Online Reading*
    $64.99
    BUY EBOOK
  • Reasoning Web - Semantic Technologies for Advanced Query Answering : 8th International Summer School 2012, Vienna, Austria, September 3-8, 2012. Proceedings - Author
    Reasoning Web - Semantic Technologies for Advanced Query Answering
    8th International Summer School 2012, Vienna, A...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Tools for Practical Software Verification : International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures
    Tools for Practical Software Verification
    International Summer School, LASER 2011, Elba I...
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • The Logic of Categorial Grammars : A deductive account of natural language syntax and semantics - Richard Moot
    The Logic of Categorial Grammars
    A deductive account of natural language syntax ...
    Richard Moot and Christian Retore
    eText
    Instant Online Reading*
    $109.00
    BUY EBOOK
  • Stochastic Model Checking : International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures - Author
    Stochastic Model Checking
    International Autumn School, ROCKS 2012, Vahrn,...
    Author
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • An Invitation to Applied Category Theory : Seven Sketches in Compositionality - Brendan Fong
    An Invitation to Applied Category Theory
    Seven Sketches in Compositionality
    Brendan Fong and David I. Spivak
    eText
    Instant Online Reading*
    $75.96
    BUY EBOOK
  • How to Prove It : A Structured Approach - Daniel J. Velleman
    How to Prove It
    A Structured Approach
    Daniel J. Velleman
    eText
    Instant Online Reading*
    $59.95
    BUY EBOOK
  • Deep Learning with Python : A Hands-on Introduction - Nikhil Ketkar
    Deep Learning with Python
    A Hands-on Introduction
    Nikhil Ketkar
    eText
    Instant Online Reading*
    $119.00
    BUY EBOOK
  • Logic and Its Applications : 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings - Author
    Logic and Its Applications
    6th Indian Conference, ICLA 2015, Mumbai, India...
    Author
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • Algorithms - ESA 2015 : 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings
    Algorithms - ESA 2015
    23rd Annual European Symposium, Patras, Greece,...
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • CONCUR 2014 - Concurrency Theory : 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings - Author
    CONCUR 2014 - Concurrency Theory
    25th International Conference, CONCUR 2014, Rom...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Specification, Algebra, and Software : Essays Dedicated to Kokichi Futatsugi - Author
    Specification, Algebra, and Software
    Essays Dedicated to Kokichi Futatsugi
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Tools and Algorithms for the Construction and Analysis of Systems : 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
    Tools and Algorithms for the Construction and Analysis of Systems
    20th International Conference, TACAS 2014, Held...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • ECOOP 2014 -- Object-Oriented Programming : 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings - Author
    ECOOP 2014 -- Object-Oriented Programming
    28th European Conference, Uppsala, Sweden, July...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Intelligent Information Processing VII : 8th IFIP TC 12 International Conference, IIP 2014, Hangzhou, China, October 17-20, 2014, Proceedings - Author
    Intelligent Information Processing VII
    8th IFIP TC 12 International Conference, IIP 20...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Grammar : 19th International Conference, Formal Grammar 2014, Tubingen, Germany, August 16-17, 2014. Proceedings
    Formal Grammar
    19th International Conference, Formal Grammar 2...
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • Foundations of Software Science and Computation Structures : 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
    Foundations of Software Science and Computation Structures
    17th International Conference, FOSSACS 2014, He...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Pristine Perspectives on Logic, Language and Computation : ESSLLI 2012 and ESSLLI 2013 Student Sessions, Selected Papers - Author
    Pristine Perspectives on Logic, Language and Computation
    ESSLLI 2012 and ESSLLI 2013 Student Sessions, S...
    Author
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • Logical Aspects of Computational Linguistics : 8th International Conference, LACL 2014, Toulouse, France, June 18-24, 2014. Proceedings
    Logical Aspects of Computational Linguistics
    8th International Conference, LACL 2014, Toulou...
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • Fundamental Approaches to Software Engineering : 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings - Author
    Fundamental Approaches to Software Engineering
    17th International Conference, FASE 2014, Held ...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • The Language of Mathematics : A Linguistic and Philosophical Investigation - Mohan Ganesalingam
    The Language of Mathematics
    A Linguistic and Philosophical Investigation
    Mohan Ganesalingam
    eText
    Instant Online Reading*
    $109.00
    BUY EBOOK
  • Reactive Kripke Semantics - Dov M. Gabbay
    Reactive Kripke Semantics
    Dov M. Gabbay
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Intelligent Computer Mathematics : MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013, Proceedings
    Intelligent Computer Mathematics
    MKM, Calculemus, DML, and Systems and Projects ...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Hardware and Software: Verification and Testing : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
    Hardware and Software: Verification and Testing
    8th International Haifa Verification Conference...
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures - Author
    Formal Methods for Components and Objects
    11th International Symposium, FMCO 2012, Bertin...
    Author
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Unifying Theories of Programming : 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers
    Unifying Theories of Programming
    4th International Symposium, UTP 2012, Paris, F...
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Runtime Verification : Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers
    Runtime Verification
    Third International Conference, RV 2012, Istanb...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic for Programming, Artificial Intelligence, and Reasoning : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings
    Logic for Programming, Artificial Intelligence, and Reasoning
    19th International Conference, LPAR-19, Stellen...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • System Modeling and Optimization : 25th IFIP TC 7 Conference, CSMO 2011, Berlin, Germany, September 12-16, 2011, Revised Selected Papers
    System Modeling and Optimization
    25th IFIP TC 7 Conference, CSMO 2011, Berlin, G...
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Automated Deduction in Geometry : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
    Automated Deduction in Geometry
    9th International Workshop, ADG 2012, Edinburgh...
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Automated Reasoning with Analytic Tableaux and Related Methods : 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings - Author
    Automated Reasoning with Analytic Tableaux and Related Methods
    22nd International Conference, TABLEAUX 2013, N...
    Author
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Software Language Engineering : 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers
    Software Language Engineering
    5th International Conference, SLE 2012, Dresden...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods for Industrial Critical Systems : 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013, Proceedings - Author
    Formal Methods for Industrial Critical Systems
    18th International Workshop, FMICS 2013, Madrid...
    Author
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Combinatorics on Words : 9th International Conference, WORDS 2013, Turku, Finland, September 16-20, 2013, Proceedings
    Combinatorics on Words
    9th International Conference, WORDS 2013, Turku...
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Language and Automata Theory and Applications : 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013, Proceedings - Author
    Language and Automata Theory and Applications
    7th International Conference, LATA 2013, Bilbao...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Constraint Solving and Language Processing : 7th International Workshop, CSLP 2012, Orleans, France, September 13-14, 2012, Revised Selected Papers - Author
    Constraint Solving and Language Processing
    7th International Workshop, CSLP 2012, Orleans,...
    Author
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Developments in Language Theory : 17th International Conference, DLT 2013, Marne-la-Vallee, France, June 18-21, 2013, Proceedings
    Developments in Language Theory
    17th International Conference, DLT 2013, Marne-...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Frontiers of Combining Systems : 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013, Proceedings
    Frontiers of Combining Systems
    9th International Symposium, FroCoS 2013, Nancy...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • On Fuzziness : A Homage to Lotfi A. Zadeh - Volume 1 - Author
    On Fuzziness
    A Homage to Lotfi A. Zadeh - Volume 1
    Author
    eText
    Instant Online Reading*
    $239.00
    BUY EBOOK
  • On Fuzziness : A Homage to Lotfi A. Zadeh - Volume 2 - Rudolf Seising
    On Fuzziness
    A Homage to Lotfi A. Zadeh - Volume 2
    Rudolf Seising
    eText
    Instant Online Reading*
    $239.00
    BUY EBOOK
  • Unconventional Computation and Natural Computation : 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013, Proceedings - Author
    Unconventional Computation and Natural Computation
    12th International Conference, UCNC 2013, Milan...
    Author
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Inductive Logic Programming : 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 16-18,2012, Revised Selected papers
    Inductive Logic Programming
    22nd International Conference, ILP 2012, Dubrov...
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Noneist Explorations I : The Sylvan Jungle - Volume 2 - Richard Routley
    Noneist Explorations I
    The Sylvan Jungle - Volume 2
    Richard Routley and Val Routley
    eText
    Instant Online Reading*
    $249.00
    BUY EBOOK
  • Adaptive and Learning Systems : Theory and Applications - Kumpati S. Narendra
    Adaptive and Learning Systems
    Theory and Applications
    Kumpati S. Narendra
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • New Essays on Belnap-­Dunn Logic
    New Essays on Belnap-­Dunn Logic
    eText
    Instant Online Reading*
    $169.00
    BUY EBOOK
  • Diagonalization in Formal Mathematics - Paulo Guilherme Santos
    Diagonalization in Formal Mathematics
    Paulo Guilherme Santos
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Geometry - Israel M. Gelfand
    Geometry
    Israel M. Gelfand and Tatiana Alekseyevskaya (Gelfand)
    eText
    Instant Online Reading*
    $64.99
    BUY EBOOK
  • Artificial Intelligence. An International Perspective : An International Perspective - Max Bramer
    Artificial Intelligence. An International Perspective
    An International Perspective
    Max Bramer
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logical Foundations of Computer Science : International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009, Proceedings - Sergei Artemov
    Logical Foundations of Computer Science
    International Symposium, LFCS 2009, Deerfield B...
    Sergei Artemov and ?Anil Nerode
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Controlled Natural Language : Workshop on Controlled Natural Language, CNL 2009, Marettimo Island, Italy, June 8-10, 2009, Revised Papers - Norbert E Fuchs
    Controlled Natural Language
    Workshop on Controlled Natural Language, CNL 20...
    Norbert E Fuchs
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic Programming and Nonmonotonic Reasoning : 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011, Proceedings - James Delgrande
    Logic Programming and Nonmonotonic Reasoning
    11th International Conference, LPNMR 2011, Vanc...
    James Delgrande and ?Wolfgang Faber
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic, Language and Meaning : 18th Amsterdam Colloquium, Amsterdam, The Netherlands, December 19-21, 2011, Revised Selected Papers - Maria Aloni
    Logic, Language and Meaning
    18th Amsterdam Colloquium, Amsterdam, The Nethe...
    Maria Aloni, Vadim Kimmelman and Floris Roelofsen
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Frontiers of Combining Systems : 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009, Proceedings - Silvio Ghilardi
    Frontiers of Combining Systems
    7th International Symposium, FroCoS 2009, Trent...
    Silvio Ghilardi and ?Roberto Sebastiani
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logical Aspects of Computational Linguistics : 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012, Proceedings - Denis Bechet
    Logical Aspects of Computational Linguistics
    7th International Conference, LACL 2012, Nantes...
    Denis Bechet and Alexandre Dikovsky
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Unconventional Computation : 10th International Conference, UC 2011, Turku, Finland, June 6-10, 2011. Proceedings - Cristian S. Calude
    Unconventional Computation
    10th International Conference, UC 2011, Turku, ...
    Cristian S. Calude, ?Jarkko Kari and ?Ion Petre
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Relations and Kleene Algebra in Computer Science : 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009, Proceedings - Rudolf Berghammer
    Relations and Kleene Algebra in Computer Science
    11th International Conference on Relational Met...
    Rudolf Berghammer, ?Ali Jaoua and ?Bernhard Möller
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Machine Learning and Data Mining in Pattern Recognition : 8th International Conference, MLDM 2012, Berlin, Germany, July 13-20, 2012, Proceedings - Petra Perner
    Machine Learning and Data Mining in Pattern Recognition
    8th International Conference, MLDM 2012, Berlin...
    Petra Perner
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Transactions on Rough Sets XII - Roman Slowi?ski
    Transactions on Rough Sets XII
    Roman Slowi?ski, ?Pawan Lingras and ?Duoqian Miao
    eText
    Instant Online Reading*
    $129.00
    BUY EBOOK
  • Transactions on Rough Sets XI - James F. Peters
    Transactions on Rough Sets XI
    James F. Peters and Andrzej Skowron
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Applications and Theory of Petri Nets : 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009, Proceedings - Giuliana Franceschinis
    Applications and Theory of Petri Nets
    30th International Conference, PETRI NETS 2009,...
    Giuliana Franceschinis and ?Karsten Wolf
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Implementation and Application of Automata : 15th International Conference, CIAA 2010, Manitoba, Canada, August 12-15, 2010. Revised Selected Papers - Michael Domaratzki
    Implementation and Application of Automata
    15th International Conference, CIAA 2010, Manit...
    Michael Domaratzki and ?Kai Salomaa
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computer Aided Verification : 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings - Madhusudan Parthasarathy
    Computer Aided Verification
    24th International Conference, CAV 2012, Berkel...
    Madhusudan Parthasarathy and Sanjit A. Seshia
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computer Science Logic : 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings - Erich Grädel
    Computer Science Logic
    23rd International Workshop, CSL 2009, 18th Ann...
    Erich Grädel and ?Reinhard Kahle
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Semantics and Algebraic Specification : Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday - Jens Palsberg
    Semantics and Algebraic Specification
    Essays Dedicated to Peter D. Mosses on the Occa...
    Jens Palsberg
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Progress in Cryptology -  INDOCRYPT 2009 : 10th International Conference on Cryptology in India, New Delhi, India, December 13-16, 2009, Proceedings - Bimal Kumar Roy
    Progress in Cryptology - INDOCRYPT 2009
    10th International Conference on Cryptology in ...
    Bimal Kumar Roy and ?Nicolas Sendrier
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Controlled Natural Language : Second International Workshop, CNL 2010, Marettimo Island, Italy, September 13-15, 2010. Revised Papers - Michael Rosner
    Controlled Natural Language
    Second International Workshop, CNL 2010, Marett...
    Michael Rosner and Norbert E. Fuchs
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computational Logic in Multi-Agent Systems : 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers - Michael Fisher
    Computational Logic in Multi-Agent Systems
    9th International Workshop, CLIMA IX, Dresden, ...
    Michael Fisher, ?Fariba Sadri and ?Michael Thielscher
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Advances in Neural Networks - ISNN 2012 : 9th International Symposium on Neural Networks, ISNN 2012, Shenyang, China, July 11-14, 2012. Proceedings, Part I - Jun Wang
    Advances in Neural Networks - ISNN 2012
    9th International Symposium on Neural Networks,...
    Jun Wang, Gary G. Yen and Marios M. Polycarpou
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Implementation and Application of Functional Languages : 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers - SvenBodo Scholz
    Implementation and Application of Functional Languages
    20th International Symposium, IFL 2008, Hatfiel...
    SvenBodo Scholz and ?Olaf Chitil
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Scalable Uncertainty Management : Third International Conference, SUM 2009, Washington, DC, USA, September 28-30, 2009, Proceedings - Lluis Godo
    Scalable Uncertainty Management
    Third International Conference, SUM 2009, Washi...
    Lluis Godo and ?Andrea Pugliese
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Semantics in Data and Knowledge Bases : 4th International Workshop, SDKB 2010, Bordeaux, France, July 5, 2010, Revised Selected Papers - KlausDieter Schewe
    Semantics in Data and Knowledge Bases
    4th International Workshop, SDKB 2010, Bordeaux...
    KlausDieter Schewe and ?Bernhard Thalheim
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Rough Sets and Knowledge Technology : 4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009, Proceedings - Peng Wen
    Rough Sets and Knowledge Technology
    4th International Conference, RSKT 2009, Gold C...
    Peng Wen, ?Yuefeng Li and ?Lech Polkowski
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Mathematics of Program Construction : 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings - Jeremy Gibbons
    Mathematics of Program Construction
    11th International Conference, MPC 2012, Madrid...
    Jeremy Gibbons and Pablo Nogueira
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Theory and Applications of Satisfiability Testing -- SAT 2012 : 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings - Alessandro Cimatti
    Theory and Applications of Satisfiability Testing -- SAT 2012
    15th International Conference, Trento, Italy, J...
    Alessandro Cimatti and Roberto Sebastiani
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Cryptology and Network Security : 8th International Conference, CANS 2009, Kanazawa, Japan, December 12-14, 2009, Proceedings - Juan A. Garay
    Cryptology and Network Security
    8th International Conference, CANS 2009, Kanaza...
    Juan A. Garay, ?Atsuko Miyaji and Akira Otsuka
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Fundamentals of Computation Theory : 18th International Symposium, FCT 2011, Oslo, Norway, August 22-28, 2011, Proceedings - Olaf Owe
    Fundamentals of Computation Theory
    18th International Symposium, FCT 2011, Oslo, N...
    Olaf Owe
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
2869 Results | View 24 / 100
< 1 ... 24 25 26 27 28 29 >
Sort By
Sort By:

Join Our Newsletter

Head Office
34-48 Cosgrove Road, South Strathfield NSW 2136
ABN 90 679 610 890
MOBILE SITE

Help Centre

  • Placing An Order
  • Contact Booktopia
  • Terms Of Business
  • Privacy Policy
  • Become An Affiliate
  • Sitemap

Shipping

  • Track My Order
  • Standard Shipping
  • Express Shipping
  • Shipping Timeframes
  • Delivering Your Order
  • New Zealand Orders

About Booktopia

  • Your Local Bookstore
  • Why Buy From Booktopia?
  • Our Awards
  • Booktopia's Charities
  • Booktopia eBooks
  • Work With Us

Bestsellers

  • Babies & Toddlers' Bestseller List
  • Children's Bestseller List
  • Young Adults' Bestseller List
  • Fiction Bestseller List
  • Non-Fiction Bestseller List

Popular Brands

  • ABC Reading Eggs
  • Australian Women's Weekly
  • Bluey
  • Excel Education
  • Dr Seuss
  • For Dummies
  • Harvard Business Review
  • Harry Potter
  • LEGO
  • Little Golden Books
  • Lonely Planet Travel Books
  • No Fear Shakespeare
  • Penguin Black Classics
  • Peppa Pig
  • Teach Yourself
  • Vintage Classics
  • Where's Wally

Popular Series

  • A Court of Thorns and Roses
  • A Game of Thrones
  • Bridgerton
  • Diary of a Wimpy Kid
  • Dune
  • Jack Reacher
  • Jack West
  • Little People, Big Dreams
  • Lord of the Rings
  • Nevermoor
  • Outlander
  • The Bad Guys
  • The Treehouse Series
  • The Wheel of Time
  • The Witcher
  • Wings of Fire
  • Wolf Girl

Popular Authors

  • Brene Brown
  • Bruce Pascoe
  • David Walliams
  • Di Morrissey
  • Donna Hay
  • Fiona McIntosh
  • Helen Garner
  • Jane Harper
  • Liane Moriarty
  • Matthew Reilly
  • Peter FitzSimons
  • Sally Rooney
  • Sarah J. Maas
  • Taylor Jenkins Reid
  • Tim Winton
  • Trent Dalton
  • Yotam Ottolenghi

Popular Subjects

  • Biographies & True Stories
  • Business & Management
  • Cooking, Food & Drink
  • Crafts & Handiwork
  • Family & Health
  • Fitness & Diet
  • History
  • Self-Help & Personal Development
  • Australian Fiction
  • Crime & Mystery
  • Classic Fiction
  • Fantasy Fiction
  • Modern & Contemporary Fiction
  • Manga
  • Picture Books
  • Young Adult Fiction
Voted Australia’s Favourite Bookstore by Australian Book Buyers

© 2025 Booktopia Direct Pty Ltd.
${altTag}
RRP ${fmtRetailPrice}
${fmtSalePrice}
BUY NOW