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 > Mathematical Logic
Get Free Shipping on orders over $79

Mathematical Logic

REFINE YOUR RESULTS

SUBJECTS

  • Mathematical Logic
  • Set Theory

LISTS

  • All eBooks (2981)
  • Books (4256)
  • Audiobooks (38)
  • eTextbooks (2669)

AVAILABILITY

  • All eBooks (2981)
  • New Releases (25)
  • Coming Soon (4)
  • Subscription eBooks (137)

PRICE

FORMATS

LANGUAGE

  • eBook
     (2981)
  • Books
     (4256)
  • Audiobooks
     (38)
  • Audio CDs
     (3)
2981 Results | View 24 / 100
< 1 ... 5 6 7 8 9 ... 30 >
Sort By
Sort By:
  • Advances in Computational Intelligence : 16th Mexican International Conference on Artificial Intelligence, MICAI 2017, Enseneda, Mexico, October 23-28, 2017, Proceedings, Part II - Author
    Advances in Computational Intelligence
    16th Mexican International Conference on Artifi...
    Author
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • Relational and Algebraic Methods in Computer Science : 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings - Jules Desharnais
    Relational and Algebraic Methods in Computer Science
    17th International Conference, RAMiCS 2018, Gro...
    Jules Desharnais, Walter Guttmann and Stef Joosten
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • AI*IA 2017 Advances in Artificial Intelligence : XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings - Author
    AI*IA 2017 Advances in Artificial Intelligence
    XVIth International Conference of the Italian A...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures - Marco Bernardo
    Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
    16th International School on Formal Methods for...
    Marco Bernardo, Rocco De Nicola and Jane Hillston
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Mereology and the Sciences : Parts and Wholes in the Contemporary Scientific Context - Claudio Calosi
    Mereology and the Sciences
    Parts and Wholes in the Contemporary Scientific...
    Claudio Calosi and Pierluigi Graziani
    eText
    Instant Online Reading*
    $269.01
    BUY EBOOK
  • New Frontiers in Artificial Intelligence : JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers - Tsuyoshi Murata
    New Frontiers in Artificial Intelligence
    JSAI-isAI 2014 Workshops, LENLS, JURISIN, and G...
    Tsuyoshi Murata, Koji Mineshima and Daisuke Bekki
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Health Information Science : 6th International Conference, HIS 2017, Moscow, Russia, October 7-9, 2017, Proceedings - Siuly Siuly
    Health Information Science
    6th International Conference, HIS 2017, Moscow,...
    Siuly Siuly, Zhisheng Huang, Uwe Aickelin, Rui Zhou and Stanislav Klimenko
    eBook
    Instant Digital Delivery
    RRP $84.99
    $76.99
    BUY EBOOK
  • Afterpay
  • Small Dynamic Complexity Classes : An Investigation into Dynamic Descriptive Complexity - Thomas Zeume
    Small Dynamic Complexity Classes
    An Investigation into Dynamic Descriptive Compl...
    Thomas Zeume
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Statistical Language and Speech Processing : 5th International Conference, SLSP 2017, Le Mans, France, October 23-25, 2017, Proceedings - Nathalie Camelin
    Statistical Language and Speech Processing
    5th International Conference, SLSP 2017, Le Man...
    Nathalie Camelin, Yannick Estève and Carlos Martín-Vide
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Case-Based Reasoning Research and Development : 26th International Conference, ICCBR 2018, Stockholm, Sweden, July 9-12, 2018, Proceedings - Michael T. Cox
    Case-Based Reasoning Research and Development
    26th International Conference, ICCBR 2018, Stoc...
    Michael T. Cox, Peter Funk and Shahina Begum
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Principles and Practice of Constraint Programming : 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings - J. Christopher Beck
    Principles and Practice of Constraint Programming
    23rd International Conference, CP 2017, Melbour...
    J. Christopher Beck
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Model-Based Safety and Assessment : 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings - Marco Bozzano
    Model-Based Safety and Assessment
    5th International Symposium, IMBSA 2017, Trento...
    Marco Bozzano and Yiannis Papadopoulos
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods Teaching : Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings - Brijesh Dongol
    Formal Methods Teaching
    Third International Workshop and Tutorial, FMTe...
    Brijesh Dongol, Luigia Petre and Graeme Smith
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computer Science - Theory and Applications : 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings - Pascal Weil
    Computer Science - Theory and Applications
    12th International Computer Science Symposium i...
    Pascal Weil
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Trustworthy Global Computing : 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers - Martín Abadi
    Trustworthy Global Computing
    8th International Symposium, TGC 2013, Buenos A...
    Martín Abadi and Alberto Lluch Lafuente
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • AI*IA 2018 - Advances in Artificial Intelligence : XVIIth International Conference of the Italian Association for Artificial Intelligence, Trento, Italy, November 20-23, 2018, Proceedings - Chiara Ghidini
    AI*IA 2018 - Advances in Artificial Intelligence
    XVIIth International Conference of the Italian ...
    Chiara Ghidini, Bernardo Magnini, Andrea Passerini and Paolo Traverso
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Grammar : 22nd International Conference, FG 2017, Toulouse, France, July 22-23, 2017, Revised Selected Papers - Annie Foret
    Formal Grammar
    22nd International Conference, FG 2017, Toulous...
    Annie Foret, Reinhard Muskens and Sylvain Pogodalla
    eText
    Instant Online Reading*
    $69.99
    BUY EBOOK
  • PRIMA 2017: Principles and Practice of Multi-Agent Systems : 20th International Conference, Nice, France, October 30 - November 3, 2017, Proceedings - Serena Villata
    PRIMA 2017: Principles and Practice of Multi-Agent Systems
    20th International Conference, Nice, France, Oc...
    Serena Villata, Ana Bazzan, João Leite, Leendert van der Torre and Bo An
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Concurrency, Security, and Puzzles : Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday - Thomas Gibson-Robinson
    Concurrency, Security, and Puzzles
    Essays Dedicated to Andrew William Roscoe on th...
    Thomas Gibson-Robinson, Philippa Hopcroft and Ranko Lazi?
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • New Frontiers in Artificial Intelligence : JSAI-isAI 2015 Workshops, LENLS, JURISIN, AAA, HAT-MASH, TSDAA, ASD-HR, and SKL, Kanagawa, Japan, November 16-18, 2015, Revised Selected Papers - Mihoko Otake
    New Frontiers in Artificial Intelligence
    JSAI-isAI 2015 Workshops, LENLS, JURISIN, AAA, ...
    Mihoko Otake, Setsuya Kurahashi, Yuiko Ota, Ken Satoh and Daisuke Bekki
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • On the Move to Meaningful Internet Systems. OTM 2018 Conferences : Confederated International Conferences: CoopIS, C &TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part II - Hervé Panetto
    On the Move to Meaningful Internet Systems. OTM 2018 Conferences
    Confederated International Conferences: CoopIS,...
    Hervé Panetto, Christophe Debruyne, Henderik A. Proper, Claudio Agostino Ardagna and Robert Meersman
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Structured Object-Oriented Formal Language and Method : Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers - Zhenhua Duan
    Structured Object-Oriented Formal Language and Method
    Third International Workshop, SOFL+MSVL 2013, Q...
    Zhenhua Duan and Shaoying Liu
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Information Search, Integration, and Personalization : 12th International Workshop, ISIP 2018, Fukuoka, Japan, May 14-15, 2018, Revised Selected Papers - Dimitris Kotzinos
    Information Search, Integration, and Personalization
    12th International Workshop, ISIP 2018, Fukuoka...
    Dimitris Kotzinos, Dominique Laurent, Nicolas Spyratos, Yuzuru Tanaka and Rin-ichiro Taniguchi
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Concise Guide to Formal Methods : Theory, Fundamentals and Industry Applications - Gerard O'Regan
    Concise Guide to Formal Methods
    Theory, Fundamentals and Industry Applications
    Gerard O'Regan
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • Leveraging Applications of Formal Methods, Verification, and Validation : 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers - Anna-Lena Lamprecht
    Leveraging Applications of Formal Methods, Verification, and Validation
    6th International Symposium, ISoLA 2014, Corfu,...
    Anna-Lena Lamprecht
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • VLSI Design and Test : 23rd International Symposium, VDAT 2019, Indore, India, July 4-6, 2019, Revised Selected Papers - Anirban Sengupta
    VLSI Design and Test
    23rd International Symposium, VDAT 2019, Indore...
    Anirban Sengupta, Sudeb Dasgupta, Virendra Singh, Rohit Sharma and Santosh Kumar Vishvakarma
    eText
    Instant Online Reading*
    $169.00
    BUY EBOOK
  • Theoretical Computer Science : 36th National Conference, NCTCS 2018, Shanghai, China, October 13-14, 2018, Proceedings - Lian Li
    Theoretical Computer Science
    36th National Conference, NCTCS 2018, Shanghai,...
    Lian Li, Pinyan Lu and Kun He
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Artificial Intelligence : 17th Russian Conference, RCAI 2019, Ulyanovsk, Russia, October 21-25, 2019, Proceedings - Sergei O. Kuznetsov
    Artificial Intelligence
    17th Russian Conference, RCAI 2019, Ulyanovsk, ...
    Sergei O. Kuznetsov and Aleksandr I. Panov
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • New Trends in Databases and Information Systems : ADBIS 2019 Short Papers, Workshops BBIGAP, QAUCA, SemBDM, SIMPDA, M2P, MADEISD, and Doctoral Consortium, Bled, Slovenia, September 8-11, 2019, Proceedings - Tatjana Welzer
    New Trends in Databases and Information Systems
    ADBIS 2019 Short Papers, Workshops BBIGAP, QAUC...
    Tatjana Welzer, Johann Eder, Vili Podgorelec, Robert Wrembel and Aida Kamišali? Latifi?
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Recent Trends in Philosophical Logic : Mathematics and Statistics (R0) - Author
    Recent Trends in Philosophical Logic
    Mathematics and Statistics (R0)
    Author
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Quantum Computation and Logic : How Quantum Computers Have Inspired Logical Investigations - Maria Luisa Dalla Chiara
    Quantum Computation and Logic
    How Quantum Computers Have Inspired Logical Inv...
    Maria Luisa Dalla Chiara, Roberto Giuntini, Roberto Leporini and Giuseppe Sergioli
    eText
    Instant Online Reading*
    $199.00
    BUY EBOOK
  • The Continuous, the Discrete and the Infinitesimal in Philosophy and Mathematics : Philosophy and Religion (R0) - John L. Bell
    The Continuous, the Discrete and the Infinitesimal in Philosophy and Mathematics
    Philosophy and Religion (R0)
    John L. Bell
    eText
    Instant Online Reading*
    $169.00
    BUY EBOOK
  • Theoretical Computer Science : 37th National Conference, NCTCS 2019, Lanzhou, China, August 2-4, 2019, Revised Selected Papers - Xiaoming Sun
    Theoretical Computer Science
    37th National Conference, NCTCS 2019, Lanzhou, ...
    Xiaoming Sun, Kun He and Xiaoyun Chen
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Knowledge Graph and Semantic Computing. Knowledge Computing and Language Understanding : Third China Conference, CCKS 2018, Tianjin, China, August 14-17, 2018, Revised Selected Papers - Jun Zhao
    Knowledge Graph and Semantic Computing. Knowledge Computing and Language Understanding
    Third China Conference, CCKS 2018, Tianjin, Chi...
    Jun Zhao, Frank van Harmelen, Jie Tang, Xianpei Han and Xianyong Li
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • New Directions in Paraconsistent Logic : 5th WCP, Kolkata, India, February 2014 - Mihir Chakraborty
    New Directions in Paraconsistent Logic
    5th WCP, Kolkata, India, February 2014
    Mihir Chakraborty, Jean-Yves Beziau and Soma Dutta
    eText
    Instant Online Reading*
    $209.00
    BUY EBOOK
  • Incompleteness for Higher-Order Arithmetic : An Example Based on Harrington's Principle - Yong Cheng
    Incompleteness for Higher-Order Arithmetic
    An Example Based on Harrington's Principle
    Yong Cheng
    eText
    Instant Online Reading*
    $89.00
    BUY EBOOK
  • Mathematics, Informatics, and Their Applications in Natural Sciences and Engineering : AMINSE 2017, Tbilisi, Georgia, December 6-9 - George Jaiani
    Mathematics, Informatics, and Their Applications in Natural Sciences and Engineering
    AMINSE 2017, Tbilisi, Georgia, December 6-9
    George Jaiani and David Natroshvili
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • The Congruences of a Finite Lattice : A
    The Congruences of a Finite Lattice
    A "Proof-by-Picture" Approach
    George Grätzer
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Springer Handbook of Model-Based Science : Engineering (R0) - Lorenzo Magnani
    Springer Handbook of Model-Based Science
    Engineering (R0)
    Lorenzo Magnani and Tommaso Bertolotti
    eText
    Instant Online Reading*
    $519.00
    BUY EBOOK
  • Pell and Pell-Lucas Numbers with Applications - Thomas Koshy
    Pell and Pell-Lucas Numbers with Applications
    Thomas Koshy
    eText
    Instant Online Reading*
    $89.00
    BUY EBOOK
  • Using Event-B for Critical Device Software Systems : Computer Science (R0) - Neeraj Kumar Singh
    Using Event-B for Critical Device Software Systems
    Computer Science (R0)
    Neeraj Kumar Singh
    eBook
    Instant Digital Delivery
    RRP $159.00
    $143.10
    BUY EBOOK
  • Type Systems for Distributed Programs : Components and Sessions - Ornela Dardha
    Type Systems for Distributed Programs
    Components and Sessions
    Ornela Dardha
    eText
    Instant Online Reading*
    $149.01
    BUY EBOOK
  • Set Theory : With an Introduction to Real Point Sets - Abhijit Dasgupta
    Set Theory
    With an Introduction to Real Point Sets
    Abhijit Dasgupta
    eText
    Instant Online Reading*
    $129.00
    BUY EBOOK
  • Philosophical Logic: Current Trends in Asia : Proceedings of AWPL-TPLC 2016 - Hiroakira Ono
    Philosophical Logic: Current Trends in Asia
    Proceedings of AWPL-TPLC 2016
    Hiroakira Ono, Syraya Chin-Mu Yang and Kok Yong Lee
    eText
    Instant Online Reading*
    $319.00
    BUY EBOOK
  • Mobile Agent-Based Anomaly Detection and Verification System for Smart Home Sensor Networks : Computer Science (R0) - Muhammad Usman
    Mobile Agent-Based Anomaly Detection and Verification System for Smart Home Sensor Networks
    Computer Science (R0)
    Muhammad Usman, Vallipuram Muthukkumarasamy, Xin-Wen Wu and Surraya Khanum
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • A Course on Basic Model Theory - Haimanti Sarbadhikari
    A Course on Basic Model Theory
    Haimanti Sarbadhikari and Shashi Mohan Srivastava
    eText
    Instant Online Reading*
    $89.99
    BUY EBOOK
  • Formal Languages and Compilation : Computer Science (R0) - Stefano Crespi Reghizzi
    Formal Languages and Compilation
    Computer Science (R0)
    Stefano Crespi Reghizzi, Luca Breveglieri and Angelo Morzenti
    eText
    Instant Online Reading*
    $149.01
    BUY EBOOK
  • On the Logos : A Naïve View on Ordinary Reasoning and Fuzzy Logic - Enric Trillas
    On the Logos
    A Naïve View on Ordinary Reasoning and Fuzzy Logic
    Enric Trillas
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Jaakko Hintikka on Knowledge and Game-Theoretical Semantics : Philosophy and Religion (R0) - Hans van Ditmarsch
    Jaakko Hintikka on Knowledge and Game-Theoretical Semantics
    Philosophy and Religion (R0)
    Hans van Ditmarsch and Gabriel Sandu
    eText
    Instant Online Reading*
    $249.00
    BUY EBOOK
  • Proofs of the Cantor-Bernstein Theorem : A Mathematical Excursion - Arie Hinkis
    Proofs of the Cantor-Bernstein Theorem
    A Mathematical Excursion
    Arie Hinkis
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Language, Truth and Logic in Mathematics : Mathematics and Statistics (R0) - Jaakko Hintikka
    Language, Truth and Logic in Mathematics
    Mathematics and Statistics (R0)
    Jaakko Hintikka
    eBook
    Instant Digital Delivery
    RRP $239.00
    $215.15
    BUY EBOOK
  • Objectivity, Realism, and Proof : FilMat Studies in the Philosophy of Mathematics - Francesca Boccuni
    Objectivity, Realism, and Proof
    FilMat Studies in the Philosophy of Mathematics
    Francesca Boccuni and Andrea Sereni
    eText
    Instant Online Reading*
    $169.00
    BUY EBOOK
  • The Infinite in Mathematics : Logico-mathematical writings - B.F. McGuinness
    The Infinite in Mathematics
    Logico-mathematical writings
    Felix Kaufmann, B.F. McGuinness and Paul Foulkes
    eBook
    Instant Digital Delivery
    RRP $239.00
    $215.99
    BUY EBOOK
  • The Mathematical Philosophy of Bertrand Russell : Origins and Development - Francisco Rodríguez-Consuegra
    The Mathematical Philosophy of Bertrand Russell
    Origins and Development
    Francisco Rodríguez-Consuegra
    eBook
    Instant Digital Delivery
    RRP $84.99
    $76.99
    BUY EBOOK
  • Regulated Grammars and Automata : Computer Science (R0) - Alexander Meduna
    Regulated Grammars and Automata
    Computer Science (R0)
    Alexander Meduna and Petr Zemek
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Logic, Mathematics, and Computer Science : Modern Foundations with Practical Applications - Yves Nievergelt
    Logic, Mathematics, and Computer Science
    Modern Foundations with Practical Applications
    Yves Nievergelt
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • Neighborhood Semantics for Modal Logic : Philosophy and Religion (R0) - Eric Pacuit
    Neighborhood Semantics for Modal Logic
    Philosophy and Religion (R0)
    Eric Pacuit
    eText
    Instant Online Reading*
    $64.99
    BUY EBOOK
  • Structural Analysis of Non-Classical Logics : The Proceedings of the Second Taiwan Philosophical Logic Colloquium - Syraya Chin-Mu Yang
    Structural Analysis of Non-Classical Logics
    The Proceedings of the Second Taiwan Philosophi...
    Syraya Chin-Mu Yang, Duen-Min Deng and Hanti Lin
    eText
    Instant Online Reading*
    $139.00
    BUY EBOOK
  • Numerical Methods of Mathematics Implemented in Fortran : Mathematics and Statistics (R0) - Sujit Kumar Bose
    Numerical Methods of Mathematics Implemented in Fortran
    Mathematics and Statistics (R0)
    Sujit Kumar Bose
    eText
    Instant Online Reading*
    $89.00
    BUY EBOOK
  • The Incomputable : Journeys Beyond the Turing Barrier - S. Barry Cooper
    The Incomputable
    Journeys Beyond the Turing Barrier
    S. Barry Cooper
    eText
    Instant Online Reading*
    $189.00
    BUY EBOOK
  • Dependable Software Engineering. Theories, Tools, and Applications : Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings - Ji Wang
    Dependable Software Engineering. Theories, Tools, and Applications
    Third International Symposium, SETTA 2017, Chan...
    Ji Wang, Kim Guldstrand Larsen and Oleg Sokolsky
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Text Analysis Pipelines : Towards Ad-hoc Large-Scale Text Mining - Henning Wachsmuth
    Text Analysis Pipelines
    Towards Ad-hoc Large-Scale Text Mining
    Henning Wachsmuth
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • At the Intersection of Language, Logic, and Information : ESSLLI 2018 Student Session, Sofia, Bulgaria, August 6-17, 2018, Selected Papers - Jennifer Sikos
    At the Intersection of Language, Logic, and Information
    ESSLLI 2018 Student Session, Sofia, Bulgaria, A...
    Jennifer Sikos and Eric Pacuit
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Big Data Analytics : 6th International Conference, BDA 2018, Warangal, India, December 18-21, 2018, Proceedings - Anirban Mondal
    Big Data Analytics
    6th International Conference, BDA 2018, Waranga...
    Anirban Mondal, Himanshu Gupta, Jaideep Srivastava, P. Krishna Reddy and D.V.L.N. Somayajulu
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Advanced Information Systems Engineering : 31st International Conference, CAiSE 2019, Rome, Italy, June 3-7, 2019, Proceedings - Paolo Giorgini
    Advanced Information Systems Engineering
    31st International Conference, CAiSE 2019, Rome...
    Paolo Giorgini and Barbara Weber
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Semantic Technology : 6th Joint International Conference, JIST 2016, Singapore, Singapore, November 2-4, 2016, Revised Selected Papers - Jun Sun
    Semantic Technology
    6th Joint International Conference, JIST 2016, ...
    Jun Sun, Yuan-Fang Li, Yang Liu, Grigoris Antoniou and Wei Hu
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • KI 2017: Advances in Artificial Intelligence : 40th Annual German Conference on AI, Dortmund, Germany, September 25-29, 2017, Proceedings - Gabriele Kern-Isberner
    KI 2017: Advances in Artificial Intelligence
    40th Annual German Conference on AI, Dortmund, ...
    Gabriele Kern-Isberner, Johannes Fürnkranz and Matthias Thimm
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Implementation and Application of Automata : 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings - Yo-Sub Han
    Implementation and Application of Automata
    21st International Conference, CIAA 2016, Seoul...
    Yo-Sub Han and Kai Salomaa
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Multi-Agent Systems and Agreement Technologies : 14th European Conference, EUMAS 2016, and 4th International Conference, AT 2016, Valencia, Spain, December 15-16, 2016, Revised Selected Papers - Natalia Criado Pacheco
    Multi-Agent Systems and Agreement Technologies
    14th European Conference, EUMAS 2016, and 4th I...
    Natalia Criado Pacheco, Carlos Carrascosa, Nardine Osman and Vicente Julián Inglada
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Intelligent Computer Mathematics : 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings - Florian Rabe
    Intelligent Computer Mathematics
    11th International Conference, CICM 2018, Hagen...
    Florian Rabe, William M. Farmer, Grant O. Passmore and Abdou Youssef
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Model Checking Software : 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings - Fabrizio Biondi
    Model Checking Software
    26th International Symposium, SPIN 2019, Beijin...
    Fabrizio Biondi, Thomas Given-Wilson and Axel Legay
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Intuitionistic Proof Versus Classical Truth : The Role of Brouwer's Creative Subject in Intuitionistic Mathematics - Enrico Martino
    Intuitionistic Proof Versus Classical Truth
    The Role of Brouwer's Creative Subject in Intui...
    Enrico Martino
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Language and Automata Theory and Applications : 11th International Conference, LATA 2017, Umea, Sweden, March 6-9, 2017, Proceedings - Frank Drewes
    Language and Automata Theory and Applications
    11th International Conference, LATA 2017, Umea,...
    Frank Drewes, Carlos Martín-Vide and Bianca Truthe
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Cellular Automata and Discrete Complex Systems : 25th IFIP WG 1.5 International Workshop, AUTOMATA 2019, Guadalajara, Mexico, June 26-28, 2019, Proceedings - Alonso Castillo-Ramirez
    Cellular Automata and Discrete Complex Systems
    25th IFIP WG 1.5 International Workshop, AUTOMA...
    Alonso Castillo-Ramirez and Pedro P. B. de Oliveira
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Advances in Conceptual Modeling : ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers, Salvador, Brazil, November 4-7, 2019, Proceedings - Giancarlo Guizzardi
    Advances in Conceptual Modeling
    ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, On...
    Giancarlo Guizzardi, Frederik Gailly and Rita Suzana Pitangueira Maciel
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Description Logic, Theory Combination, and All That : Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday - Carsten Lutz
    Description Logic, Theory Combination, and All That
    Essays Dedicated to Franz Baader on the Occasio...
    Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan and Frank Wolter
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Topics in Theoretical Computer Science : The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers - Mohammad Reza Mousavi
    Topics in Theoretical Computer Science
    The First IFIP WG 1.8 International Conference,...
    Mohammad Reza Mousavi and Mohammed Taghi Hajiaghayi
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • AI 2015: Advances in Artificial Intelligence : 28th Australasian Joint Conference, Canberra, ACT, Australia, November 30 -- December 4, 2015, Proceedings - Bernhard Pfahringer
    AI 2015: Advances in Artificial Intelligence
    28th Australasian Joint Conference, Canberra, A...
    Bernhard Pfahringer and Jochen Renz
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Uncertainty Reasoning for the Semantic Web III : ISWC International Workshops, URSW 2011-2013, Revised Selected Papers - Nicola Fanizzi
    Uncertainty Reasoning for the Semantic Web III
    ISWC International Workshops, URSW 2011-2013, R...
    Nicola Fanizzi, Kathryn B. Laskey, Fernando Bobillo, Thomas Lukasiewicz and Rommel N. Carvalho
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Lifelong Technology-Enhanced Learning : 13th European Conference on Technology Enhanced Learning, EC-TEL 2018, Leeds, UK, September 3-5, 2018, Proceedings - Viktoria Pammer-Schindler
    Lifelong Technology-Enhanced Learning
    13th European Conference on Technology Enhanced...
    Viktoria Pammer-Schindler, Mar Pérez-Sanagustín, Hendrik Drachsler, Raymond Elferink and Maren Scheffel
    eText
    Instant Online Reading*
    $139.00
    BUY EBOOK
  • Database and Expert Systems Applications : 29th International Conference, DEXA 2018, Regensburg, Germany, September 3-6, 2018, Proceedings, Part II - Sven Hartmann
    Database and Expert Systems Applications
    29th International Conference, DEXA 2018, Regen...
    Sven Hartmann, Hui Ma, Abdelkader Hameurlain, Günther Pernul and Roland R. Wagner
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Model and Data Engineering : 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings - El Hassan Abdelwahed
    Model and Data Engineering
    8th International Conference, MEDI 2018, Marrak...
    El Hassan Abdelwahed, Ladjel Bellatreche, Mattéo Golfarelli, Dominique Méry and Carlos Ordonez
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Conceptual Modeling : 37th International Conference, ER 2018, Xi'an, China, October 22-25, 2018, Proceedings - Juan C. Trujillo
    Conceptual Modeling
    37th International Conference, ER 2018, Xi'an, ...
    Juan C. Trujillo, Karen C. Davis, Xiaoyong Du, Zhanhuai Li and Mong Li Lee
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Grammar : 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings - Raffaella Bernardi
    Formal Grammar
    24th International Conference, FG 2019, Riga, L...
    Raffaella Bernardi, Greg Kobele and Sylvain Pogodalla
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Digital Libraries for Open Knowledge : 22nd International Conference on Theory and Practice of Digital Libraries, TPDL 2018, Porto, Portugal, September 10-13, 2018, Proceedings - Eva Méndez
    Digital Libraries for Open Knowledge
    22nd International Conference on Theory and Pra...
    Eva Méndez, Fabio Crestani, Cristina Ribeiro, Gabriel David and João Correia Lopes
    eText
    Instant Online Reading*
    $119.00
    BUY EBOOK
  • Reasoning Web. Learning, Uncertainty, Streaming, and Scalability : 14th International Summer School 2018, Esch-sur-Alzette, Luxembourg, September 22-26, 2018, Tutorial Lectures - Claudia d’Amato
    Reasoning Web. Learning, Uncertainty, Streaming, and Scalability
    14th International Summer School 2018, Esch-sur...
    Claudia d’Amato and Martin Theobald
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computational Processing of the Portuguese Language : 13th International Conference, PROPOR 2018, Canela, Brazil, September 24-26, 2018, Proceedings - Aline Villavicencio
    Computational Processing of the Portuguese Language
    13th International Conference, PROPOR 2018, Can...
    Aline Villavicencio, Viviane Moreira, Alberto Abad, Helena Caseli and Gustavo Henrique Paetzold
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Software Technologies: Applications and Foundations : STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers - Manuel Wimmer
    Software Technologies: Applications and Foundations
    STAF 2016 Collocated Workshops: DataMod, GCM, H...
    Manuel Wimmer, Dániel Varró and Paolo Milazzo
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Coalgebraic Methods in Computer Science : 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14-15, 2018, Revised Selected Papers - Corina Cîrstea
    Coalgebraic Methods in Computer Science
    14th IFIP WG 1.3 International Workshop, CMCS 2...
    Corina Cîrstea
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering : 12th International Summer School 2016, Aberdeen, UK, September 5-9, 2016, Tutorial Lectures - Jeff Z. Pan
    Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering
    12th International Summer School 2016, Aberdeen...
    Jeff Z. Pan, Diego Calvanese, Thomas Eiter, Ian Horrocks and Yuting Zhao
    eText
    Instant Online Reading*
    $89.00
    BUY EBOOK
  • Formal Aspects of Component Software : 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers - Ivan Lanese
    Formal Aspects of Component Software
    11th International Symposium, FACS 2014, Bertin...
    Ivan Lanese and Eric Madelaine
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • NASA Formal Methods : 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings - Clark Barrett
    NASA Formal Methods
    9th International Symposium, NFM 2017, Moffett ...
    Clark Barrett, Misty Davies and Temesghen Kahsai
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods and Software Engineering : 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings - Michael Butler
    Formal Methods and Software Engineering
    17th International Conference on Formal Enginee...
    Michael Butler, Sylvain Conchon and Fatiha Zaïdi
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Rewriting Logic and Its Applications : 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings - Vlad Rusu
    Rewriting Logic and Its Applications
    12th International Workshop, WRLA 2018, Held as...
    Vlad Rusu
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Pluralism in Mathematics : A New Position in Philosophy of Mathematics - Michèle Friend
    Pluralism in Mathematics
    A New Position in Philosophy of Mathematics
    Michèle Friend
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Verification and Evaluation of Computer and Communication Systems : 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings - Mohamed Faouzi Atig
    Verification and Evaluation of Computer and Communication Systems
    12th International Conference, VECoS 2018, Gren...
    Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze and Bruno Monsuez
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Natural Language Processing and Information Systems : 22nd International Conference on Applications of Natural Language to Information Systems, NLDB 2017, Liege, Belgium, June 21-23, 2017, Proceedings - Flavius Frasincar
    Natural Language Processing and Information Systems
    22nd International Conference on Applications o...
    Flavius Frasincar, Ashwin Ittoo, Le Minh Nguyen and Elisabeth Métais
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Scalable Uncertainty Management : 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings - Davide Ciucci
    Scalable Uncertainty Management
    12th International Conference, SUM 2018, Milan,...
    Davide Ciucci, Gabriella Pasi and Barbara Vantaggi
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computational Methods in Systems Biology : 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings - Milan ?eška
    Computational Methods in Systems Biology
    16th International Conference, CMSB 2018, Brno,...
    Milan ?eška and David Šafránek
    eText
    Instant Online Reading*
    $89.00
    BUY EBOOK
2981 Results | View 24 / 100
< 1 ... 5 6 7 8 9 ... 30 >
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