Hello! Enter your postcode for delivery time
Track My Order
Help Centre
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
Get Free Shipping on orders over $89

Mathematical Foundation

REFINE YOUR RESULTS

SUBJECTS

  • Mathematical Logic
  • Set Theory

LISTS

  • All eBooks (3357)
  • Books (6277)
  • Audiobooks (32)
  • eTextbooks (3020)

AVAILABILITY

  • All eBooks (3357)
  • New Releases (37)
  • Coming Soon (5)
  • Subscription eBooks (103)

PRICE

CUSTOMER RATING

  •  
    (1) 
  •  
    & Up (1) 
  •  
    & Up (1) 

FORMATS

LANGUAGE

  • eBook
     (3357)
  • Books
     (6277)
  • Audiobooks
     (32)
  • Audio CDs
     (3)
  • Stationery
     (2)
3357 Results | View 24 / 100
< 1 ... 16 17 18 19 20 ... 34 >
Sort By
Sort By:
  • Theory of Graded Consequence : A General Framework for Logics of Uncertainty - Mihir Kumar Chakraborty
    Theory of Graded Consequence
    A General Framework for Logics of Uncertainty
    Mihir Kumar Chakraborty and Soma Dutta
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Proof Theory and Algebra in Logic : Philosophy and Religion (R0) - Hiroakira Ono
    Proof Theory and Algebra in Logic
    Philosophy and Religion (R0)
    Hiroakira Ono
    eText
    Instant Online Reading*
    $64.99
    BUY EBOOK
  • Rohit Parikh on Logic, Language and Society : Philosophy and Religion (R0) - Author
    Rohit Parikh on Logic, Language and Society
    Philosophy and Religion (R0)
    Author
    eText
    Instant Online Reading*
    $169.00
    BUY EBOOK
  • Martin Davis on Computability, Computational Logic, and Mathematical Foundations : Philosophy and Religion (R0) - Eugenio G. Omodeo
    Martin Davis on Computability, Computational Logic, and Mathematical Foundations
    Philosophy and Religion (R0)
    Eugenio G. Omodeo
    eText
    Instant Online Reading*
    $189.00
    BUY EBOOK
  • Hybrid Metaheuristics : 10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016, Proceedings - Maria J. Blesa
    Hybrid Metaheuristics
    10th International Workshop, HM 2016, Plymouth,...
    Maria J. Blesa, Christian Blum, Angelo Cangelosi, Vincenzo Cutello and Alessandro Di Nuovo
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Transactions on Rough Sets XX : Computer Science (R0) - James F. Peters
    Transactions on Rough Sets XX
    Computer Science (R0)
    James F. Peters and Andrzej Skowron
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Theoretical Aspects of Computing - ICTAC 2016 : 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings - Augusto Sampaio
    Theoretical Aspects of Computing - ICTAC 2016
    13th International Colloquium, Taipei, Taiwan, ...
    Augusto Sampaio and Farn Wang
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Australian Stories
  • Recent Trends in Algebraic Development Techniques : 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers - Phillip James
    Recent Trends in Algebraic Development Techniques
    23rd IFIP WG 1.3 International Workshop, WADT 2...
    Phillip James and Markus Roggenbach
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Developments in Language Theory : 23rd International Conference, DLT 2019, Warsaw, Poland, August 5-9, 2019, Proceedings - Piotrek Hofman
    Developments in Language Theory
    23rd International Conference, DLT 2019, Warsaw...
    Piotrek Hofman and Micha? Skrzypczak
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • New Frontiers in Artificial Intelligence : JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27-28, 2013, Revised Selected Papers - Yukiko Nakano
    New Frontiers in Artificial Intelligence
    JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI,...
    Yukiko Nakano, Ken Satoh and Daisuke Bekki
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : Third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings - Simon Collart-Dutilleul
    Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
    Third International Conference, RSSRail 2019, L...
    Simon Collart-Dutilleul, Thierry Lecomte and Alexander Romanovsky
    eText
    Instant Online Reading*
    $89.00
    BUY EBOOK
  • Foundations of Software Science and Computation Structures : 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings - Bart Jacobs
    Foundations of Software Science and Computation Structures
    19th International Conference, FOSSACS 2016, He...
    Bart Jacobs and Christof Löding
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Programming Languages : 20th Brazilian Symposium, SBLP 2016, Maringa, Brazil, September 22-23, 2016, Proceedings - Fernando Castor
    Programming Languages
    20th Brazilian Symposium, SBLP 2016, Maringa, B...
    Fernando Castor and Yu David Liu
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Model Checking Software : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings - María del Mar Gallardo
    Model Checking Software
    25th International Symposium, SPIN 2018, Malaga...
    María del Mar Gallardo and Pedro Merino
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Descriptional Complexity of Formal Systems : 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17-19, 2019, Proceedings - Michal Hospodár
    Descriptional Complexity of Formal Systems
    21st IFIP WG 1.02 International Conference, DCF...
    Michal Hospodár, Galina Jirásková and Stavros Konstantinidis
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Trusted Systems : 7th International Conference, INTRUST 2015, Beijing, China, December 7-8, 2015, Revised Selected Papers - Author
    Trusted Systems
    7th International Conference, INTRUST 2015, Bei...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Theory and Practice of Formal Methods : Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday - Erika Ábrahám
    Theory and Practice of Formal Methods
    Essays Dedicated to Frank de Boer on the Occasi...
    Erika Ábrahám, Marcello Bonsangue and Einar Broch Johnsen
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Semantic Technology : 5th Joint International Conference, JIST 2015, Yichang, China, November 11-13, 2015, Revised Selected Papers - Guilin Qi
    Semantic Technology
    5th Joint International Conference, JIST 2015, ...
    Guilin Qi, Kouji Kozaki, Jeff Z. Pan and Siwei Yu
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • FM 2016: Formal Methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings - John Fitzgerald
    FM 2016: Formal Methods
    21st International Symposium, Limassol, Cyprus,...
    John Fitzgerald, Constance Heitmeyer, Stefania Gnesi and Anna Philippou
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods and Software Engineering : 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings - Author
    Formal Methods and Software Engineering
    18th International Conference on Formal Enginee...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods: Foundations and Applications : 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings - Bill Roscoe
    Formal Methods: Foundations and Applications
    18th Brazilian Symposium, SBMF 2015, Belo Horiz...
    Bill Roscoe and Márcio Cornélio
    eText
    Instant Online Reading*
    $64.99
    BUY EBOOK
  • Tools and Algorithms for the Construction and Analysis of Systems : 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings - Marsha Chechik
    Tools and Algorithms for the Construction and Analysis of Systems
    22nd International Conference, TACAS 2016, Held...
    Marsha Chechik and Jean-François Raskin
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Automated Deduction in Geometry : 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers - Author
    Automated Deduction in Geometry
    10th International Workshop, ADG 2014, Coimbra,...
    Author
    eText
    Instant Online Reading*
    $64.99
    BUY EBOOK
  • Critical Systems: Formal Methods and Automated Verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings - Laure Petrucci
    Critical Systems: Formal Methods and Automated Verification
    Joint 22nd International Workshop on Formal Met...
    Laure Petrucci, Ana Cavalcanti and Cristina Seceleanu
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Pattern Recognition : 41st DAGM German Conference, DAGM GCPR 2019, Dortmund, Germany, September 10-13, 2019, Proceedings - Gernot A. Fink
    Pattern Recognition
    41st DAGM German Conference, DAGM GCPR 2019, Do...
    Gernot A. Fink, Simone Frintrop and Xiaoyi Jiang
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computational Intelligence Methods for Bioinformatics and Biostatistics : 14th International Meeting, CIBB 2017, Cagliari, Italy, September 7-9, 2017, Revised Selected Papers - Massimo Bartoletti
    Computational Intelligence Methods for Bioinformatics and Biostatistics
    14th International Meeting, CIBB 2017, Cagliari...
    Massimo Bartoletti, Annalisa Barla, Andrea Bracciali, Gunnar W. Klau and Roberto Tagliaferri
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Agents and Artificial Intelligence : 9th International Conference, ICAART 2017, Porto, Portugal, February 24-26, 2017, Revised Selected Papers - Jaap van den Herik
    Agents and Artificial Intelligence
    9th International Conference, ICAART 2017, Port...
    Jaap van den Herik, Ana Paula Rocha and Joaquim Filipe
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Fundamental Approaches to Software Engineering : 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings - Author
    Fundamental Approaches to Software Engineering
    19th International Conference, FASE 2016, Held ...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Information Security : 16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013, Proceedings - Yvo Desmedt
    Information Security
    16th International Conference, ISC 2013, Dallas...
    Yvo Desmedt
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Rule Technologies. Research, Tools, and Applications : 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings - Author
    Rule Technologies. Research, Tools, and Applications
    10th International Symposium, RuleML 2016, Ston...
    Author
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Multi-Agent Systems : 16th European Conference, EUMAS 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers - Marija Slavkovik
    Multi-Agent Systems
    16th European Conference, EUMAS 2018, Bergen, N...
    Marija Slavkovik
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Interactive Theorem Proving : 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings - Stephan Merz
    Interactive Theorem Proving
    7th International Conference, ITP 2016, Nancy, ...
    Stephan Merz and Jasmin Christian Blanchette
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Transactions on Rough Sets XVIII : Computer Science (R0) - James F. Peters
    Transactions on Rough Sets XVIII
    Computer Science (R0)
    James F. Peters, Andrzej Skowron, Tianrui Li, Yan Yang and Hung Son Nguyen
    eText
    Instant Online Reading*
    $64.99
    BUY EBOOK
  • ModelEd, TestEd, TrustEd : Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday - Arend Rensink
    ModelEd, TestEd, TrustEd
    Essays Dedicated to Ed Brinksma on the Occasion...
    Arend Rensink, Joost-Pieter Katoen and Rom Langerak
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic-Based Program Synthesis and Transformation : 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers - Moreno Falaschi
    Logic-Based Program Synthesis and Transformation
    25th International Symposium, LOPSTR 2015, Sien...
    Moreno Falaschi
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • New Essays on Frege : Between Science and Literature - Gisela Bengtsson
    New Essays on Frege
    Between Science and Literature
    Gisela Bengtsson, Simo Säätelä and Alois Pichler
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • NASA Formal Methods : 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings - Author
    NASA Formal Methods
    8th International Symposium, NFM 2016, Minneapo...
    Author
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • Computer Science - Theory and Applications : 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings - Author
    Computer Science - Theory and Applications
    11th International Computer Science Symposium i...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I - Daniel Kroening
    Computer Aided Verification
    27th International Conference, CAV 2015, San Fr...
    Daniel Kroening and Corina S. P?s?reanu
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II - Daniel Kroening
    Computer Aided Verification
    27th International Conference, CAV 2015, San Fr...
    Daniel Kroening and Corina S. P?s?reanu
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Web Reasoning and Rule Systems : 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings - Magdalena Ortiz
    Web Reasoning and Rule Systems
    10th International Conference, RR 2016, Aberdee...
    Magdalena Ortiz and Stefan Schlobach
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • The Semantic Web : 15th International Conference, ESWC 2018, Heraklion, Crete, Greece, June 3-7, 2018, Proceedings - Author
    The Semantic Web
    15th International Conference, ESWC 2018, Herak...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Reasoning Web. Web Logic Rules : 11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, Tutorial Lectures. - Wolfgang Faber
    Reasoning Web. Web Logic Rules
    11th International Summer School 2015, Berlin, ...
    Wolfgang Faber and Adrian Paschke
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Text, Speech, and Dialogue : 22nd International Conference, TSD 2019, Ljubljana, Slovenia, September 11-13, 2019, Proceedings - Kamil Ekštein
    Text, Speech, and Dialogue
    22nd International Conference, TSD 2019, Ljublj...
    Kamil Ekštein
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Principles and Practice of Constraint Programming : 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings - Michel Rueher
    Principles and Practice of Constraint Programming
    22nd International Conference, CP 2016, Toulous...
    Michel Rueher
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Reachability Problems : 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings - Matthew Hague
    Reachability Problems
    11th International Workshop, RP 2017, London, U...
    Matthew Hague and Igor Potapov
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • FME 2003: Formal Methods : International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings - Author
    FME 2003: Formal Methods
    International Symposium of Formal Methods Europ...
    Author
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Structured Object-Oriented Formal Language and Method : 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers - Shaoying Liu
    Structured Object-Oriented Formal Language and Method
    5th International Workshop, SOFL+MSVL 2015, Par...
    Shaoying Liu and Zhenhua Duan
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Quantitative Evaluation of Systems : 16th International Conference, QEST 2019, Glasgow, UK, September 10-12, 2019, Proceedings - David Parker
    Quantitative Evaluation of Systems
    16th International Conference, QEST 2019, Glasg...
    David Parker and Verena Wolf
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computer Safety, Reliability, and Security : SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings - Amund Skavhaug
    Computer Safety, Reliability, and Security
    SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR...
    Amund Skavhaug, Jérémie Guiochet, Erwin Schoitsch and Friedemann Bitsch
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Critical Systems: Formal Methods and Automated Verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings - Maurice H. ter Beek
    Critical Systems: Formal Methods and Automated Verification
    Joint 21st International Workshop on Formal Met...
    Maurice H. ter Beek, Stefania Gnesi and Alexander Knapp
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic-Based Program Synthesis and Transformation : 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers - Fred Mesnard
    Logic-Based Program Synthesis and Transformation
    28th International Symposium, LOPSTR 2018, Fran...
    Fred Mesnard and Peter J. Stuckey
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Modeling Decisions for Artificial Intelligence : 16th International Conference, MDAI 2019, Milan, Italy, September 4-6, 2019, Proceedings - Vicenç Torra
    Modeling Decisions for Artificial Intelligence
    16th International Conference, MDAI 2019, Milan...
    Vicenç Torra, Yasuo Narukawa, Gabriella Pasi and Marco Viviani
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • A List of Successes That Can Change the World : Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday - Author
    A List of Successes That Can Change the World
    Essays Dedicated to Philip Wadler on the Occasi...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Language and Automata Theory and Applications : 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings - Carlos Martín-Vide
    Language and Automata Theory and Applications
    13th International Conference, LATA 2019, St. P...
    Carlos Martín-Vide, Alexander Okhotin and Dana Shapira
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Temporal Type Theory : A Topos-Theoretic Approach to Systems and Behavior - Patrick Schultz
    Temporal Type Theory
    A Topos-Theoretic Approach to Systems and Behavior
    Patrick Schultz and David I. Spivak
    eText
    Instant Online Reading*
    $189.00
    BUY EBOOK
  • Constructivity and Computability in Historical and Philosophical Perspective : Philosophy and Religion (R0) - Jacques Dubucs
    Constructivity and Computability in Historical and Philosophical Perspective
    Philosophy and Religion (R0)
    Jacques Dubucs
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • A Cp-Theory Problem Book : Special Features of Function Spaces - Vladimir V. Tkachuk
    A Cp-Theory Problem Book
    Special Features of Function Spaces
    Vladimir V. Tkachuk
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Recursive Functions and Metamathematics : Problems of Completeness and Decidability, Godel's Theorems - Roman Murawski
    Recursive Functions and Metamathematics
    Problems of Completeness and Decidability, Gode...
    Roman Murawski
    eText
    Instant Online Reading*
    $249.00
    BUY EBOOK
  • What is Fundamental? : Physics and Astronomy (R0) - Anthony Aguirre
    What is Fundamental?
    Physics and Astronomy (R0)
    Anthony Aguirre, Brendan Foster and Zeeya Merali
    eText
    Instant Online Reading*
    $119.00
    BUY EBOOK
  • Saved from the Cellar : Gerhard Gentzen's Shorthand Notes on Logic and Foundations of Mathematics - Jan von Plato
    Saved from the Cellar
    Gerhard Gentzen's Shorthand Notes on Logic and ...
    Jan von Plato
    eText
    Instant Online Reading*
    $169.00
    BUY EBOOK
  • Descriptor Revision : Belief Change through Direct Choice - Sven Ove Hansson
    Descriptor Revision
    Belief Change through Direct Choice
    Sven Ove Hansson
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Contextualism, Factivity and Closure : A Union That Should Not Take Place? - Stefano Leardi
    Contextualism, Factivity and Closure
    A Union That Should Not Take Place?
    Stefano Leardi and Nicla Vassallo
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Concise Computer Mathematics : Tutorials on Theory and Problems - Ovidiu Bagdasar
    Concise Computer Mathematics
    Tutorials on Theory and Problems
    Ovidiu Bagdasar
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • Models and Inferences in Science : Philosophy and Religion (R0) - Emiliano Ippoliti
    Models and Inferences in Science
    Philosophy and Religion (R0)
    Emiliano Ippoliti
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Where is the Godel-point hiding : Gentzen's Consistency Proof of 1936 and His Representation of Constructive Ordinals - Anna Horská
    Where is the Godel-point hiding
    Gentzen's Consistency Proof of 1936 and His Rep...
    Anna Horská
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • Advances in Natural Deduction : A Celebration of Dag Prawitz's Work - Luiz Carlos Pereira
    Advances in Natural Deduction
    A Celebration of Dag Prawitz's Work
    Luiz Carlos Pereira, Valeria de Paiva and Edward Haeusler
    eText
    Instant Online Reading*
    $209.00
    BUY EBOOK
  • Metadata and Semantic Research : 12th International Conference, MTSR 2018, Limassol, Cyprus, October 23-26, 2018, Revised Selected Papers - Emmanouel Garoufallou
    Metadata and Semantic Research
    12th International Conference, MTSR 2018, Limas...
    Emmanouel Garoufallou, Fabio Sartori, Rania Siatri and Marios Zervas
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Freedom and Enforcement in Action : A Study in Formal Action Theory - Janusz Czelakowski
    Freedom and Enforcement in Action
    A Study in Formal Action Theory
    Janusz Czelakowski
    eText
    Instant Online Reading*
    $129.00
    BUY EBOOK
  • Visual Reasoning with Diagrams : Mathematics and Statistics (R0) - Amirouche Moktefi
    Visual Reasoning with Diagrams
    Mathematics and Statistics (R0)
    Amirouche Moktefi and Sun-Joo Shin
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • A General Framework for Reasoning On Inconsistency : Computer Science (R0) - Maria Vanina Martinez
    A General Framework for Reasoning On Inconsistency
    Computer Science (R0)
    Maria Vanina Martinez, Cristian Molinaro, V.S. Subrahmanian and Leila Amgoud
    eText
    Instant Online Reading*
    $64.99
    BUY EBOOK
  • A Mathematical Prelude to the Philosophy of Mathematics : Philosophy and Religion (R0) - Stephen Pollard
    A Mathematical Prelude to the Philosophy of Mathematics
    Philosophy and Religion (R0)
    Stephen Pollard
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Harmonies of Disorder : Norbert Wiener: A Mathematician-Philosopher of Our Time - Leone Montagnini
    Harmonies of Disorder
    Norbert Wiener: A Mathematician-Philosopher of ...
    Leone Montagnini
    eText
    Instant Online Reading*
    $109.00
    BUY EBOOK
  • Introduction to the Representation Theory of Algebras : Mathematics and Statistics (R0) - Michael Barot
    Introduction to the Representation Theory of Algebras
    Mathematics and Statistics (R0)
    Michael Barot
    eText
    Instant Online Reading*
    $64.99
    BUY EBOOK
  • The Invention of Numbers - Dr Peter Bentley
    The Invention of Numbers
    Dr Peter Bentley
    eBook
    Instant Digital Delivery
    $9.99
    BUY EBOOK
  • Topics in Computational Number Theory Inspired by Peter L. Montgomery - Joppe W. Bos
    Topics in Computational Number Theory Inspired by Peter L. Montgomery
    Joppe W. Bos and Arjen K. Lenstra
    eBook
    Instant Digital Delivery
    RRP $243.95
    $207.45
    15%
    OFF
    BUY EBOOK
  • Computability Theory : Chapman Hall/CRC Mathematics Series - S. Barry Cooper
    Computability Theory
    Chapman Hall/CRC Mathematics Series
    S. Barry Cooper
    eText
    Instant Online Reading*
    $218.90
    BUY EBOOK
  • ARWA : Circle Solutions without ? - M K Kulshresth
    ARWA
    Circle Solutions without ?
    M K Kulshresth
    eBook
     
    (1 review)
    Instant Digital Delivery
    $1.17
    BUY EBOOK
  • Intelligent Data Analysis for Biomedical Applications : Challenges and Solutions - Valentina Emilia Balas
    Intelligent Data Analysis for Biomedical Applications
    Challenges and Solutions
    Valentina Emilia Balas, D. Jude Hemanth and Deepak Gupta
    eBook
    Instant Digital Delivery
    RRP $185.41
    $166.86
    BUY EBOOK
  • Fundamentals of Linear Algebra : Textbooks in Mathematics - J.S. Chahal
    Fundamentals of Linear Algebra
    Textbooks in Mathematics
    J.S. Chahal
    eText
    Instant Online Reading*
    $104.49
    BUY EBOOK
  • Essential Logic for Computer Science : The MIT Press - Rex Page
    Essential Logic for Computer Science
    The MIT Press
    Rex Page and Ruben Gamboa
    eText
    Instant Online Reading*
    $47.04
    BUY EBOOK
  • Modal Logic : Cambridge Tracts in Theoretical Computer Science : Book 53 - Patrick Blackburn
    Modal Logic
    Cambridge Tracts in Theoretical Computer Scienc...
    Patrick Blackburn, Maarten de Rijke and Yde Venema
    eText
    Instant Online Reading*
    $179.95
    BUY EBOOK
  • An Invitation to Model Theory - Jonathan Kirby
    An Invitation to Model Theory
    Jonathan Kirby
    eBook
    Instant Digital Delivery
    RRP $51.95
    $44.21
    15%
    OFF
    BUY EBOOK
  • Security without Obscurity : A Guide to Cryptographic Architectures - Jeff Stapleton
    Security without Obscurity
    A Guide to Cryptographic Architectures
    Jeff Stapleton
    eText
    Instant Online Reading*
    $100.09
    BUY EBOOK
  • Synthetic Differential Topology : London Mathematical Society Lecture Note Series : Book 448 - Marta Bunge
    Synthetic Differential Topology
    London Mathematical Society Lecture Note Series...
    Marta Bunge, Felipe Gago and Ana María San Luis
    eBook
    Instant Digital Delivery
    RRP $135.95
    $115.60
    15%
    OFF
    BUY EBOOK
  • Cryptocurrencies : A Primer on Digital Money - Mark Grabowski
    Cryptocurrencies
    A Primer on Digital Money
    Mark Grabowski
    eText
    Instant Online Reading*
    $50.59
    BUY EBOOK
  • Logic in Practice : Routledge Library Editions: Logic - L. Susan Stebbing
    Logic in Practice
    Routledge Library Editions: Logic
    L. Susan Stebbing
    eText
    Instant Online Reading*
    $73.69
    BUY EBOOK
  • Fast Math: Learn the Secrets of Mental Math : By Using Vedic Math and Other Math Tricks to Perform Mental Calculations from Multiplication to Percentages without Calculators - Tim Ander
    Fast Math: Learn the Secrets of Mental Math
    By Using Vedic Math and Other Math Tricks to Pe...
    Tim Ander
    eBook
    Instant Digital Delivery
    $4.99
    My Library BUY EBOOK
  • Descriptive Complexity, Canonisation, and Definable Graph Structure Theory : Lecture Notes in Logic : Book 47 - Martin Grohe
    Descriptive Complexity, Canonisation, and Definable Graph Structure Theory
    Lecture Notes in Logic : Book 47
    Martin Grohe
    eBook
    Instant Digital Delivery
    RRP $322.00
    $273.78
    15%
    OFF
    BUY EBOOK
  • An Introduction to Category Theory - Harold Simmons
    An Introduction to Category Theory
    Harold Simmons
    eText
    Instant Online Reading*
    $75.96
    BUY EBOOK
  • The Copenhagen Conspiracy - David Ferry
    The Copenhagen Conspiracy
    David Ferry
    eText
    Instant Online Reading*
    $115.01
    BUY EBOOK
  • Formal Methods in Computer Science : Textbooks in Mathematics - Jiacun Wang
    Formal Methods in Computer Science
    Textbooks in Mathematics
    Jiacun Wang and William Tepfenhart
    eText
    Instant Online Reading*
    $169.40
    BUY EBOOK
  • Multimedia Watermarking Techniques and Applications : Internet and Communications - Darko Kirovski
    Multimedia Watermarking Techniques and Applications
    Internet and Communications
    Darko Kirovski
    eText
    Instant Online Reading*
    $129.80
    BUY EBOOK
  • An Invitation to Knot Theory : Virtual and Classical - Heather A. Dye
    An Invitation to Knot Theory
    Virtual and Classical
    Heather A. Dye
    eText
    Instant Online Reading*
    $198.00
    BUY EBOOK
  • Intelligent Copyright Protection for Images : Chapman & Hall/CRC Computational Intelligence and Its Applications - Subhrajit Sinha Roy
    Intelligent Copyright Protection for Images
    Chapman & Hall/CRC Computational Intelligence a...
    Subhrajit Sinha Roy, Abhishek Basu and Avik Chattopadhyay
    eText
    Instant Online Reading*
    $48.39
    BUY EBOOK
  • Goal-based Reasoning for Argumentation - Douglas Walton
    Goal-based Reasoning for Argumentation
    Douglas Walton
    eBook
    Instant Digital Delivery
    RRP $71.95
    $61.15
    15%
    OFF
    BUY EBOOK
  • An Introduction to Logic : The Criticism of Arguments - Peter Alexander
    An Introduction to Logic
    The Criticism of Arguments
    Peter Alexander
    eText
    Instant Online Reading*
    $73.69
    BUY EBOOK
  • The World Muslim Population : Spatial and Temporal Analyses - Houssain Kettani
    The World Muslim Population
    Spatial and Temporal Analyses
    Houssain Kettani
    eText
    Instant Online Reading*
    $230.99
    BUY EBOOK
  • Functional Interpretations : From the Dialectica Interpretation to Functional Interpretations of Analysis and Set Theory - Justus Diller
    Functional Interpretations
    From the Dialectica Interpretation to Functiona...
    Justus Diller
    eText
    Instant Online Reading*
    $126.49
    BUY EBOOK
3357 Results | View 24 / 100
< 1 ... 16 17 18 19 20 ... 34 >
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

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