Schaum's Easy Outline of Logic (Based on Schaum's Outline of Theory and Problems of Logic)

By John Nolt, Dennis A. Rohatyn, Achille C. Varzi

Schaum's Easy Outline of Logic (Based on Schaum's Outline of Theory and Problems of Logic)

By John Nolt, Dennis A. Rohatyn, Achille C. Varzi

£10.76

Handbook of Logic in Artificial Intelligence and Logic Programming (Volume 1: Logic Foundations (Handbook of Logic in Artificial Intelligence and Logic Programming))

By Dov M. Gabbay, C. J. Hogger, J. A. Robinson

Handbook of Logic in Artificial Intelligence and Logic Programming (Volume 1: Logic Foundations (Handbook of Logic in Artificial Intelligence and Logic Programming))

By Dov M. Gabbay, C. J. Hogger, J. A. Robinson

£244 Elsewhere ~~£390.00~~ Save £146.00 (37%)

One True Logic (A Monist Manifesto)

By Owen Griffiths, A. C. Paseau

One True Logic (A Monist Manifesto)

By Owen Griffiths, A. C. Paseau

£76.82

Schaum's Outline of Logic (Schaums' Outline Series)

By Nolt, John, Rohatyn, Dennis A., Achille C. Varzi

Schaum's Outline of Logic (Schaums' Outline Series)

By Nolt, John, Rohatyn, Dennis A., Achille C. Varzi

£23.97 Elsewhere ~~£28.99~~ Save £5.02 (17%)

66

Moral Calculations (Game Theory, Logic, and Human Frailty)

By A.C. Goesi-Greguss, Laszlo Mero

Moral Calculations (Game Theory, Logic, and Human Frailty)

By A.C. Goesi-Greguss, Laszlo Mero

£39.74 Elsewhere ~~£48.99~~ Save £9.25 (19%)

1

Moral Calculations (Game Theory, Logic, and Human Frailty)

By Laszlo Mero, A.C. Gösi-Greguss

Moral Calculations (Game Theory, Logic, and Human Frailty)

By Laszlo Mero, A.C. Gösi-Greguss

£38.11 Elsewhere ~~£48.99~~ Save £10.88 (22%)

130

Numerical Semigroups (Developments in Mathematics)

By García-Sánchez, P. A., Rosales, J. C.

Numerical Semigroups (Developments in Mathematics)

By García-Sánchez, P. A., Rosales, J. C.

£80.91

Numerical Semigroups (Developments in Mathematics)

By Rosales, J. C., García-Sánchez, P. A.

Numerical Semigroups (Developments in Mathematics)

By Rosales, J. C., García-Sánchez, P. A.

£80.97 Elsewhere ~~£89.99~~ Save £9.02 (10%)

Foundations of Logic and Theory of Computation

By Sernadas, A., Sernadas, C.

Foundations of Logic and Theory of Computation

By Sernadas, A., Sernadas, C.

£15.34 Elsewhere ~~£18.00~~ Save £2.66 (15%)

The Logico-Algebraic Approach to Quantum Mechanics (Volume I: Historical Evolution (Western Ontario Series in Philosophy of Science The))

By C. A. Hooker, C. A. Hooker

The Logico-Algebraic Approach to Quantum Mechanics (Volume I: Historical Evolution (Western Ontario Series in Philosophy of Science The))

By C. A. Hooker, C. A. Hooker

£61.67

The Logico-Algebraic Approach to Quantum Mechanics (Volume II: Contemporary Consolidation (The Western Ontario Series in Philosophy of Science))

By C. A. Hooker, C. A. Hooker

The Logico-Algebraic Approach to Quantum Mechanics (Volume II: Contemporary Consolidation (The Western Ontario Series in Philosophy of Science))

By C. A. Hooker, C. A. Hooker

£165 Elsewhere ~~£179.99~~ Save £14.99 (8%)

Formal Techniques for Distributed Objects, Components, and Systems (41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, ..)

By Kirstin Peters, Tim A. C. Willemse

Formal Techniques for Distributed Objects, Components, and Systems (41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, ..)

By Kirstin Peters, Tim A. C. Willemse

£46.21

On Hilbert's Sixth Problem (Synthese Library)

By Doria, Francisco Antonio, da Costa, Newton C. A.

On Hilbert's Sixth Problem (Synthese Library)

By Doria, Francisco Antonio, da Costa, Newton C. A.

£80.99 Elsewhere ~~£89.99~~ Save £9.00 (10%)

On Hilbert's Sixth Problem (Synthese Library)

By Newton C. a. Da Costa, Francisco Antonio Doria

On Hilbert's Sixth Problem (Synthese Library)

By Newton C. a. Da Costa, Francisco Antonio Doria

£80.91 Elsewhere ~~£89.99~~ Save £9.08 (10%)

Revised Report on the Algorithmic Language ALGOL 68

By A.Van Wijngaarden, B.J. Mailloux, J. E. L. Peck, C. H. A. Koster

Revised Report on the Algorithmic Language ALGOL 68

By A.Van Wijngaarden, B.J. Mailloux, J. E. L. Peck, C. H. A. Koster

£101 Elsewhere ~~£109.99~~ Save £8.99 (8%)

Proof in VDM (A Practitioner's Guide (Formal Approaches to Computing and Information Technology (FACIT)))

By Bicarregui, Juan C., Fitzgerald, John, P.A. Lindsay, R.C. Moore

Proof in VDM (A Practitioner's Guide (Formal Approaches to Computing and Information Technology (FACIT)))

By Bicarregui, Juan C., Fitzgerald, John, P.A. Lindsay, R.C. Moore

£46.23

Semantics of Specification Languages (SoSL) (Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25 - 27 October 1993 (Workshops in Computing))

By Derek J. Andrews, Jan F. Groote, C.A. Middelburg

Semantics of Specification Languages (SoSL) (Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25 - 27 October 1993 (Workshops in Computing))

By Derek J. Andrews, Jan F. Groote, C.A. Middelburg

£46.28

Notations for Software Design (Formal Approaches to Computing and Information Technology (FACIT))

By Feijs, Loe M. G., Jonkers, Hans B. M., C.A. Middelburg

Notations for Software Design (Formal Approaches to Computing and Information Technology (FACIT))

By Feijs, Loe M. G., Jonkers, Hans B. M., C.A. Middelburg

£46.24

Algebraic and Proof-theoretic Aspects of Non-classical Logics (Papers in Honor of Daniele Mundici on the Occasion of His 60th Birthday (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By S. Aguzzoli, A. Ciabattoni, B. Gerla, C. Manara

Algebraic and Proof-theoretic Aspects of Non-classical Logics (Papers in Honor of Daniele Mundici on the Occasion of His 60th Birthday (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By S. Aguzzoli, A. Ciabattoni, B. Gerla, C. Manara

£46.21

Artificial Intelligence and Symbolic Computation (Proceedings 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Gonzalo A. Aranda-Corral, Jacques C. Calmet, Francisco J. Martin-Mateos

Artificial Intelligence and Symbolic Computation (Proceedings 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Gonzalo A. Aranda-Corral, Jacques C. Calmet, Francisco J. Martin-Mateos

£41.11

Quantum Interaction (Third International Symposium, QI 2009, Saarbrücken, Germany, March 25-27, 2009, Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Peter Bruza, Donald A. Sofge, William Lawless, C. J. Van Rijsbergen

Quantum Interaction (Third International Symposium, QI 2009, Saarbrücken, Germany, March 25-27, 2009, Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Peter Bruza, Donald A. Sofge, William Lawless, C. J. Van Rijsbergen

£46.22

Constructive Methods in Computing Science (International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare (NATO ASI Subseries F:))

By F. L. Bauer, M. Broy, E. W. Dijkstra, C.A. Hoare

Constructive Methods in Computing Science (International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare (NATO ASI Subseries F:))

By F. L. Bauer, M. Broy, E. W. Dijkstra, C.A. Hoare

£91.09

A Friendly Introduction to Mathematical Logic

By Leary, Christopher C., Kristiansen, Lars

A Friendly Introduction to Mathematical Logic

By Leary, Christopher C., Kristiansen, Lars

£25.69

23

Inexhaustibility (A Non-Exhaustive Treatment (Lecture Notes in Logic S.))

By Torkel Franzen, Torkel Franza

Inexhaustibility (A Non-Exhaustive Treatment (Lecture Notes in Logic S.))

By Torkel Franzen, Torkel Franza

£88.99 Elsewhere ~~£100.00~~ Save £11.01 (11%)

View:
Safe Search(?):