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 (3434)
  • Books (5965)
  • Audiobooks (44)
  • eTextbooks (3042)

AVAILABILITY

  • All eBooks (3434)
  • New Releases (31)
  • Coming Soon (4)
  • Subscription eBooks (161)

PRICE

CUSTOMER RATING

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

FORMATS

LANGUAGE

  • eBook
     (3434)
  • Books
     (5965)
  • Audiobooks
     (44)
  • Audio CDs
     (3)
3434 Results | View 24 / 100
< 1 ... 5 6 7 8 9 ... 35 >
Sort By
Sort By:
  • 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
  • Afterpay
  • 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
  • Artificial Intelligence and Symbolic Computation : 13th International Conference, AISC 2018, Suzhou, China, September 16-19, 2018, Proceedings - Jacques Fleuriot
    Artificial Intelligence and Symbolic Computation
    13th International Conference, AISC 2018, Suzho...
    Jacques Fleuriot, Dongming Wang and Jacques Calmet
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Hardware and Software: Verification and Testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings - Nir Piterman
    Hardware and Software: Verification and Testing
    11th International Haifa Verification Conferenc...
    Nir Piterman
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • The Semantic Web - ISWC 2018 : 17th International Semantic Web Conference, Monterey, CA, USA, October 8-12, 2018, Proceedings, Part II - Denny Vrande?i?
    The Semantic Web - ISWC 2018
    17th International Semantic Web Conference, Mon...
    Denny Vrande?i?, Kalina Bontcheva, Mari Carmen Suárez-Figueroa, Valentina Presutti and Elena Simperl
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • Tests and Proofs : 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings - Dirk Beyer
    Tests and Proofs
    13th International Conference, TAP 2019, Held a...
    Dirk Beyer and Chantal Keller
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • AI Approaches to the Complexity of Legal Systems : AICOL International Workshops 2015-2017: AICOL-VI@JURIX 2015, AICOL-VII@EKAW 2016, AICOL-VIII@JURIX 2016, AICOL-IX@ICAIL 2017, and AICOL-X@JURIX 2017, Revised Selected Papers - Ugo Pagallo
    AI Approaches to the Complexity of Legal Systems
    AICOL International Workshops 2015-2017: AICOL-...
    Ugo Pagallo, Monica Palmirani, Pompeu Casanovas, Giovanni Sartor and Serena Villata
    eText
    Instant Online Reading*
    $129.00
    BUY EBOOK
  • Rough Sets : International Joint Conference, IJCRS 2018, Quy Nhon, Vietnam, August 20-24, 2018, Proceedings - Author
    Rough Sets
    International Joint Conference, IJCRS 2018, Quy...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • The Semantic Web - ISWC 2018 : 17th International Semantic Web Conference, Monterey, CA, USA, October 8-12, 2018, Proceedings, Part I - Denny Vrande?i?
    The Semantic Web - ISWC 2018
    17th International Semantic Web Conference, Mon...
    Denny Vrande?i?, Kalina Bontcheva, Mari Carmen Suárez-Figueroa, Valentina Presutti and Elena Simperl
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Software Engineering and Formal Methods : SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers - Carlos Canal
    Software Engineering and Formal Methods
    SEFM 2014 Collocated Workshops: HOFM, SAFOME, O...
    Carlos Canal and Akram Idani
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Mathematical Aspects of Computer and Information Sciences : 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings - Johannes Blömer
    Mathematical Aspects of Computer and Information Sciences
    7th International Conference, MACIS 2017, Vienn...
    Johannes Blömer, Ilias S. Kotsireas, Temur Kutsia and Dimitris E. Simos
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computability and Complexity : Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday - Adam Day
    Computability and Complexity
    Essays Dedicated to Rodney G. Downey on the Occ...
    Adam Day, Michael Fellows, Noam Greenberg, Bakhadyr Khoussainov and Frances Rosamond
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Duality Theories for Boolean Algebras with Operators : Mathematics and Statistics (R0) - Steven Givant
    Duality Theories for Boolean Algebras with Operators
    Mathematics and Statistics (R0)
    Steven Givant
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Epistemology, Context, and Formalism : Philosophy and Religion (R0) - Franck Lihoreau
    Epistemology, Context, and Formalism
    Philosophy and Religion (R0)
    Franck Lihoreau and Manuel Rebuschi
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • The Mathematics of Coordinated Inference : A Study of Generalized Hat Problems - Christopher S. Hardin
    The Mathematics of Coordinated Inference
    A Study of Generalized Hat Problems
    Christopher S. Hardin and Alan D. Taylor
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Handbook of Philosophical Logic : Volume IV: Topics in the Philosophy of Language - Dov M. Gabbay
    Handbook of Philosophical Logic
    Volume IV: Topics in the Philosophy of Language
    Dov M. Gabbay and Franz Guenthner
    eBook
    Instant Digital Delivery
    RRP $84.99
    $76.99
    BUY EBOOK
  • Conceptual Spaces : Elaborations and Applications - Author
    Conceptual Spaces
    Elaborations and Applications
    Author
    eText
    Instant Online Reading*
    $189.00
    BUY EBOOK
  • Fundamentals of Algebraic Topology : Mathematics and Statistics (R0) - Steven H. Weintraub
    Fundamentals of Algebraic Topology
    Mathematics and Statistics (R0)
    Steven H. Weintraub
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • Hilbert's Program : An Essay on Mathematical Instrumentalism - M. Detlefsen
    Hilbert's Program
    An Essay on Mathematical Instrumentalism
    M. Detlefsen
    eBook
    Instant Digital Delivery
    RRP $159.00
    $143.99
    BUY EBOOK
  • Axiomatic Method and Category Theory : Synthese Library : Book 364 - Andrei Rodin
    Axiomatic Method and Category Theory
    Synthese Library : Book 364
    Andrei Rodin
    eText
    Instant Online Reading*
    $209.00
    BUY EBOOK
  • Set Theory : Exploring Independence and Truth - Ralf Schindler
    Set Theory
    Exploring Independence and Truth
    Ralf Schindler
    eText
    Instant Online Reading*
    $129.00
    BUY EBOOK
  • A Model-Theoretic Approach to Proof Theory : Mathematics and Statistics (R0) - Henryk Kotlarski
    A Model-Theoretic Approach to Proof Theory
    Mathematics and Statistics (R0)
    Henryk Kotlarski, Zofia Adamowicz, Teresa Bigorajska and Konrad Zdanowski
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Perspectives in Computational Complexity : The Somenath Biswas Anniversary Volume - Author
    Perspectives in Computational Complexity
    The Somenath Biswas Anniversary Volume
    Author
    eText
    Instant Online Reading*
    $169.00
    BUY EBOOK
  • Moduli of Curves : CIMAT Guanajuato, Mexico 2016 - Ciro Ciliberto
    Moduli of Curves
    CIMAT Guanajuato, Mexico 2016
    Ciro Ciliberto, Margarida Melo, Eduardo Esteves, Claire Voisin and Leticia Brambila Paz
    eText
    Instant Online Reading*
    $89.00
    BUY EBOOK
  • Applied Logic for Computer Scientists : Computational Deduction and Formal Proofs - Mauricio Ayala-Rincón
    Applied Logic for Computer Scientists
    Computational Deduction and Formal Proofs
    Mauricio Ayala-Rincón and Flávio L. C. de Moura
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • Artificial Intelligence : 16th Russian Conference, RCAI 2018, Moscow, Russia, September 24-27, 2018, Proceedings - Sergei O. Kuznetsov
    Artificial Intelligence
    16th Russian Conference, RCAI 2018, Moscow, Rus...
    Sergei O. Kuznetsov, Gennady S. Osipov and Vadim L. Stefanuk
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Knowledge Management in Organizations : 14th International Conference, KMO 2019, Zamora, Spain, July 15-18, 2019, Proceedings - Lorna Uden
    Knowledge Management in Organizations
    14th International Conference, KMO 2019, Zamora...
    Lorna Uden, I-Hsien Ting and Juan Manuel Corchado
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Quantum Physics, Fuzzy Sets and Logic : Steps Towards a Many-Valued Interpretation of Quantum Mechanics - Jaros?aw Pykacz
    Quantum Physics, Fuzzy Sets and Logic
    Steps Towards a Many-Valued Interpretation of Q...
    Jaros?aw Pykacz
    eText
    Instant Online Reading*
    $89.99
    BUY EBOOK
  • Linking Game-Theoretical Approaches with Constructive Type Theory : Dialogical Strategies, CTT demonstrations and the Axiom of Choice - Nicolas Clerbout
    Linking Game-Theoretical Approaches with Constructive Type Theory
    Dialogical Strategies, CTT demonstrations and t...
    Nicolas Clerbout and Shahid Rahman
    eText
    Instant Online Reading*
    $89.99
    BUY EBOOK
  • Data Analytics and Management in Data Intensive Domains : 20th International Conference, DAMDID/RCDL 2018, Moscow, Russia, October 9-12, 2018, Revised Selected Papers - Yannis Manolopoulos
    Data Analytics and Management in Data Intensive Domains
    20th International Conference, DAMDID/RCDL 2018...
    Yannis Manolopoulos and Sergey Stupnikov
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Scientific Objectivity and Its Contexts : Philosophy and Religion (R0) - Evandro Agazzi
    Scientific Objectivity and Its Contexts
    Philosophy and Religion (R0)
    Evandro Agazzi
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Homological and Computational Methods in Commutative Algebra : Dedicated to Winfried Bruns on the Occasion of his 70th Birthday - Aldo Conca
    Homological and Computational Methods in Commutative Algebra
    Dedicated to Winfried Bruns on the Occasion of ...
    Aldo Conca, Tim Römer and Joseph Gubeladze
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Problems and Proofs in Numbers and Algebra - Peter J. Shiue
    Problems and Proofs in Numbers and Algebra
    Peter J. Shiue, Richard S. Millman and Eric Brendan Kahn
    eText
    Instant Online Reading*
    $89.99
    BUY EBOOK
  • Lie Groups, Differential Equations, and Geometry : Advances and Surveys - Giovanni Falcone
    Lie Groups, Differential Equations, and Geometry
    Advances and Surveys
    Giovanni Falcone
    eText
    Instant Online Reading*
    $169.00
    BUY EBOOK
  • The Hyperuniverse Project and Maximality - Carolin Antos
    The Hyperuniverse Project and Maximality
    Carolin Antos, Sy-David Friedman, Radek Honzik and Claudio Ternullo
    eText
    Instant Online Reading*
    $129.00
    BUY EBOOK
  • The Colorado Mathematical Olympiad: The Third Decade and Further Explorations : From the Mountains of Colorado to the Peaks of Mathematics - Alexander Soifer
    The Colorado Mathematical Olympiad: The Third Decade and Further Explorations
    From the Mountains of Colorado to the Peaks of ...
    Alexander Soifer
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • A New Perspective on Nonmonotonic Logics : Computer Science (R0) - Dov M. Gabbay
    A New Perspective on Nonmonotonic Logics
    Computer Science (R0)
    Dov M. Gabbay and Karl Schlechta
    eText
    Instant Online Reading*
    $209.00
    BUY EBOOK
  • Writing Proofs in Analysis : Mathematics and Statistics (R0) - Jonathan M. Kane
    Writing Proofs in Analysis
    Mathematics and Statistics (R0)
    Jonathan M. Kane
    eText
    Instant Online Reading*
    $89.00
    BUY EBOOK
  • Rohit Parikh on Logic, Language and Society : Philosophy and Religion (R0) - Can Ba?kent
    Rohit Parikh on Logic, Language and Society
    Philosophy and Religion (R0)
    Can Ba?kent, Lawrence S. Moss and Ramaswamy Ramanujam
    eText
    Instant Online Reading*
    $169.00
    BUY EBOOK
  • Martin Davis on Computability, Computational Logic, and Mathematical Foundations : Philosophy and Religion (R0) - Eugenio G. Omodeo
    Martin Davis on Computability, Computational Logic, and Mathematical Foundations
    Philosophy and Religion (R0)
    Eugenio G. Omodeo
    eText
    Instant Online Reading*
    $189.00
    BUY EBOOK
  • Hybrid Metaheuristics : 10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016, Proceedings - Maria J. Blesa
    Hybrid Metaheuristics
    10th International Workshop, HM 2016, Plymouth,...
    Maria J. Blesa, Christian Blum, Angelo Cangelosi, Vincenzo Cutello and Alessandro Di Nuovo
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Transactions on Rough Sets XX : Computer Science (R0) - James F. Peters
    Transactions on Rough Sets XX
    Computer Science (R0)
    James F. Peters and Andrzej Skowron
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Theoretical Aspects of Computing - ICTAC 2016 : 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings - Augusto Sampaio
    Theoretical Aspects of Computing - ICTAC 2016
    13th International Colloquium, Taipei, Taiwan, ...
    Augusto Sampaio and Farn Wang
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Recent Trends in Algebraic Development Techniques : 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers - Phillip James
    Recent Trends in Algebraic Development Techniques
    23rd IFIP WG 1.3 International Workshop, WADT 2...
    Phillip James and Markus Roggenbach
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Developments in Language Theory : 23rd International Conference, DLT 2019, Warsaw, Poland, August 5-9, 2019, Proceedings - Piotrek Hofman
    Developments in Language Theory
    23rd International Conference, DLT 2019, Warsaw...
    Piotrek Hofman and Micha? Skrzypczak
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • New Frontiers in Artificial Intelligence : JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27-28, 2013, Revised Selected Papers - Yukiko Nakano
    New Frontiers in Artificial Intelligence
    JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI,...
    Yukiko Nakano, Ken Satoh and Daisuke Bekki
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : Third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings - Simon Collart-Dutilleul
    Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
    Third International Conference, RSSRail 2019, L...
    Simon Collart-Dutilleul, Thierry Lecomte and Alexander Romanovsky
    eText
    Instant Online Reading*
    $89.00
    BUY EBOOK
  • Foundations of Software Science and Computation Structures : 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings - Bart Jacobs
    Foundations of Software Science and Computation Structures
    19th International Conference, FOSSACS 2016, He...
    Bart Jacobs and Christof Löding
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Programming Languages : 20th Brazilian Symposium, SBLP 2016, Maringa, Brazil, September 22-23, 2016, Proceedings - Fernando Castor
    Programming Languages
    20th Brazilian Symposium, SBLP 2016, Maringa, B...
    Fernando Castor and Yu David Liu
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Model Checking Software : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings - María del Mar Gallardo
    Model Checking Software
    25th International Symposium, SPIN 2018, Malaga...
    María del Mar Gallardo and Pedro Merino
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Descriptional Complexity of Formal Systems : 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17-19, 2019, Proceedings - Michal Hospodár
    Descriptional Complexity of Formal Systems
    21st IFIP WG 1.02 International Conference, DCF...
    Michal Hospodár, Galina Jirásková and Stavros Konstantinidis
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Trusted Systems : 7th International Conference, INTRUST 2015, Beijing, China, December 7-8, 2015, Revised Selected Papers - Moti Yung
    Trusted Systems
    7th International Conference, INTRUST 2015, Bei...
    Moti Yung, Jianbiao Zhang and Zhen Yang
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Theory and Practice of Formal Methods : Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday - Erika Ábrahám
    Theory and Practice of Formal Methods
    Essays Dedicated to Frank de Boer on the Occasi...
    Erika Ábrahám, Marcello Bonsangue and Einar Broch Johnsen
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Semantic Technology : 5th Joint International Conference, JIST 2015, Yichang, China, November 11-13, 2015, Revised Selected Papers - Guilin Qi
    Semantic Technology
    5th Joint International Conference, JIST 2015, ...
    Guilin Qi, Kouji Kozaki, Jeff Z. Pan and Siwei Yu
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • FM 2016: Formal Methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings - John Fitzgerald
    FM 2016: Formal Methods
    21st International Symposium, Limassol, Cyprus,...
    John Fitzgerald, Constance Heitmeyer, Stefania Gnesi and Anna Philippou
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods and Software Engineering : 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings - 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
  • 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
3434 Results | View 24 / 100
< 1 ... 5 6 7 8 9 ... 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