MATHEMATICS

“Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper & Row computer science and technology series)” has been added to your cart. View cart

Showing 841–864 of 1458 results

Eric S. Lander
LMS: 74 Symmetric Designs: An Algebraic Approach (London Mathematical Society Lecture Note Series)
£20.00
Add to cart
J. F. C. Kingman
LMS: 79 Probability, Stats & Analys (London Mathematical Society Lecture Note Series)
£40.00
Add to cart
R. E. Edwards
LMS: 8 Analysis on Compact Groups (London Mathematical Society Lecture Note Series)
£20.00
Add to cart
Schofield, A. H.
LMS: 92 Rings over Skew Fields (London Mathematical Society Lecture Note Series, Series Number 92)
£25.00
Add to cart
Jategaonkar, A. V.
LMS: 98 Localization, Noetherian (London Mathematical Society Lecture Note Series, Series Number 98)
£20.00
Add to cart
Cassels
LMSST: 3 Local Fields (London Mathematical Society Student Texts)
£30.00
Add to cart
Pollicott, M. And Yuri, M.
LMSST: 40 Dynamical Systems and Ergodic Thy (London Mathematical Society Student Texts)
£30.00
Add to cart
Jean-pierre Serre
Local Fields: v. 67 (Graduate Texts in Mathematics)
£40.00
Add to cart
Alexander D. Bruno
Local Methods in Nonlinear Differential Equations: Part I The Local Method of Nonlinear Analysis of Differential Equations Part II The Sets of (Springer Series in Soviet Mathematics)
£125.00
Add to cart
Ronald Christensen
Log-Linear Models (Lecture Notes in Statistics)
£25.00
Add to cart
Van D. Dalen; Dirk Van Dalen
Logic & Structure (Universitext)
£12.50
Add to cart
Keith J. Devlin
Logic and Information: 001 (Cambridge Tracts in Theoretical Computer Science)
£7.50
Add to cart
Gallier, Jean
Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper & Row computer science and technology series)
£20.00
Add to cart
Hacking, Ian
Logic of Statistical Inference
£20.00
Add to cart
Colin Howson
Logic with Trees: An Introduction to Symbolic Logic
£10.00
Add to cart
Yehoshua Bar-Hillel
Logic, Methodology and Philosophy of Science: Proceedings of the 1964 International Congress
£15.00
Add to cart
Van Rootselaar, B.; Staal J. F.
Logic, Methodology, and Philosophy of Science III: Proceedings of the Third International Congress for Logic, Methodology, and Philosophy of Science, Amsterdam 1967
£15.00
Add to cart
Goldblatt, Robert
Logics of time and computation (CSLI lecture notes)
£12.50
Add to cart
Edited By R. Brown and T. L. Thickstun
Low-Dimentional Topology: Volume 1 of the Proceedings of the Conference on Topology in Low Dimention, Bangor 1979
£25.00
Add to cart
Bradley, John
Mach’s Philosophy of Science
£13.50
Add to cart
Sugihara
Machine Interpretation of Line Drawings (Mit Press Series in Artificial Intelligence)
£15.00
Add to cart
Myung, Hyo Chul
Malcev-Admissible Algebras (Progress in Mathematics)
£30.00
Add to cart
P. de Bartolomeis; F. Tricerri; E. Vesentini
Manifolds and Geometry (Symposia Mathematica)
£25.00
Add to cart
Jones, Arthur
Manifolds and Mechanics (Australian Mathematical Society Lecture Series)
£7.50
Add to cart

Search by title, author, publisher, keyword, ISBN or SKU – Search results appear below.

Filter by subject – Search results appear below.

Scroll down for search results.

LMS: 74 Symmetric Designs: An Algebraic Approach (London Mathematical Society Lecture Note Series)

LMS: 79 Probability, Stats & Analys (London Mathematical Society Lecture Note Series)

LMS: 8 Analysis on Compact Groups (London Mathematical Society Lecture Note Series)

LMS: 92 Rings over Skew Fields (London Mathematical Society Lecture Note Series, Series Number 92)

LMS: 98 Localization, Noetherian (London Mathematical Society Lecture Note Series, Series Number 98)

LMSST: 3 Local Fields (London Mathematical Society Student Texts)

LMSST: 40 Dynamical Systems and Ergodic Thy (London Mathematical Society Student Texts)

Local Fields: v. 67 (Graduate Texts in Mathematics)

Local Methods in Nonlinear Differential Equations: Part I The Local Method of Nonlinear Analysis of Differential Equations Part II The Sets of (Springer Series in Soviet Mathematics)

Log-Linear Models (Lecture Notes in Statistics)

Logic & Structure (Universitext)

Logic and Information: 001 (Cambridge Tracts in Theoretical Computer Science)

Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper & Row computer science and technology series)

Logic of Statistical Inference

Logic with Trees: An Introduction to Symbolic Logic

Logic, Methodology and Philosophy of Science: Proceedings of the 1964 International Congress

Logic, Methodology, and Philosophy of Science III: Proceedings of the Third International Congress for Logic, Methodology, and Philosophy of Science, Amsterdam 1967

Logics of time and computation (CSLI lecture notes)

Low-Dimentional Topology: Volume 1 of the Proceedings of the Conference on Topology in Low Dimention, Bangor 1979

Mach’s Philosophy of Science

Machine Interpretation of Line Drawings (Mit Press Series in Artificial Intelligence)

Malcev-Admissible Algebras (Progress in Mathematics)

Manifolds and Geometry (Symposia Mathematica)

Manifolds and Mechanics (Australian Mathematical Society Lecture Series)