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 (4251)
  • Audiobooks (36)
  • eTextbooks (2667)

AVAILABILITY

  • All eBooks (2980)
  • New Releases (25)
  • Coming Soon (3)
  • Subscription eBooks (137)

PRICE

FORMATS

LANGUAGE

  • eBook
     (2980)
  • Books
     (4251)
  • Audiobooks
     (36)
  • Audio CDs
     (3)
2980 Results | View 24 / 100
< 1 ... 4 5 6 7 8 ... 30 >
Sort By
Sort By:
  • 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
  • Australian Stories
  • 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
  • Relational Topology : Mathematics and Statistics (R0) - Gunther Schmidt
    Relational Topology
    Mathematics and Statistics (R0)
    Gunther Schmidt and Michael Winter
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Automated Theorem Proving in Software Engineering : Computer Science (R0)
    Automated Theorem Proving in Software Engineering
    Computer Science (R0)
    Johann M. Schumann
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Information from Processes : About the Nature of Information Creation, Use, and Representation - Robert M. Losee
    Information from Processes
    About the Nature of Information Creation, Use, ...
    Robert M. Losee
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Intuitionistic Fuzzy Logics : Engineering (R0) - Krassimir T. Atanassov
    Intuitionistic Fuzzy Logics
    Engineering (R0)
    Krassimir T. Atanassov
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Artificial Intelligence Applications and Innovations : 15th IFIP WG 12.5 International Conference, AIAI 2019, Hersonissos, Crete, Greece, May 24-26, 2019, Proceedings - John MacIntyre
    Artificial Intelligence Applications and Innovations
    15th IFIP WG 12.5 International Conference, AIA...
    John MacIntyre, Ilias Maglogiannis, Lazaros Iliadis and Elias Pimenidis
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Raymond Smullyan on Self Reference : Philosophy and Religion (R0) - Melvin Fitting
    Raymond Smullyan on Self Reference
    Philosophy and Religion (R0)
    Melvin Fitting and Brian Rayman
    eText
    Instant Online Reading*
    $169.00
    BUY EBOOK
  • Hilary Putnam on Logic and Mathematics : Outstanding Contributions to Logic : Book 9 - Geoffrey Hellman
    Hilary Putnam on Logic and Mathematics
    Outstanding Contributions to Logic : Book 9
    Geoffrey Hellman and Roy T. Cook
    eText
    Instant Online Reading*
    $209.00
    BUY EBOOK
  • Formal Languages and Compilation : Computer Science (R0) - Stefano Crespi Reghizzi
    Formal Languages and Compilation
    Computer Science (R0)
    Stefano Crespi Reghizzi, Luca Breveglieri and Angelo Morzenti
    eText
    Instant Online Reading*
    $89.00
    BUY EBOOK
  • Semantics, Logics, and Calculi : Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays - Christian W. Probst
    Semantics, Logics, and Calculi
    Essays Dedicated to Hanne Riis Nielson and Flem...
    Christian W. Probst, Chris Hankin and René Rydhof Hansen
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I - Axel Legay
    Tools and Algorithms for the Construction and Analysis of Systems
    23rd International Conference, TACAS 2017, Held...
    Axel Legay and Tiziana Margaria
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings - Alessandro Abate
    Numerical Software Verification
    10th International Workshop, NSV 2017, Heidelbe...
    Alessandro Abate and Sylvie Boldo
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Principles and Practice of Constraint Programming : 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings - Thomas Schiex
    Principles and Practice of Constraint Programming
    25th International Conference, CP 2019, Stamfor...
    Thomas Schiex and Simon de Givry
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996-2016) : 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings - Maxime Amblard
    Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996-2016)
    9th International Conference, LACL 2016, Nancy,...
    Maxime Amblard, Philippe de Groote, Sylvain Pogodalla and Christian Retoré
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Artificial General Intelligence : 10th International Conference, AGI 2017, Melbourne, VIC, Australia, August 15-18, 2017, Proceedings - Tom Everitt
    Artificial General Intelligence
    10th International Conference, AGI 2017, Melbou...
    Tom Everitt, Ben Goertzel and Alexey Potapov
    eText
    Instant Online Reading*
    $89.99
    BUY EBOOK
  • Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIII : Selected Papers from FDSE 2014 - Abdelkader Hameurlain
    Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIII
    Selected Papers from FDSE 2014
    Abdelkader Hameurlain, Josef Küng, Roland Wagner, Tran Khanh Dang and Nam Thoai
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Internal Logic : Foundations of Mathematics from Kronecker to Hilbert - Y. Gauthier
    Internal Logic
    Foundations of Mathematics from Kronecker to Hi...
    Y. Gauthier
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Trends in Functional Programming : 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers - Manuel Serrano
    Trends in Functional Programming
    16th International Symposium, TFP 2015, Sophia ...
    Manuel Serrano and Jurriaan Hage
    eText
    Instant Online Reading*
    $69.99
    BUY EBOOK
  • Theory and Applications of Models of Computation : 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings - Silvia Steila
    Theory and Applications of Models of Computation
    14th Annual Conference, TAMC 2017, Bern, Switze...
    Silvia Steila, T.V. Gopal and Gerhard Jäger
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Interoperability and Open-Source Solutions for the Internet of Things : Second International Workshop, InterOSS-IoT 2016, Held in Conjunction with IoT 2016, Stuttgart, Germany, November 7, 2016, Invited Papers - Ivana Podnar Žarko
    Interoperability and Open-Source Solutions for the Internet of Things
    Second International Workshop, InterOSS-IoT 201...
    Ivana Podnar Žarko, Arne Broering, Sergios Soursos and Martin Serrano
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Knowledge Engineering and Knowledge Management : EKAW 2016 Satellite Events, EKM and Drift-an-LOD, Bologna, Italy, November 19-23, 2016, Revised Selected Papers - Author
    Knowledge Engineering and Knowledge Management
    EKAW 2016 Satellite Events, EKM and Drift-an-LO...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II - Axel Legay
    Tools and Algorithms for the Construction and Analysis of Systems
    23rd International Conference, TACAS 2017, Held...
    Axel Legay and Tiziana Margaria
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Cellular Automata and Discrete Complex Systems : 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings - Matthew Cook
    Cellular Automata and Discrete Complex Systems
    22nd IFIP WG 1.5 International Workshop, AUTOMA...
    Matthew Cook and Turlough Neary
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • The Argument of Mathematics : Philosophy and Religion (R0) - Author
    The Argument of Mathematics
    Philosophy and Religion (R0)
    Author
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Bioinformatics Research and Applications : 15th International Symposium, ISBRA 2019, Barcelona, Spain, June 3-6, 2019, Proceedings - Zhipeng Cai
    Bioinformatics Research and Applications
    15th International Symposium, ISBRA 2019, Barce...
    Zhipeng Cai, Pavel Skums and Min Li
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Foundations of Biomedical Knowledge Representation : Methods and Applications - Arjen Hommersom
    Foundations of Biomedical Knowledge Representation
    Methods and Applications
    Arjen Hommersom and Peter J.F. Lucas
    eBook
    Instant Digital Delivery
    RRP $84.99
    $76.99
    BUY EBOOK
  • Verification, Model Checking, and Abstract Interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings - Barbara Jobstmann
    Verification, Model Checking, and Abstract Interpretation
    17th International Conference, VMCAI 2016, St. ...
    Barbara Jobstmann and K. Rustan M. Leino
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Theoretical Aspects of Computing - ICTAC 2015 : 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings - Martin Leucker
    Theoretical Aspects of Computing - ICTAC 2015
    12th International Colloquium, Cali, Colombia, ...
    Martin Leucker, Camilo Rueda and Frank D. Valencia
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Cellular Automata and Discrete Complex Systems : 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings - Alberto Dennunzio
    Cellular Automata and Discrete Complex Systems
    23rd IFIP WG 1.5 International Workshop, AUTOMA...
    Alberto Dennunzio, Enrico Formenti, Luca Manzoni and Antonio E. Porreca
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Engineering Trustworthy Software Systems : 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures - Jonathan P. Bowen
    Engineering Trustworthy Software Systems
    4th International School, SETSS 2018, Chongqing...
    Jonathan P. Bowen, Zhiming Liu and Zili Zhang
    eText
    Instant Online Reading*
    $89.00
    BUY EBOOK
  • Rules and Reasoning : Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16-19, 2019, Proceedings - Paul Fodor
    Rules and Reasoning
    Third International Joint Conference, RuleML+RR...
    Paul Fodor, Marco Montali, Diego Calvanese and Dumitru Roman
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logical Foundations of Computer Science : International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings - Sergei Artemov
    Logical Foundations of Computer Science
    International Symposium, LFCS 2016, Deerfield B...
    Sergei Artemov and Anil Nerode
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Recent Trends in Algebraic Development Techniques : 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers - Mihai Codescu
    Recent Trends in Algebraic Development Techniques
    22nd International Workshop, WADT 2014, Sinaia,...
    Mihai Codescu, R?zvan Diaconescu and Ionu? ?u?u
    eText
    Instant Online Reading*
    $64.99
    BUY EBOOK
  • Language, Logic, and Computation : 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers - Alexandra Silva
    Language, Logic, and Computation
    12th International Tbilisi Symposium, TbiLLC 20...
    Alexandra Silva, Sam Staton, Peter Sutton and Carla Umbach
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Advances in Conceptual Modeling : ER 2017 Workshops AHA, MoBiD, MREBA, OntoCom, and QMMQ, Valencia, Spain, November 6-9, 2017, Proceedings - Sergio de Cesare
    Advances in Conceptual Modeling
    ER 2017 Workshops AHA, MoBiD, MREBA, OntoCom, a...
    Sergio de Cesare and Ulrich Frank
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Rewriting Logic and Its Applications : 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers - Santiago Escobar
    Rewriting Logic and Its Applications
    10th International Workshop, WRLA 2014, Held as...
    Santiago Escobar
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • Logic, Language, and Computation : 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised Selected Papers - Mehrnoosh Sadrzadeh
    Logic, Language, and Computation
    11th International Tbilisi Symposium on Logic, ...
    Mehrnoosh Sadrzadeh, Henk Zeevat, Sarah E. Murray and Helle Hvid Hansen
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Combinatorial Algebra : Syntax and Semantics - Mark V. Sapir
    Combinatorial Algebra
    Syntax and Semantics
    Mark V. Sapir
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • The Map and the Territory : Exploring the Foundations of Science, Thought and Reality - Shyam Wuppuluri
    The Map and the Territory
    Exploring the Foundations of Science, Thought a...
    Shyam Wuppuluri and Francisco Antonio Doria
    eText
    Instant Online Reading*
    $209.00
    BUY EBOOK
  • Meaning and Proscription in Formal Logic : Variations on the Propositional Logic of William T. Parry - Thomas Macaulay Ferguson
    Meaning and Proscription in Formal Logic
    Variations on the Propositional Logic of Willia...
    Thomas Macaulay Ferguson
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Algebraic Methods in General Rough Sets : Mathematics and Statistics (R0) - A. Mani
    Algebraic Methods in General Rough Sets
    Mathematics and Statistics (R0)
    A. Mani, Gianpiero Cattaneo and Ivo Düntsch
    eText
    Instant Online Reading*
    $219.00
    BUY EBOOK
  • Metadata and Semantic Research : 11th International Conference, MTSR 2017, Tallinn, Estonia, November 28 - December 1, 2017, Proceedings - Emmanouel Garoufallou
    Metadata and Semantic Research
    11th International Conference, MTSR 2017, Talli...
    Emmanouel Garoufallou, Sirje Virkus, Rania Siatri and Damiana Koutsomiha
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Introduction to Software Quality : Computer Science (R0) - Gerard O’Regan
    Introduction to Software Quality
    Computer Science (R0)
    Gerard O’Regan
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • The Lvov-Warsaw School. Past and Present : Mathematics and Statistics (R0) - Ángel Garrido
    The Lvov-Warsaw School. Past and Present
    Mathematics and Statistics (R0)
    Ángel Garrido and Urszula Wybraniec-Skardowska
    eText
    Instant Online Reading*
    $219.00
    BUY EBOOK
  • Directed Algebraic Topology and Concurrency : Computer Science (R0) - Lisbeth Fajstrup
    Directed Algebraic Topology and Concurrency
    Computer Science (R0)
    Lisbeth Fajstrup, Eric Goubault, Samuel Mimram, Martin Raussen and Emmanuel Haucourt
    eText
    Instant Online Reading*
    $109.00
    BUY EBOOK
  • Inductive Fuzzy Classification in Marketing Analytics : Business and Management (R0) - Michael Kaufmann
    Inductive Fuzzy Classification in Marketing Analytics
    Business and Management (R0)
    Michael Kaufmann
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Turing's Revolution : The Impact of His Ideas about Computability - Giovanni Sommaruga
    Turing's Revolution
    The Impact of His Ideas about Computability
    Giovanni Sommaruga and Thomas Strahm
    eText
    Instant Online Reading*
    $199.00
    BUY EBOOK
  • Logic Functions and Equations : Binary Models for Computer Science - Christian Posthoff
    Logic Functions and Equations
    Binary Models for Computer Science
    Christian Posthoff and Bernd Steinbach
    eText
    Instant Online Reading*
    $269.01
    BUY EBOOK
  • Learn Java with Math : Using Fun Projects and Games - Ron Dai
    Learn Java with Math
    Using Fun Projects and Games
    Ron Dai
    eText
    Instant Online Reading*
    $89.99
    BUY EBOOK
  • Beginning MATLAB and Simulink : From Novice to Professional - Sulaymon Eshkabilov
    Beginning MATLAB and Simulink
    From Novice to Professional
    Sulaymon Eshkabilov
    eText
    Instant Online Reading*
    $59.99
    BUY EBOOK
  • Nonstandard Methods in Ramsey Theory and Combinatorial Number Theory : Mathematics and Statistics (R0) - Mauro Di Nasso
    Nonstandard Methods in Ramsey Theory and Combinatorial Number Theory
    Mathematics and Statistics (R0)
    Mauro Di Nasso, Isaac Goldbring and Martino Lupini
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Proof Technology in Mathematics Research and Teaching : Education (R0) - Gila Hanna
    Proof Technology in Mathematics Research and Teaching
    Education (R0)
    Gila Hanna, David A. Reid and Michael de Villiers
    eText
    Instant Online Reading*
    $239.00
    BUY EBOOK
  • The Mathematics of Paul Erdős II : Mathematics and Statistics (R0) - Jaroslav Nešet?il
    The Mathematics of Paul Erdős II
    Mathematics and Statistics (R0)
    Jaroslav Nešet?il, Steve Butler and Ronald L. Graham
    eText
    Instant Online Reading*
    $379.01
    BUY EBOOK
  • Recent Progress in General Topology III - K.P. Hart
    Recent Progress in General Topology III
    K.P. Hart, J. van Mill and P. Simon
    eText
    Instant Online Reading*
    $219.00
    BUY EBOOK
  • Theory of Graded Consequence : A General Framework for Logics of Uncertainty - Mihir Kumar Chakraborty
    Theory of Graded Consequence
    A General Framework for Logics of Uncertainty
    Mihir Kumar Chakraborty and Soma Dutta
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Proof Theory and Algebra in Logic : Philosophy and Religion (R0) - Hiroakira Ono
    Proof Theory and Algebra in Logic
    Philosophy and Religion (R0)
    Hiroakira Ono
    eText
    Instant Online Reading*
    $64.99
    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
  • Transactions on Rough Sets XVIII : Computer Science (R0) - James F. Peters
    Transactions on Rough Sets XVIII
    Computer Science (R0)
    James F. Peters, Andrzej Skowron, Tianrui Li, Yan Yang and Hung Son Nguyen
    eText
    Instant Online Reading*
    $64.99
    BUY EBOOK
  • ModelEd, TestEd, TrustEd : Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday - Arend Rensink
    ModelEd, TestEd, TrustEd
    Essays Dedicated to Ed Brinksma on the Occasion...
    Arend Rensink, Joost-Pieter Katoen and Rom Langerak
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic-Based Program Synthesis and Transformation : 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers - Moreno Falaschi
    Logic-Based Program Synthesis and Transformation
    25th International Symposium, LOPSTR 2015, Sien...
    Moreno Falaschi
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • New Essays on Frege : Between Science and Literature - Gisela Bengtsson
    New Essays on Frege
    Between Science and Literature
    Gisela Bengtsson, Simo Säätelä and Alois Pichler
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
2980 Results | View 24 / 100
< 1 ... 4 5 6 7 8 ... 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