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 $79

Mathematical Foundation

REFINE YOUR RESULTS

SUBJECTS

  • Mathematical Logic
  • Set Theory

LISTS

  • All eBooks (3432)
  • Books (5944)
  • Audiobooks (43)
  • eTextbooks (3040)

AVAILABILITY

  • All eBooks (3432)
  • New Releases (32)
  • Coming Soon (5)
  • Subscription eBooks (161)

PRICE

CUSTOMER RATING

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

FORMATS

LANGUAGE

  • eBook
     (3432)
  • Books
     (5944)
  • Audiobooks
     (43)
  • Audio CDs
     (3)
  • Stationery
     (2)
3432 Results | View 24 / 100
< 1 ... 6 7 8 9 10 ... 35 >
Sort By
Sort By:
  • 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 - Kazuhiro Ogata
    Formal Methods and Software Engineering
    18th International Conference on Formal Enginee...
    Kazuhiro Ogata, Mark Lawford and Shaoying Liu
    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 - Francisco Botana
    Automated Deduction in Geometry
    10th International Workshop, ADG 2014, Coimbra,...
    Francisco Botana and Pedro Quaresma
    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
  • Hot Pre-Orders
  • 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 - Sanjai Rayadurgam
    NASA Formal Methods
    8th International Symposium, NFM 2016, Minneapo...
    Sanjai Rayadurgam and Oksana Tkachuk
    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 - Alexander S. Kulikov
    Computer Science - Theory and Applications
    11th International Computer Science Symposium i...
    Alexander S. Kulikov and Gerhard J. Woeginger
    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 - Sam Lindley
    A List of Successes That Can Change the World
    Essays Dedicated to Philip Wadler on the Occasi...
    Sam Lindley, Conor McBride, Phil Trinder and Don Sannella
    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 and Michel Bourdeau
    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, Fabio Sterpetti and Tom Nickles
    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
  • Geometric and Topological Aspects of the Representation Theory of Finite Groups : PIMS Summer School and Workshop, July 27-August 5, 2016 - Jon F. Carlson
    Geometric and Topological Aspects of the Representation Theory of Finite Groups
    PIMS Summer School and Workshop, July 27-August...
    Jon F. Carlson, Srikanth B. Iyengar and Julia Pevtsova
    eText
    Instant Online Reading*
    $239.00
    BUY EBOOK
  • God and Abstract Objects : The Coherence of Theism: Aseity - William Lane Craig
    God and Abstract Objects
    The Coherence of Theism: Aseity
    William Lane Craig
    eText
    Instant Online Reading*
    $209.00
    BUY EBOOK
  • Towards the Mathematics of Quantum Field Theory : Mathematics and Statistics (R0) - Frédéric Paugam
    Towards the Mathematics of Quantum Field Theory
    Mathematics and Statistics (R0)
    Frédéric Paugam
    eText
    Instant Online Reading*
    $269.01
    BUY EBOOK
  • Reasoning and Unification over Conceptual Graphs - Dan Corbett
    Reasoning and Unification over Conceptual Graphs
    Dan Corbett
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • A History of Folding in Mathematics : Mathematizing the Margins - Michael Friedman
    A History of Folding in Mathematics
    Mathematizing the Margins
    Michael Friedman
    eText
    Instant Online Reading*
    $349.00
    BUY EBOOK
  • Formal Descriptions of Developing Systems : NATO Science Series II: Mathematics, Physics and Chemistry : Book 121 - Irina Trofimova
    Formal Descriptions of Developing Systems
    NATO Science Series II: Mathematics, Physics an...
    Irina Trofimova, John D. Rand, William Sulis and James Nation
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Quebec Studies in the Philosophy of Science : Part I: Logic, Mathematics, Physics and History of Science - Mathieu Marion
    Quebec Studies in the Philosophy of Science
    Part I: Logic, Mathematics, Physics and History...
    Mathieu Marion and Robert S. Cohen
    eBook
    Instant Digital Delivery
    RRP $159.00
    $143.99
    BUY EBOOK
  • Fuzzy Lie Algebras : Mathematics and Statistics (R0) - Muhammad Akram
    Fuzzy Lie Algebras
    Mathematics and Statistics (R0)
    Muhammad Akram
    eText
    Instant Online Reading*
    $179.00
    BUY EBOOK
  • Perspectives on Interrogative Models of Inquiry : Developments in Inquiry and Questions - Can Ba?kent
    Perspectives on Interrogative Models of Inquiry
    Developments in Inquiry and Questions
    Can Ba?kent
    eText
    Instant Online Reading*
    $129.00
    BUY EBOOK
  • Readings in Formal Epistemology : Sourcebook - Horacio Arló-Costa
    Readings in Formal Epistemology
    Sourcebook
    Henrik Boensvang, Rasmus K. Rendsvig, Horacio Arló-Costa, Vincent F. Hendricks and Johan van Benthem
    eText
    Instant Online Reading*
    $179.00
    BUY EBOOK
  • Artificial Adaptive Systems Using Auto Contractive Maps : Theory, Applications and Extensions - Paolo Massimo Buscema
    Artificial Adaptive Systems Using Auto Contractive Maps
    Theory, Applications and Extensions
    Paolo Massimo Buscema, Giulia Massini, Marco Breda, Weldon A. Lodwick and Masoud Asadi-Zeydabadi
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Inductive Logic Programming : 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers - Jesse Davis
    Inductive Logic Programming
    24th International Conference, ILP 2014, Nancy,...
    Jesse Davis and Jan Ramon
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • Verified Software: Theories, Tools and Experiments : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers - Dimitra Giannakopoulou
    Verified Software: Theories, Tools and Experiments
    6th International Conference, VSTTE 2014, Vienn...
    Dimitra Giannakopoulou and Daniel Kroening
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • Inductive Logic Programming : 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers - Gerson Zaverucha
    Inductive Logic Programming
    23rd International Conference, ILP 2013, Rio de...
    Gerson Zaverucha, Vítor Santos Costa and Aline Paes
    eText
    Instant Online Reading*
    $64.99
    BUY EBOOK
  • Runtime Verification : 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings - Ezio Bartocci
    Runtime Verification
    6th International Conference, RV 2015, Vienna, ...
    Ezio Bartocci and Rupak Majumdar
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • The Semantic Web: ESWC 2019 Satellite Events : ESWC 2019 Satellite Events, Portorož, Slovenia, June 2-6, 2019, Revised Selected Papers - Pascal Hitzler
    The Semantic Web: ESWC 2019 Satellite Events
    ESWC 2019 Satellite Events, Portorož, Slovenia,...
    Pascal Hitzler, Sabrina Kirrane, Olaf Hartig, Victor de Boer and Ruben Verborgh
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Constructive Semantics : Meaning in Between Phenomenology and Constructivism - Christina Weiss
    Constructive Semantics
    Meaning in Between Phenomenology and Constructi...
    Christina Weiss
    eText
    Instant Online Reading*
    $189.00
    BUY EBOOK
  • Scalable Uncertainty Management : 10th International Conference, SUM 2016, Nice, France, September 21-23, 2016, Proceedings - Steven Schockaert
    Scalable Uncertainty Management
    10th International Conference, SUM 2016, Nice, ...
    Steven Schockaert and Pierre Senellart
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Aspects of Component Software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings - José Proença
    Formal Aspects of Component Software
    14th International Conference, FACS 2017, Braga...
    José Proença and Markus Lumpe
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logics in Artificial Intelligence : 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings - Loizos Michael
    Logics in Artificial Intelligence
    15th European Conference, JELIA 2016, Larnaca, ...
    Loizos Michael and Antonis Kakas
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods and Software Engineering : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings - Luke Ong
    Formal Methods and Software Engineering
    19th International Conference on Formal Enginee...
    Luke Ong and Zhenhua Duan
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV : Special Issue on Consistency and Inconsistency in Data-Centric Applications - Author
    Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV
    Special Issue on Consistency and Inconsistency ...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Reliable Software Technologies - Ada-Europe 2016 : 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings - Eduardo Quiñones
    Reliable Software Technologies - Ada-Europe 2016
    21st Ada-Europe International Conference on Rel...
    Eduardo Quiñones, Luís Miguel Pinho and Marko Bertogna
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Multi-Agent Systems and Agreement Technologies : 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers - Author
    Multi-Agent Systems and Agreement Technologies
    13th European Conference, EUMAS 2015, and Third...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Techniques for Distributed Objects, Components, and Systems : 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings - Ahmed Bouajjani
    Formal Techniques for Distributed Objects, Components, and Systems
    37th IFIP WG 6.1 International Conference, FORT...
    Ahmed Bouajjani and Alexandra Silva
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Modeling and Analysis of Timed Systems : 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings - Martin Fränzle
    Formal Modeling and Analysis of Timed Systems
    14th International Conference, FORMATS 2016, Qu...
    Martin Fränzle and Nicolas Markey
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Integrated Formal Methods : 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings - Author
    Integrated Formal Methods
    12th International Conference, IFM 2016, Reykja...
    Author
    eText
    Instant Online Reading*
    $129.00
    BUY EBOOK
  • The Semantic Web : 16th International Conference, ESWC 2019, Portorož, Slovenia, June 2-6, 2019, Proceedings - Pascal Hitzler
    The Semantic Web
    16th International Conference, ESWC 2019, Porto...
    Pascal Hitzler, Miriam Fernández, Krzysztof Janowicz, Amrapali Zaveri and Karl Hammar
    eText
    Instant Online Reading*
    $139.00
    BUY EBOOK
  • Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings - Thierry Lecomte
    Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
    First International Conference, RSSRail 2016, P...
    Thierry Lecomte, Ralf Pinger and Alexander Romanovsky
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Integrated Uncertainty in Knowledge Modelling and Decision Making : 7th International Symposium, IUKM 2019, Nara, Japan, March 27-29, 2019, Proceedings - Hirosato Seki
    Integrated Uncertainty in Knowledge Modelling and Decision Making
    7th International Symposium, IUKM 2019, Nara, J...
    Hirosato Seki, Canh Hao Nguyen, Van-Nam Huynh and Masahiro Inuiguchi
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Scalable Uncertainty Management : 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings - Serafín Moral
    Scalable Uncertainty Management
    11th International Conference, SUM 2017, Granad...
    Serafín Moral, Olivier Pivert, Daniel Sánchez and Nicolás Marín
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Statistical Language and Speech Processing : 4th International Conference, SLSP 2016, Pilsen, Czech Republic, October 11-12, 2016, Proceedings - Pavel Král
    Statistical Language and Speech Processing
    4th International Conference, SLSP 2016, Pilsen...
    Pavel Král and Carlos Martín-Vide
    eText
    Instant Online Reading*
    $69.99
    BUY EBOOK
  • Implementation and Application of Automata : 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 - August 2, 2018, Proceedings - Cezar Câmpeanu
    Implementation and Application of Automata
    23rd International Conference, CIAA 2018, Charl...
    Cezar Câmpeanu
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Foundations of Software Science and Computation Structures : 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings - Javier Esparza
    Foundations of Software Science and Computation Structures
    20th International Conference, FOSSACS 2017, He...
    Javier Esparza and Andrzej S. Murawski
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Fundamental Approaches to Software Engineering : 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings - Marieke Huisman
    Fundamental Approaches to Software Engineering
    20th International Conference, FASE 2017, Held ...
    Marieke Huisman and Julia Rubin
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Dependable Software Engineering: Theories, Tools, and Applications : Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings - Martin Fränzle
    Dependable Software Engineering: Theories, Tools, and Applications
    Second International Symposium, SETTA 2016, Bei...
    Martin Fränzle, Deepak Kapur and Naijun Zhan
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Interactive Theorem Proving : 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings - Jeremy Avigad
    Interactive Theorem Proving
    9th International Conference, ITP 2018, Held as...
    Jeremy Avigad and Assia Mahboubi
    eText
    Instant Online Reading*
    $139.00
    BUY EBOOK
  • Explaining Beauty in Mathematics : An Aesthetic Theory of Mathematics - Ulianov Montano
    Explaining Beauty in Mathematics
    An Aesthetic Theory of Mathematics
    Ulianov Montano
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • The Logical Legacy of Nikolai Vasiliev and Modern Logic : Philosophy and Religion (R0) - Dmitry Zaitsev
    The Logical Legacy of Nikolai Vasiliev and Modern Logic
    Philosophy and Religion (R0)
    Dmitry Zaitsev and Vladimir Markin
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Causal Nets, Interventionism, and Mechanisms : Philosophical Foundations and Applications - Alexander Gebharter
    Causal Nets, Interventionism, and Mechanisms
    Philosophical Foundations and Applications
    Alexander Gebharter
    eText
    Instant Online Reading*
    $139.00
    BUY EBOOK
  • Mind, Meaning and Mathematics : Essays on the Philosophical Views of Husserl and Frege - L. Haaparanta
    Mind, Meaning and Mathematics
    Essays on the Philosophical Views of Husserl an...
    L. Haaparanta
    eBook
    Instant Digital Delivery
    RRP $159.00
    $143.99
    BUY EBOOK
  • Contradictions, from Consistency to Inconsistency : Mathematics and Statistics (R0) - Walter Carnielli
    Contradictions, from Consistency to Inconsistency
    Mathematics and Statistics (R0)
    Walter Carnielli and Jacek Malinowski
    eText
    Instant Online Reading*
    $169.00
    BUY EBOOK
  • Data Management Technologies and Applications : 6th International Conference, DATA 2017, Madrid, Spain, July 24-26, 2017, Revised Selected Papers - Joaquim Filipe
    Data Management Technologies and Applications
    6th International Conference, DATA 2017, Madrid...
    Joaquim Filipe, Jorge Bernardino and Christoph Quix
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
3432 Results | View 24 / 100
< 1 ... 6 7 8 9 10 ... 35 >
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