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 (2980)
  • Books (4258)
  • Audiobooks (32)
  • eTextbooks (2667)

AVAILABILITY

  • All eBooks (2980)
  • New Releases (26)
  • Coming Soon (3)
  • Subscription eBooks (136)

PRICE

FORMATS

LANGUAGE

  • eBook
     (2980)
  • Books
     (4258)
  • Audiobooks
     (32)
  • Audio CDs
     (3)
2980 Results | View 24 / 100
< 1 ... 11 12 13 14 15 ... 30 >
Sort By
Sort By:
  • Visual Reasoning with Diagrams : Mathematics and Statistics (R0) - Amirouche Moktefi
    Visual Reasoning with Diagrams
    Mathematics and Statistics (R0)
    Amirouche Moktefi and Sun-Joo Shin
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • A General Framework for Reasoning On Inconsistency : Computer Science (R0) - Maria Vanina Martinez
    A General Framework for Reasoning On Inconsistency
    Computer Science (R0)
    Maria Vanina Martinez, Cristian Molinaro, V. S. Subrahmanian and Leila Amgoud
    eText
    Instant Online Reading*
    $64.99
    BUY EBOOK
  • A Mathematical Prelude to the Philosophy of Mathematics : Philosophy and Religion (R0) - Stephen Pollard
    A Mathematical Prelude to the Philosophy of Mathematics
    Philosophy and Religion (R0)
    Stephen Pollard
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Harmonies of Disorder : Norbert Wiener: A Mathematician-Philosopher of Our Time - Leone Montagnini
    Harmonies of Disorder
    Norbert Wiener: A Mathematician-Philosopher of ...
    Leone Montagnini
    eText
    Instant Online Reading*
    $109.00
    BUY EBOOK
  • God and Abstract Objects : The Coherence of Theism: Aseity - William Lane Craig
    God and Abstract Objects
    The Coherence of Theism: Aseity
    William Lane Craig
    eText
    Instant Online Reading*
    $209.00
    BUY EBOOK
  • Reasoning and Unification over Conceptual Graphs - Dan Corbett
    Reasoning and Unification over Conceptual Graphs
    Dan Corbett
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • A History of Folding in Mathematics : Mathematizing the Margins - Michael Friedman
    A History of Folding in Mathematics
    Mathematizing the Margins
    Michael Friedman
    eText
    Instant Online Reading*
    $349.00
    BUY EBOOK
  • Bestseller Bargains
  • Formal Descriptions of Developing Systems : NATO Science Series II: Mathematics, Physics and Chemistry : Book 121 - Irina Trofimova
    Formal Descriptions of Developing Systems
    NATO Science Series II: Mathematics, Physics an...
    Irina Trofimova, John D. Rand, William Sulis and James Nation
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Quebec Studies in the Philosophy of Science : Part I: Logic, Mathematics, Physics and History of Science - Mathieu Marion
    Quebec Studies in the Philosophy of Science
    Part I: Logic, Mathematics, Physics and History...
    Mathieu Marion and Robert S. Cohen
    eBook
    Instant Digital Delivery
    RRP $159.00
    $143.99
    BUY EBOOK
  • Fuzzy Lie Algebras : Mathematics and Statistics (R0) - Muhammad Akram
    Fuzzy Lie Algebras
    Mathematics and Statistics (R0)
    Muhammad Akram
    eText
    Instant Online Reading*
    $179.00
    BUY EBOOK
  • Perspectives on Interrogative Models of Inquiry : Developments in Inquiry and Questions - Can Ba?kent
    Perspectives on Interrogative Models of Inquiry
    Developments in Inquiry and Questions
    Can Ba?kent
    eText
    Instant Online Reading*
    $129.00
    BUY EBOOK
  • Readings in Formal Epistemology : Sourcebook - Horacio Arló-Costa
    Readings in Formal Epistemology
    Sourcebook
    Henrik Boensvang, Rasmus K. Rendsvig, Horacio Arló-Costa, Vincent F. Hendricks and Johan van Benthem
    eText
    Instant Online Reading*
    $179.00
    BUY EBOOK
  • Artificial Adaptive Systems Using Auto Contractive Maps : Theory, Applications and Extensions - Paolo Massimo Buscema
    Artificial Adaptive Systems Using Auto Contractive Maps
    Theory, Applications and Extensions
    Paolo Massimo Buscema, Giulia Massini, Marco Breda, Weldon A. Lodwick and Masoud Asadi-Zeydabadi
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Inductive Logic Programming : 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers - Jesse Davis
    Inductive Logic Programming
    24th International Conference, ILP 2014, Nancy,...
    Jesse Davis and Jan Ramon
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • Verified Software: Theories, Tools and Experiments : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers - Dimitra Giannakopoulou
    Verified Software: Theories, Tools and Experiments
    6th International Conference, VSTTE 2014, Vienn...
    Dimitra Giannakopoulou and Daniel Kroening
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • Inductive Logic Programming : 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers - Gerson Zaverucha
    Inductive Logic Programming
    23rd International Conference, ILP 2013, Rio de...
    Gerson Zaverucha, Vítor Santos Costa and Aline Paes
    eText
    Instant Online Reading*
    $64.99
    BUY EBOOK
  • Runtime Verification : 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings - Ezio Bartocci
    Runtime Verification
    6th International Conference, RV 2015, Vienna, ...
    Ezio Bartocci and Rupak Majumdar
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • The Semantic Web: ESWC 2019 Satellite Events : ESWC 2019 Satellite Events, Portorož, Slovenia, June 2-6, 2019, Revised Selected Papers - Pascal Hitzler
    The Semantic Web: ESWC 2019 Satellite Events
    ESWC 2019 Satellite Events, Portorož, Slovenia,...
    Pascal Hitzler, Sabrina Kirrane, Olaf Hartig, Victor de Boer and Ruben Verborgh
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Constructive Semantics : Meaning in Between Phenomenology and Constructivism - Christina Weiss
    Constructive Semantics
    Meaning in Between Phenomenology and Constructi...
    Christina Weiss
    eText
    Instant Online Reading*
    $189.00
    BUY EBOOK
  • Scalable Uncertainty Management : 10th International Conference, SUM 2016, Nice, France, September 21-23, 2016, Proceedings - Steven Schockaert
    Scalable Uncertainty Management
    10th International Conference, SUM 2016, Nice, ...
    Steven Schockaert and Pierre Senellart
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Aspects of Component Software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings - José Proença
    Formal Aspects of Component Software
    14th International Conference, FACS 2017, Braga...
    José Proença and Markus Lumpe
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logics in Artificial Intelligence : 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings - Loizos Michael
    Logics in Artificial Intelligence
    15th European Conference, JELIA 2016, Larnaca, ...
    Loizos Michael and Antonis Kakas
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods and Software Engineering : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings - Luke Ong
    Formal Methods and Software Engineering
    19th International Conference on Formal Enginee...
    Luke Ong and Zhenhua Duan
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV : Special Issue on Consistency and Inconsistency in Data-Centric Applications - Author
    Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV
    Special Issue on Consistency and Inconsistency ...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Reliable Software Technologies - Ada-Europe 2016 : 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings - Eduardo Quiñones
    Reliable Software Technologies - Ada-Europe 2016
    21st Ada-Europe International Conference on Rel...
    Eduardo Quiñones, Luís Miguel Pinho and Marko Bertogna
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Multi-Agent Systems and Agreement Technologies : 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers - Author
    Multi-Agent Systems and Agreement Technologies
    13th European Conference, EUMAS 2015, and Third...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Techniques for Distributed Objects, Components, and Systems : 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings - Ahmed Bouajjani
    Formal Techniques for Distributed Objects, Components, and Systems
    37th IFIP WG 6.1 International Conference, FORT...
    Ahmed Bouajjani and Alexandra Silva
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Modeling and Analysis of Timed Systems : 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings - Martin Fränzle
    Formal Modeling and Analysis of Timed Systems
    14th International Conference, FORMATS 2016, Qu...
    Martin Fränzle and Nicolas Markey
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Integrated Formal Methods : 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings - Author
    Integrated Formal Methods
    12th International Conference, IFM 2016, Reykja...
    Author
    eText
    Instant Online Reading*
    $129.00
    BUY EBOOK
  • The Semantic Web : 16th International Conference, ESWC 2019, Portorož, Slovenia, June 2-6, 2019, Proceedings - Pascal Hitzler
    The Semantic Web
    16th International Conference, ESWC 2019, Porto...
    Pascal Hitzler, Miriam Fernández, Krzysztof Janowicz, Amrapali Zaveri and Karl Hammar
    eText
    Instant Online Reading*
    $139.00
    BUY EBOOK
  • Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings - Thierry Lecomte
    Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
    First International Conference, RSSRail 2016, P...
    Thierry Lecomte, Ralf Pinger and Alexander Romanovsky
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Integrated Uncertainty in Knowledge Modelling and Decision Making : 7th International Symposium, IUKM 2019, Nara, Japan, March 27-29, 2019, Proceedings - Hirosato Seki
    Integrated Uncertainty in Knowledge Modelling and Decision Making
    7th International Symposium, IUKM 2019, Nara, J...
    Hirosato Seki, Canh Hao Nguyen, Van-Nam Huynh and Masahiro Inuiguchi
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Scalable Uncertainty Management : 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings - Serafín Moral
    Scalable Uncertainty Management
    11th International Conference, SUM 2017, Granad...
    Serafín Moral, Olivier Pivert, Daniel Sánchez and Nicolás Marín
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Statistical Language and Speech Processing : 4th International Conference, SLSP 2016, Pilsen, Czech Republic, October 11-12, 2016, Proceedings - Pavel Král
    Statistical Language and Speech Processing
    4th International Conference, SLSP 2016, Pilsen...
    Pavel Král and Carlos Martín-Vide
    eText
    Instant Online Reading*
    $69.99
    BUY EBOOK
  • Implementation and Application of Automata : 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 - August 2, 2018, Proceedings - Cezar Câmpeanu
    Implementation and Application of Automata
    23rd International Conference, CIAA 2018, Charl...
    Cezar Câmpeanu
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Foundations of Software Science and Computation Structures : 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings - Javier Esparza
    Foundations of Software Science and Computation Structures
    20th International Conference, FOSSACS 2017, He...
    Javier Esparza and Andrzej S. Murawski
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Fundamental Approaches to Software Engineering : 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings - Marieke Huisman
    Fundamental Approaches to Software Engineering
    20th International Conference, FASE 2017, Held ...
    Marieke Huisman and Julia Rubin
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Dependable Software Engineering: Theories, Tools, and Applications : Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings - Martin Fränzle
    Dependable Software Engineering: Theories, Tools, and Applications
    Second International Symposium, SETTA 2016, Bei...
    Martin Fränzle, Deepak Kapur and Naijun Zhan
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Interactive Theorem Proving : 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings - Jeremy Avigad
    Interactive Theorem Proving
    9th International Conference, ITP 2018, Held as...
    Jeremy Avigad and Assia Mahboubi
    eText
    Instant Online Reading*
    $139.00
    BUY EBOOK
  • Explaining Beauty in Mathematics : An Aesthetic Theory of Mathematics - Ulianov Montano
    Explaining Beauty in Mathematics
    An Aesthetic Theory of Mathematics
    Ulianov Montano
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • The Logical Legacy of Nikolai Vasiliev and Modern Logic : Philosophy and Religion (R0) - Dmitry Zaitsev
    The Logical Legacy of Nikolai Vasiliev and Modern Logic
    Philosophy and Religion (R0)
    Dmitry Zaitsev and Vladimir Markin
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Causal Nets, Interventionism, and Mechanisms : Philosophical Foundations and Applications - Alexander Gebharter
    Causal Nets, Interventionism, and Mechanisms
    Philosophical Foundations and Applications
    Alexander Gebharter
    eText
    Instant Online Reading*
    $139.00
    BUY EBOOK
  • Mind, Meaning and Mathematics : Essays on the Philosophical Views of Husserl and Frege - L. Haaparanta
    Mind, Meaning and Mathematics
    Essays on the Philosophical Views of Husserl an...
    L. Haaparanta
    eBook
    Instant Digital Delivery
    RRP $159.00
    $143.99
    BUY EBOOK
  • Contradictions, from Consistency to Inconsistency : Mathematics and Statistics (R0) - Walter Carnielli
    Contradictions, from Consistency to Inconsistency
    Mathematics and Statistics (R0)
    Walter Carnielli and Jacek Malinowski
    eText
    Instant Online Reading*
    $169.00
    BUY EBOOK
  • Data Management Technologies and Applications : 6th International Conference, DATA 2017, Madrid, Spain, July 24-26, 2017, Revised Selected Papers - Joaquim Filipe
    Data Management Technologies and Applications
    6th International Conference, DATA 2017, Madrid...
    Joaquim Filipe, Jorge Bernardino and Christoph Quix
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Knowledge Discovery, Knowledge Engineering and Knowledge Management : 9th International Joint Conference, IC3K 2017, Funchal, Madeira, Portugal, November 1-3, 2017, Revised Selected Papers - Ana Fred
    Knowledge Discovery, Knowledge Engineering and Knowledge Management
    9th International Joint Conference, IC3K 2017, ...
    Ana Fred, David Aveiro, Jan L. G. Dietz, Kecheng Liu and Joaquim Filipe
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Towards a General Theory of Classifications : Mathematics and Statistics (R0) - Daniel Parrochia
    Towards a General Theory of Classifications
    Mathematics and Statistics (R0)
    Daniel Parrochia and Pierre Neuville
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Data Analytics and Management in Data Intensive Domains : XIX International Conference, DAMDID/RCDL 2017, Moscow, Russia, October 10-13, 2017, Revised Selected Papers - Leonid Kalinichenko
    Data Analytics and Management in Data Intensive Domains
    XIX International Conference, DAMDID/RCDL 2017,...
    Leonid Kalinichenko, Yannis Manolopoulos, Oleg Malkov, Nikolay Skvortsov and Vladimir Sukhomlin
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Artificial Life and Evolutionary Computation : 13th Italian Workshop, WIVACE 2018, Parma, Italy, September 10-12, 2018, Revised Selected Papers - Stefano Cagnoni
    Artificial Life and Evolutionary Computation
    13th Italian Workshop, WIVACE 2018, Parma, Ital...
    Stefano Cagnoni, Monica Mordonini, Riccardo Pecori, Andrea Roli and Marco Villani
    eText
    Instant Online Reading*
    $89.00
    BUY EBOOK
  • Towards Paraconsistent Engineering : Engineering (R0) - Seiki Akama
    Towards Paraconsistent Engineering
    Engineering (R0)
    Seiki Akama
    eText
    Instant Online Reading*
    $219.00
    BUY EBOOK
  • Building Theories : Heuristics and Hypotheses in Sciences - David Danks
    Building Theories
    Heuristics and Hypotheses in Sciences
    David Danks and Emiliano Ippoliti
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Cultures of Mathematics and Logic : Selected Papers from the Conference in Guangzhou, China, November 9-12, 2012 - Yun Xie
    Cultures of Mathematics and Logic
    Selected Papers from the Conference in Guangzho...
    Yun Xie, Benedikt Löwe, Shier Ju and Thomas Müller
    eText
    Instant Online Reading*
    $239.00
    BUY EBOOK
  • Beginning Julia Programming : For Engineers and Scientists - Sandeep Nagar
    Beginning Julia Programming
    For Engineers and Scientists
    Sandeep Nagar
    eText
    Instant Online Reading*
    $64.99
    BUY EBOOK
  • Introduction to Scilab : For Engineers and Scientists - Sandeep Nagar
    Introduction to Scilab
    For Engineers and Scientists
    Sandeep Nagar
    eText
    Instant Online Reading*
    $44.99
    BUY EBOOK
  • Introduction to Octave : For Engineers and Scientists - Sandeep Nagar
    Introduction to Octave
    For Engineers and Scientists
    Sandeep Nagar
    eText
    Instant Online Reading*
    $44.99
    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
  • 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
2980 Results | View 24 / 100
< 1 ... 11 12 13 14 15 ... 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