Textbook 2A : For Curriculum for Excellence Primary Maths
Craig Lowther
In Stock - usually despatched within 24 hours
Format: Book (Paperback / softback)
Type-2 Fuzzy Logic: Theory and Applications
Oscar Castillo
Download - Immediately Available
Format: eBook (PDF)
Saturated Model Theory (2nd Edition)
Sacks Gerald E Sacks
Download - Immediately Available
Format: eBook (PDF)
Foundations of Genetic Algorithms 1993 (FOGA 2)
FOGA
Download - Immediately Available
Format: eBook (PDF)
Mathematical Logic For Computer Science (2nd Edition)
Lu Zhongwan Lu
Download - Immediately Available
Format: eBook (PDF)
Eureka Math Grade 2 Fluency Practice Workbook #2 (Modules 6-8)
Great Minds
In Stock - usually despatched within 24 hours
Format: Book (Paperback / softback)
Rankin-Selberg Convolutions for $\mathrm {SO}_{2\ell +1}\times \mathrm {GL}_n$ : Local Theory
David Soudry
Download - Immediately Available
Format: eBook (PDF)
Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond: Volume 2, 3-Multi-graphs and 2-Multi-tournaments
Gregory Cherlin
Download - Immediately Available
Format: eBook (PDF)
Diamond: A Paradox Logic (2nd Edition)
Hellerstein Nathaniel S Hellerstein
Download - Immediately Available
Format: eBook (PDF)
Handbook of Categorical Algebra: Volume 2, Categories and Structures
Francis Borceux
Download - Immediately Available
Format: eBook (PDF)
Lectures in Logic and Set Theory: Volume 2, Set Theory
George Tourlakis
Download - Immediately Available
Format: eBook (PDF)
Spectral Generalizations of Line Graphs : On Graphs with Least Eigenvalue -2
Dragos Cvetkovic
Download - Immediately Available
Format: eBook (PDF)
Automation of Reasoning : 2: Classical Papers on Computational Logic 1967-1970
J. Siekmann
Download - Immediately Available
Format: eBook (PDF)
Decidable Theories : Vol. 2: The Monadic Second Order Theory of All Countable Ordinals
J.R. Buchi
Download - Immediately Available
Format: eBook (PDF)
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983 : Part 2: Computation and Proof Theory
M. M. Richter
Download - Immediately Available
Format: eBook (PDF)
Typed Lambda Calculi and Applications : 5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings
Samson Abramsky
Download - Immediately Available
Format: eBook (PDF)
Domain Theory, Logic and Computation : Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001
Guo-Qiang Zhang
Download - Immediately Available
Format: eBook (PDF)
Ifcolog Journal of Logics and Their Applications. Hilbert's Epsilon and Tau in Logic, Informatics and Linguistics : Volume 4, Number 2, March 2017
Stergios Chatzikyriakis
In Stock - usually despatched within 24 hours
Format: Book (Paperback / softback)
Models of Computation in Context : 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011, Proceedings
Benedikt Lowe
Download - Immediately Available
Format: eBook (PDF)
ZB 2002: Formal Specification and Development in Z and B : 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings
Didier Bert
Download - Immediately Available
Format: eBook (PDF)
Higher Order Logic Theorem Proving and its Applications : Proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and its Applications - HOL '92 Leuven, Belgiu
L.J.M. Claesen
Download - Immediately Available
Format: eBook (PDF)