Call Number (LC) Title Results
QA8.7 .C75 2014eb Critique as uncertainty / 1
QA8.7 .E97 2007 Experimental mathematics in action
Experimental mathematics in action / 		2
QA8.7 .T42 2008 Teaching and learning proof across the grades : a K-16 perspective / 1
QA8.7 .T42 2009 Teaching and learning proof across the grades a K-16 perspective / 1
QA8.7 .W48 2000 Math is language too : talking and writing in the mathematics classroom / 2
QA8.7 ebook Formación de profesores de matemática : una experiencia desde la práctica docente en el aula /
Matemática estructural /
Diseño, implementación y evaluación de unidades didácticas de matemáticas en MAD 4 / 		3
QA8.9-10.3 Mathematical Logic /
Algorithms: Main Ideas and Applications
Lectures on Boolean Algebras
Philosophical Logic in Poland /
Language, Truth and Logic in Mathematics /
Fuzzy If-Then Rules in Computational Intelligence Theory and Applications /
Fuzzy Data Analysis /
Computer Algebra : Symbolic and Algebraic Computation /
Collegium Logicum.
Computation, Logic, Philosophy : a Collection of Essays /
A set theory workbook
Sets, Logic and Categories
Logic from Computer Science : Proceedings of a Workshop held November 13-17, 1989 /
Mathematical Logic and Its Applications /
Fuzzy Sets in Engineering Design and Configuration
Fuzzy Modelling Paradigms and Practice /
Fuzzy Logic Foundations and Industrial Applications /
Mathematical Logic : an Introduction to Model Theory /
Visual Reasoning with Diagrams.
Hermann Günther Graßmann (1809-1877): Visionary Mathematician, Scientist and Neohumanist Scholar : Papers from a Sesquicentennial Conference /
Perspectives of Elementary Mathematics /
Elements of Logic via Numbers and Sets /
The Joy of Sets : Fundamentals of Contemporary Set Theory /
A Course in Model Theory an Introduction to Contemporary Mathematical Logic /
Fuzzy Logic in Management /
Introduction to Fuzzy Reliability /
Advances in Fuzzy Sets, Possibility Theory, and Applications /
Zermelo's Axiom of Choice : Its Origins, Development, and Influence /
Non-Classical Logics and their Applications to Fuzzy Subsets : a Handbook of the Mathematical Foundations of Fuzzy Set Theory /
Limit Theorems and Applications of Set-Valued and Fuzzy Set-Valued Random Variables /
Internal Logic : Foundations of Mathematics from Kronecker to Hilbert /
Logical Number Theory I : an Introduction /
Fundamentals of Fuzzy Sets /
Foundations of Mathematics : Questions of Analysis, Geometry & Algorithmics /
Fuzzy Sets in Approximate Reasoning and Information Systems /
Fuzzy Systems : Modeling and Control /
Vaguely Defined Objects : Representations, Fuzzy Sets and Nonclassical Cardinality Theory /
An Outline of Set Theory /
Complexity and Real Computation /
Logic and Structure /
Logic, mathematics, and computer science : modern foundations with practical applications /
Fuzzy Relational Systems : Foundations and Principles /
Practical Applications of Fuzzy Technologies
Rigorous state-based methods 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings /
Mechanical theorem proving in geometries : basic principles /
Applications of Point Set Theory in Real Analysis /
Fuzzy Databases : Principles and Applications /
Fuzzy Logic : Mathematical Tools for Approximate Reasoning /
Classical Descriptive Set Theory /
Foundations of Logic and Mathematics : Applications to Computer Science and Cryptography /
Algebra for Computer Science /
Self-Reference and Modal Logic /
Computability and Models : Perspectives East and West /
Intelligent Systems and Interfaces /
Mathematical Aspects of Scientific Software /
Introduction to Mathematical Logic : Set Theory Computable Functions Model Theory /
Set Theory of the Continuum /
Problems in set theory, mathematical logic and the theory of algorithms /
Traffic Control and Transport Planning : a Fuzzy Sets and Neural Networks Approach /
Mathematical Principles of Fuzzy Logic
Fuzzy Set Theory-and Its Applications /
Reuniting the Antipodes - Constructive and Nonstandard Views of the Continuum : Symposium Proceedings, San Servolo, Venice, Italy, May 16-22, 1999 /
Fuzzy Decision Procedures with Binary Relations : Towards A Unified Theory /
Topological and Algebraic Structures in Fuzzy Sets : a Handbook of Recent Developments in the Mathematics of Fuzzy Sets /
Fuzzy Set Theory : Basic Concepts, Techniques and Bibliography /
Dynamic Fuzzy Pattern Recognition with Applications to Finance and Engineering /
Problems and Exercises in Discrete Mathematics /
Fuzzy Algorithms for Control /
Distributed Fuzzy Control of Multivariable Systems /
Thirty Five Years of Automating Mathematics
Protoalgebraic Logics /
Fuzzy Sets in Information Retrieval and Cluster Analysis /
Logic, Language, and Probability : a Selection of Papers Contributed to Sections IV, VI, and XI of the Fourth International Congress for Logic, Methodology, and Philosophy of Science, Bucharest, September 1971 /
Boolean Constructions in Universal Algebras /
Philosophy of Mathematics Today
Inconsistent Mathematics /
Algebraic Model Theory /
Fuzzy Logic for Planning and Decision Making /
Constructive analysis /
Information, Uncertainty and Fusion /
Fuzzy Relation Equations and Their Applications to Knowledge Engineering /
The Theory of Partial Algebraic Operations /
Set Theory : Techniques and Applications Curaçao 1995 and Barcelona 1996 Conferences /
Closure Spaces and Logic /
Fuzzy Sets in Decision Analysis, Operations Research and Statistics /
Notes on Set Theory /
Fuzzy Logic and Soft Computing /
Mathematics of Fuzzy Sets Logic, Topology, and Measure Theory /
Foundations of Constructive Mathematics Metamathematical Studies /
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof 		95
QA8.9-QA10.3 Conditional and Typed Rewriting Systems : 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13-15, 1994 Proceedings /
First-Order Logic and Automated Theorem Proving /
Formal Grammar 22nd International Conference, FG 2017, Toulouse, France, July 22-23, 2017, Revised Selected Papers /
Theorem Provers in Circuit Design : Theory, Practice and Experience Second International Conference, TPCD '94 Bad Herrenalb, Germany, September 26-28, 1994 Proceedings /
Reactive Kripke semantics /
Typed Lambda Calculi and Applications 5th International Conference, TLCA 2001 Kraków, Poland, May 2 5, 2001 Proceedings.
Automata, Languages and Programming : 16th International Colloquium Stresa, Italy, July 11-15, 1989 Proceedings /
The Book of L /
Introduction to Languages, Machines and Logic : Computable Languages, Abstract Machines and Formal Logic /
Extensional Constructs in Intensional Type Theory
Formal Specification : Techniques and Applications /
Proof in VDM: Case Studies /
Mural: A Formal Development Support System /
6th Refinement Workshop : Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, 5-7 January 1994 /
Theory and Formal Methods 1993 : Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993 /
Temporal Verification of Reactive Systems : Safety /
Mathematical Logic for Computer Science
Automated Theorem Proving : Theory and Practice /
4th Refinement Workshop : Proceedings of the 4th Refinement Workshop, organised by BCS-FACS, 9-11 January 1991, Cambridge /
Discrete Mathematics Using a Computer
IV Higher Order Workshop, Banff 1990 : Proceedings of the IV Higher Order Workshop, Banff, Alberta, Canada 10-14 September 1990 /
Larch: Languages and Tools for Formal Specification /
Asynchronous Digital Circuit Design /
Functional Programming, Glasgow 1994 Proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, 12-14 September 1994 /
Notations for Software Design /
Semirings, Automata, Languages /
Relational and Algebraic Methods in Computer Science : 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014. Proceedings /
Introduction to Programming with Mathematica® : Includes diskette /
Computation of Language : an Essay on Syntax, Semantics and Pragmatics in Natural Man-Machine Communication /
Principles and Practice of Constraint Programming 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings /
Special topics in mathematics for computer scientists : sets, categories, topologies and measures /
Rewriting Techniques and Applications : 10th International Conference, RTA-99 Trento, Italy, July 24, 1999 Proceedings /
Computer Science Logic : 14th InternationalWorkshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings /
Foundations of information and knowledge systems : 8th international symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014 : proceedings /
A Basis for Theoretical Computer Science
An Introduction to Formal Language Theory
5th Refinement Workshop : Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992 /
The Parametric Lambda Calculus : a Metamodel for Computation /
Parsing Theory : Volume II LR(k) and LL(k) Parsing /
Handbook of Logic and Proof Techniques for Computer Science
Formal Aspects of Measurement : Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991 /
Semantics of Data Types : International Symposium Sophia-Antipolis, France, June 27-29, 1984. Proceedings /
Coalgebraic Methods in Computer Science 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers /
Many-Valued Logics : 1: Theoretical Foundations /
Elements of Finite Model Theory
Incomplete Information: Structure, Inference, Complexity /
Confluent String Rewriting /
Information and Randomness : an Algorithmic Perspective /
Algebra of Communicating Processes Proceedings of ACP94, the First Workshop on the Algebra of Communicating Processes, Utrecht, the Netherlands, 16-17 May 1994 / 		51
QA8.9 ebook G. Cantor sistema de números y conjuntos / 1
QA9 Lógica matemática /
Con argumento lógico : notas de matemáticas aplicadas /
Apuntes y problemas de lógica matemática /
Joachim Lambek the interplay of mathematics, logic, and linguistics /
Memoirs of a Proof Theorist : Gödel and Other Logicians.
Playing with infinity : turtles, patterns, and pictures /
Advances in applied logics : applications of logic for philosophy, mathematics and information technology /
The road to universal logic : Festschrift for 50th Birthday of Jean-Yves Béziau.
Introducción a la lógica Matemática
The mystery of the Aleph : mathematics, the Kabbalah and the search for infinity /
Bridge to abstract mathematics /
A first course in mathematical logic and set theory /
The mathematics of coordinated inference : a study of generalized hat problems /
Leśniewski's systems of logic and foundations of mathematics /
Three Views of Logic : Mathematics, Philosophy, and Computer Science.
Mathematical logic exercises and solutions /
An introduction to many-valued logics /
The principles of mathematics.
Probabilistic extensions of various logical systems
Number, the language of science /
Topics on Continua /
Sets, models and proofs /
Mathematical logic and formalized theories : a survey of basic concepts and results /
Use of Abstraction and Logic in mathematics /
Logical Foundations of Mathematics and Computational Complexity : a Gentle Introduction /
INTRODUCTION TO MATHEMATICAL PHILOSOPHY.
Perspectives in computational complexity : the Somenath Biswas anniversary volume /
Logica.
Dependence logic : theory and applications /
Simple Theories /
V.A. Yankov on non-classical logics, history and philosophy of mathematics /
The philosophers and mathematics : festschrift for Roshdi Rashed /
Decidability of logical theories and their combination
Mathematical logic /
Foundations of soft logic /
Kurt Gödel : results on foundations /
Abstraction and infinity /
An invitation to mathematical logic /
Mechanical logic in three-dimensional space /
Strict finitism An examination of Ludwig Wittgenstein's "Remarks on the foundations of mathematics"
Paradoxes of the infinite /
Handbook of Mathematical Logic.
Mathematical logic for computer science
Mathematical reasoning the history and impact of the DReaM group /
Probabilistic Logic in a Coherent Setting /
Reasoning with Diagrams : Decision-Making and Problem-Solving with Diagrams. 		51
QA9.A1 Models, Algebras, and Proofs /
Frontiers of combining systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings /
Logic and argumentation : 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings /
Facets of uncertainties and applications : ICFUA, Kolkata, India, December 2013 /
Logic and argumentation Third International Conference, CLAR 2020, Hangzhou, China, April 6-9, 2020, proceedings /
Frontiers of combining systems : 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015. Proceedings /
Logic Colloquium 2004 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Torino, Italy, July 25-31, 2004 /
Logic, language, information, and computation : 30th international workshop, WoLLIC 2024, Bern, Switzerland, June 10-13, 2024, proceedings /
Logic, language, information, and computation : 21st international workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014, proceedings /
Logic and argumentation : 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings /
Advances in Mathematical Logic dedicated to the memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, revised contributions /
Reflections on the foundations of mathematics : essays in honor of Solomon Feferman / 		12
QA9.A1 A44 2016 Algebra and computer science / 2
QA9.A1 A47 1985 Logic and combinatorics : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985, with support from the National Science Foundation / 1
QA9.A1 -- A47 1985eb Logic and Combinatorics. 1
QA9.A1 A85 2011 Proceedings of the 12Th Asian Logic Conference. 1
QA9.A1 A853 2008eb Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008 / 1
QA9.A1 A95 1959 The axiomatic method 1
QA9.A1 B84 Bulletin of the Section of Logic. 1
QA9.A1 B88 2018 Philosophy and model theory / 1
QA9.A1 C56 2010eb Aspects of mathematical logic lectures given at the Centro internazionale matematico estivo (C.I.M.E.) held in Varenna (Como), Italy, September 9-17, 1968 / 1