Browsing Logic 921 - 940 of 1423 results

  • eBook
    • Pierre Gillibert; Friedrich Wehrung
    • Springer
    • Fixed Layout

    Starting at:$19.50 AUDPrice includes GST

    View Details
  • eBook
    Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
    • Wolfgang Schreiner
    • Springer
    • Reflowable Layout

    Starting at:$27.01 AUDPrice includes GST

    View Details
  • eBook
    From Categorical Computability to Computable Categories
    • Dusko Pavlovic
    • Springer
    • Reflowable Layout

    Starting at:$29.70 AUDPrice includes GST

    View Details
  • eBook
    • David Marker
    • Springer
    • Reflowable Layout

    Starting at:$35.71 AUDPrice includes GST

    View Details
  • eBook
    • Solomon Feferman
    • Oxford University Press
    • Fixed Layout

    Starting at:$183.69 AUDPrice includes GST

    View Details
  • eBook
    11th International Conference, Barcelona, Spain, January 10-12, 2007, Proceedings
    • 1st Edition
    • Thomas Schwentick; ‎Dan Suciu
    • Springer
    • Fixed Layout

    Starting at:$25.50 AUDPrice includes GST

    View Details
  • eBook
    An Introduction to Infinitary Machines
    • 1st Edition
    • Merlin Carl
    • De Gruyter
    • Reflowable Layout

    $252.63 AUDPrice includes GST

    View Details
  • eBook
    • Chong Chitat
    • World Scientific
    • Fixed Layout

    $118.89 AUDPrice includes GST

    View Details
  • eBook
    A Fundamental Introduction
    • Apostolos Syropoulos
    • Springer
    • Reflowable Layout

    Starting at:$19.50 AUDPrice includes GST

    View Details
  • eBook
    Proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and its Applications - HOL '92 Leuven, Belgium, 21-24 September 1992
    • Author
    • North Holland
    • Fixed Layout

    $220.00 AUDPrice includes GST

    View Details
  • eBook
    • Johnson, R.H.; Ohlbach, H.J.; Gabbay, Dov M.; Woods, J.
    • North Holland
    • Fixed Layout

    $156.20 AUDPrice includes GST

    View Details
  • eBook
    • 2nd Edition
    • Hailperin, T.
    • North Holland
    • Fixed Layout

    $85.80 AUDPrice includes GST

    View Details
  • eBook
    • Birkhäuser
    • Fixed Layout

    Starting at:$65.70 AUDPrice includes GST

    View Details
  • eBook
    Volume 1 - Dimostrazioni e modelli al primo ordine
    • Vito Michele Abrusci; Lorenzo Tortora de Falco
    • Springer
    • Fixed Layout

    Starting at:$9.00 AUDPrice includes GST

    View Details
  • eBook
    • Beklemishev, Lev D.
    • Elsevier Science
    • Fixed Layout

    $275.00 AUDPrice includes GST

    View Details
  • eBook
    A Guide to Completeness Theorems and their Applications
    • 1st Edition
    • Richard W. Kaye
    • Cambridge University Press
    • Fixed Layout

    Starting at:$54.36 AUDPrice includes GST

    View Details
  • eBook
    • 1st Edition
    • Anna Ingolfsdottir; ‎Bud Mishra; ‎Hanne Riis Nielson
    • Springer
    • Fixed Layout

    Starting at:$25.50 AUDPrice includes GST

    View Details
  • eBook
    GAGTA BOOK 2
    • 1st Edition
    • Olga Kharlampovich, Rizos Sklinos
    • De Gruyter
    • Reflowable Layout

    $312.08 AUDPrice includes GST

    View Details
  • eBook
    • 1st Edition
    • Corrado Priami
    • Springer
    • Fixed Layout

    Starting at:$25.50 AUDPrice includes GST

    View Details
  • eBook
    • Barnabas Bede
    • Springer
    • Fixed Layout

    Starting at:$74.70 AUDPrice includes GST

    View Details