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 (5948)
  • Audiobooks (43)
  • eTextbooks (3041)

AVAILABILITY

  • All eBooks (3432)
  • New Releases (31)
  • Coming Soon (6)
  • Subscription eBooks (162)

PRICE

CUSTOMER RATING

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

FORMATS

LANGUAGE

  • eBook
     (3432)
  • Books
     (5948)
  • Audiobooks
     (43)
  • Audio CDs
     (3)
  • Stationery
     (2)
3432 Results | View 24 / 100
< 1 ... 32 33 34 35 >
Sort By
Sort By:
  • Computer Aided Verification : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I - Swarat Chaudhuri
    Computer Aided Verification
    28th International Conference, CAV 2016, Toront...
    Swarat Chaudhuri and Azadeh Farzan
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • The Philosophers and Mathematics : Festschrift for Roshdi Rashed - Hassan Tahiri
    The Philosophers and Mathematics
    Festschrift for Roshdi Rashed
    Hassan Tahiri
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Numerical Software Verification : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers - Sergiy Bogomolov
    Numerical Software Verification
    9th International Workshop, NSV 2016, Toronto, ...
    Sergiy Bogomolov, Matthieu Martel and Pavithra Prabhakar
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Interactive Theorem Proving : 8th International Conference, ITP 2017, Brasilia, Brazil, September 26-29, 2017, Proceedings - Mauricio Ayala-Rincón
    Interactive Theorem Proving
    8th International Conference, ITP 2017, Brasili...
    Mauricio Ayala-Rincón and César A. Muñoz
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods: Foundations and Applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings - Thierry Lecomte
    Formal Methods: Foundations and Applications
    19th Brazilian Symposium, SBMF 2016, Natal, Bra...
    Thierry Lecomte and Leila Ribeiro
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Language and Automata Theory and Applications : 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings - Shmuel Tomi Klein
    Language and Automata Theory and Applications
    12th International Conference, LATA 2018, Ramat...
    Shmuel Tomi Klein, Carlos Martín-Vide and Dana Shapira
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic, Language, and Probability : A Selection of Papers Contributed to Sections IV, VI, and XI of the Fourth International Congress for Logic, Methodology, and Philosophy of Science, Bucharest, September 1971 - R. Bogdan
    Logic, Language, and Probability
    A Selection of Papers Contributed to Sections I...
    R. Bogdan and I. Niiniluoto
    eBook
    Instant Digital Delivery
    RRP $84.99
    $76.99
    BUY EBOOK
  • Australian Stories
  • Implementation and Application of Automata : 22nd International Conference, CIAA 2017, Marne-la-Vallee, France, June 27-30, 2017, Proceedings - Arnaud Carayol
    Implementation and Application of Automata
    22nd International Conference, CIAA 2017, Marne...
    Arnaud Carayol and Cyril Nicaud
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Automated Reasoning : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings - Nicola Olivetti
    Automated Reasoning
    8th International Joint Conference, IJCAR 2016,...
    Nicola Olivetti and Ashish Tiwari
    eText
    Instant Online Reading*
    $129.00
    BUY EBOOK
  • Dependable Software Engineering. Theories, Tools, and Applications : 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings - Xinyu Feng
    Dependable Software Engineering. Theories, Tools, and Applications
    4th International Symposium, SETTA 2018, Beijin...
    Xinyu Feng, Markus Müller-Olm and Zijiang Yang
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Semigroups in Complete Lattices : Quantales, Modules and Related Topics - Patrik Eklund
    Semigroups in Complete Lattices
    Quantales, Modules and Related Topics
    Patrik Eklund, Javier Gutie?rrez Garci?a, Ulrich Höhle and Jari Kortelainen
    eText
    Instant Online Reading*
    $199.00
    BUY EBOOK
  • Computing with Foresight and Industry : 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15-19, 2019, Proceedings - Florin Manea
    Computing with Foresight and Industry
    15th Conference on Computability in Europe, CiE...
    Florin Manea, Barnaby Martin, Daniël Paulusma and Giuseppe Primiero
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Current Trends in Web Engineering : ICWE 2017 International Workshops, Liquid Multi-Device Software and EnWoT, practi-O-web, NLPIT, SoWeMine, Rome, Italy, June 5-8, 2017, Revised Selected Papers - Irene Garrigós
    Current Trends in Web Engineering
    ICWE 2017 International Workshops, Liquid Multi...
    Irene Garrigós and Manuel Wimmer
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Techniques for Distributed Objects, Components, and Systems : 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings - Elvira Albert
    Formal Techniques for Distributed Objects, Components, and Systems
    36th IFIP WG 6.1 International Conference, FORT...
    Elvira Albert and Ivan Lanese
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Verified Software. Theories, Tools, and Experiments : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers - Sandrine Blazy
    Verified Software. Theories, Tools, and Experiments
    8th International Conference, VSTTE 2016, Toron...
    Sandrine Blazy and Marsha Chechik
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Topics in Theoretical Computer Science : Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings - Mohammad Reza Mousavi
    Topics in Theoretical Computer Science
    Second IFIP WG 1.8 International Conference, TT...
    Mohammad Reza Mousavi and Ji?í Sgall
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Runtime Verification : 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings - Bernd Finkbeiner
    Runtime Verification
    19th International Conference, RV 2019, Porto, ...
    Bernd Finkbeiner and Leonardo Mariani
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • Automated Reasoning with Analytic Tableaux and Related Methods : 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings - Serenella Cerrito
    Automated Reasoning with Analytic Tableaux and Related Methods
    28th International Conference, TABLEAUX 2019, L...
    Serenella Cerrito and Andrei Popescu
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic Programming and Nonmonotonic Reasoning : 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings - Marcello Balduccini
    Logic Programming and Nonmonotonic Reasoning
    14th International Conference, LPNMR 2017, Espo...
    Marcello Balduccini and Tomi Janhunen
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017, Proceedings - Alessandro Antonucci
    Symbolic and Quantitative Approaches to Reasoning with Uncertainty
    14th European Conference, ECSQARU 2017, Lugano,...
    Alessandro Antonucci, Laurence Cholvy and Odile Papini
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Agents and Artificial Intelligence : 8th International Conference, ICAART 2016, Rome, Italy, February 24-26, 2016, Revised Selected Papers - Joaquim Filipe
    Agents and Artificial Intelligence
    8th International Conference, ICAART 2016, Rome...
    Joaquim Filipe and Jaap van den Herik
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Aspects of Component Software : 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers - Zhiming Liu
    Formal Aspects of Component Software
    10th International Symposium, FACS 2013, Nancha...
    Zhiming Liu, Jinyun Xue and José Luiz Fiadeiro
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Automated Reasoning with Analytic Tableaux and Related Methods : 26th International Conference, TABLEAUX 2017, Brasilia, Brazil, September 25-28, 2017, Proceedings - Cláudia Nalon
    Automated Reasoning with Analytic Tableaux and Related Methods
    26th International Conference, TABLEAUX 2017, B...
    Cláudia Nalon and Renate A. Schmidt
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • Formal Matrices : Mathematics and Statistics (R0) - Piotr Krylov
    Formal Matrices
    Mathematics and Statistics (R0)
    Piotr Krylov and Askar Tuganbaev
    eText
    Instant Online Reading*
    $129.00
    BUY EBOOK
  • Information Processing and Management of Uncertainty in Knowledge-Based Systems : 16th International Conference, IPMU 2016, Eindhoven, The Netherlands, June 20-24, 2016, Proceedings, Part I - Joao Paulo Carvalho
    Information Processing and Management of Uncertainty in Knowledge-Based Systems
    16th International Conference, IPMU 2016, Eindh...
    Joao Paulo Carvalho, Bernadette Bouchon-Meunier, Susana Vieira, Marie-Jeanne Lesot and Ronald R. Yager
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Modern Logic 1850-1950, East and West : Mathematics and Statistics (R0) - Francine F. Abeles
    Modern Logic 1850-1950, East and West
    Mathematics and Statistics (R0)
    Francine F. Abeles and Mark E. Fuller
    eText
    Instant Online Reading*
    $109.00
    BUY EBOOK
  • Heyting Algebras : Duality Theory - Leo Esakia
    Heyting Algebras
    Duality Theory
    Leo Esakia
    eText
    Instant Online Reading*
    $139.00
    BUY EBOOK
  • Information Processing and Management of Uncertainty in Knowledge-Based Systems : 16th International Conference, IPMU 2016, Eindhoven, The Netherlands, June 20 - 24, 2016, Proceedings, Part II - Joao Paulo Carvalho
    Information Processing and Management of Uncertainty in Knowledge-Based Systems
    16th International Conference, IPMU 2016, Eindh...
    Joao Paulo Carvalho, Marie-Jeanne Lesot, Uzay Kaymak, Susana Vieira and Ronald R. Yager
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Representation Theory : A Homological Algebra Point of View - Alexander Zimmermann
    Representation Theory
    A Homological Algebra Point of View
    Alexander Zimmermann
    eText
    Instant Online Reading*
    $169.00
    BUY EBOOK
  • Philosophy's Loss of Logic to Mathematics : An Inadequately Understood Take-Over - Woosuk Park
    Philosophy's Loss of Logic to Mathematics
    An Inadequately Understood Take-Over
    Woosuk Park
    eText
    Instant Online Reading*
    $89.00
    BUY EBOOK
  • Meaning in Dialogue : An Interactive Approach to Logic and Reasoning - James Trafford
    Meaning in Dialogue
    An Interactive Approach to Logic and Reasoning
    James Trafford
    eText
    Instant Online Reading*
    $139.00
    BUY EBOOK
  • Logics in Computer Science : A Study on Extensions of Temporal and Strategic Logics - Fabio Mogavero
    Logics in Computer Science
    A Study on Extensions of Temporal and Strategic...
    Fabio Mogavero
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Models of Strategic Reasoning : Logics, Games, and Communities - Johan van Benthem
    Models of Strategic Reasoning
    Logics, Games, and Communities
    Johan van Benthem, Sujata Ghosh and Rineke Verbrugge
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Automated Technology for Verification and Analysis : 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings - Bernd Finkbeiner
    Automated Technology for Verification and Analysis
    13th International Symposium, ATVA 2015, Shangh...
    Bernd Finkbeiner, Geguang Pu and Lijun Zhang
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Transactions on Large-Scale Data- and Knowledge-Centered Systems XXII : Computer Science (R0) - Abdelkader Hameurlain
    Transactions on Large-Scale Data- and Knowledge-Centered Systems XXII
    Computer Science (R0)
    Abdelkader Hameurlain, Josef Küng and Roland Wagner
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic, Language, Information, and Computation : 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings - Rosalie Iemhoff
    Logic, Language, Information, and Computation
    26th International Workshop, WoLLIC 2019, Utrec...
    Rosalie Iemhoff, Michael Moortgat and Ruy de Queiroz
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Natural Language Processing and Chinese Computing : 8th CCF International Conference, NLPCC 2019, Dunhuang, China, October 9-14, 2019, Proceedings, Part I - Jie Tang
    Natural Language Processing and Chinese Computing
    8th CCF International Conference, NLPCC 2019, D...
    Jie Tang, Min-Yen Kan, Dongyan Zhao, Sujian Li and Hongying Zan
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Data Integration in the Life Sciences : 13th International Conference, DILS 2018, Hannover, Germany, November 20-21, 2018, Proceedings - Sören Auer
    Data Integration in the Life Sciences
    13th International Conference, DILS 2018, Hanno...
    Sören Auer and Maria-Esther Vidal
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Dynamic Logic. New Trends and Applications : First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings - Alexandre Madeira
    Dynamic Logic. New Trends and Applications
    First International Workshop, DALI 2017, Brasil...
    Alexandre Madeira and Mário Benevides
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • The Semantic Web: ESWC 2018 Satellite Events : ESWC 2018 Satellite Events, Heraklion, Crete, Greece, June 3-7, 2018, Revised Selected Papers - Aldo Gangemi
    The Semantic Web: ESWC 2018 Satellite Events
    ESWC 2018 Satellite Events, Heraklion, Crete, G...
    Aldo Gangemi, Anna Lisa Gentile, Andrea Giovanni Nuzzolese, Sebastian Rudolph and Mehwish Alam
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Theory and Applications of Models of Computation : 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings - T.V. Gopal
    Theory and Applications of Models of Computation
    15th Annual Conference, TAMC 2019, Kitakyushu, ...
    T.V. Gopal and Junzo Watada
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logical Foundations of Computer Science : International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings - Sergei Artemov
    Logical Foundations of Computer Science
    International Symposium, LFCS 2018, Deerfield B...
    Sergei Artemov and Anil Nerode
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Modeling and Analysis of Timed Systems : 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings - Étienne André
    Formal Modeling and Analysis of Timed Systems
    17th International Conference, FORMATS 2019, Am...
    Étienne André and Mariëlle Stoelinga
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Hardware and Software: Verification and Testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings - Roderick Bloem
    Hardware and Software: Verification and Testing
    12th International Haifa Verification Conferenc...
    Roderick Bloem and Eli Arbel
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings - Sujata Ghosh
    Logic and Its Applications
    7th Indian Conference, ICLA 2017, Kanpur, India...
    Sujata Ghosh and Sanjiva Prasad
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • The Handbook of Formal Methods in Human-Computer Interaction : Computer Science (R0) - Judy Bowen
    The Handbook of Formal Methods in Human-Computer Interaction
    Computer Science (R0)
    Judy Bowen, Benjamin Weyers, Philippe Palanque and Alan Dix
    eText
    Instant Online Reading*
    $369.01
    BUY EBOOK
  • Leśniewski's Systems of Logic and Foundations of Mathematics : Mathematics and Statistics (R0) - Rafal Urbaniak
    Leśniewski's Systems of Logic and Foundations of Mathematics
    Mathematics and Statistics (R0)
    Rafal Urbaniak
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • An Introduction to the Language of Category Theory : Mathematics and Statistics (R0) - Steven Roman
    An Introduction to the Language of Category Theory
    Mathematics and Statistics (R0)
    Steven Roman
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • Minimal Free Resolutions over Complete Intersections : Mathematics and Statistics (R0) - David Eisenbud
    Minimal Free Resolutions over Complete Intersections
    Mathematics and Statistics (R0)
    David Eisenbud and Irena Peeva
    eText
    Instant Online Reading*
    $64.99
    BUY EBOOK
  • Infinity Properads and Infinity Wheeled Properads : Mathematics and Statistics (R0) - Philip Hackney
    Infinity Properads and Infinity Wheeled Properads
    Mathematics and Statistics (R0)
    Philip Hackney, Marcy Robertson and Donald Yau
    eText
    Instant Online Reading*
    $109.00
    BUY EBOOK
  • Period Mappings with Applications to Symplectic Complex Spaces : Mathematics and Statistics (R0) - Tim Kirschner
    Period Mappings with Applications to Symplectic Complex Spaces
    Mathematics and Statistics (R0)
    Tim Kirschner
    eText
    Instant Online Reading*
    $84.99
    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
  • Algebras and Representation Theory : Mathematics and Statistics (R0) - Karin Erdmann
    Algebras and Representation Theory
    Mathematics and Statistics (R0)
    Karin Erdmann and Thorsten Holm
    eText
    Instant Online Reading*
    $59.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
  • Structural Analysis of Metallic Glasses with Computational Homology : SpringerBriefs in the Mathematics of Materials : Book 2 - Akihiko Hirata
    Structural Analysis of Metallic Glasses with Computational Homology
    SpringerBriefs in the Mathematics of Materials ...
    Akihiko Hirata, Kaname Matsue and Mingwei Chen
    eText
    Instant Online Reading*
    $89.99
    BUY EBOOK
  • Manifolds, Sheaves, and Cohomology : Mathematics and Statistics (R0) - Torsten Wedhorn
    Manifolds, Sheaves, and Cohomology
    Mathematics and Statistics (R0)
    Torsten Wedhorn
    eText
    Instant Online Reading*
    $129.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
3432 Results | View 24 / 100
< 1 ... 32 33 34 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