#
Mathematical Logic and Foundations
Resource Information
The concept ** Mathematical Logic and Foundations** represents the subject, aboutness, idea or notion of resources found in **University of Oklahoma Libraries**.

The Resource
Mathematical Logic and Foundations
Resource Information

The concept

**Mathematical Logic and Foundations**represents the subject, aboutness, idea or notion of resources found in**University of Oklahoma Libraries**.- Label
- Mathematical Logic and Foundations

## Context

Context of Mathematical Logic and Foundations#### Subject of

- 104 Number Theory Problems : From the Training of the USA IMO Team
- 18 Unconventional Essays on the Nature of Mathematics
- A Beginner's Guide to Discrete Mathematics
- A Beginner's Guide to Finite Mathematics : For Business, Management, and the Social Sciences
- A Beginner's Guide to Graph Theory
- A Concise Introduction to Mathematical Logic
- A Concise Introduction to Mathematical Logic
- A Course in Mathematical Logic for Mathematicians
- A Course in Model Theory : An Introduction to Contemporary Mathematical Logic
- A Course on Borel Sets
- A Course on Mathematical Logic
- A Course on Mathematical Logic
- A Guide to Classical and Modern Model Theory
- A Logical Introduction to Proof
- A Mathematical Prelude to the Philosophy of Mathematics
- A Missing Link in Cybernetics : Logic and Continuity
- A Modern Perspective on Type Theory : From its Origins until Today
- A Set Theory Workbook
- A Short Introduction to Intuitionistic Logic
- Abstract State Machines 2004. Advances in Theory and Practice : 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings
- Adapting Proofs-as-Programs : The Curry-Howard Protocol
- Adaptive Resonance Theory Microchips : Circuit Design Techniques
- Additive Number Theory : Festschrift In Honor of the Sixtieth Birthday of Melvyn B. Nathanson
- Advanced Fuzzy Systems Design and Applications
- Advanced Łukasiewicz calculus and MV-algebras
- Advances in Computational Intelligence and Learning : Methods and Applications
- Alfred Tarski : Early Work in Poland—Geometry and Teaching
- Algorithmic Problems in Groups and Semigroups
- Algorithms and Complexity : 5th Italian Conference, CIAC 2003, Rome, Italy, May 28-30, 2003, Proceedings
- Algorithms and Complexity : Third Italian Conference, CIAC'97, Rome, Italy, March 12-14, 1997, Proceedings
- Algorithms in Invariant Theory
- An Invitation to Abstract Mathematics
- Analysis and Synthesis of Logics : How to Cut and Paste Reasoning Systems
- Apartness and Uniformity : A Constructive Development
- Application and Theory of Petri Nets 1997 : 18th International Conference, ICATPN'97, Toulouse, France, June 23-27, 1997, Proceedings
- Application and Theory of Petri Nets 1999 : 20th International Conference, ICATPN'99, Williamsburg, Virginia, USA, June 21-25, 1999 Proceedings
- Application and Theory of Petri Nets 2002 : 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002. Proceedings
- Applications and Theory of Petri Nets 2001 : 22nd International Conference, ICATPN 2001 Newcastle upon Tyne, UK, June 25-29, 2001 Proceedings
- Applications and Theory of Petri Nets 2003 : 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings
- Applications and Theory of Petri Nets 2004 : 25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings
- Applying Soft Computing in Defining Spatial Relations
- Around and Beyond the Square of Opposition
- Aspects of Mathematical Logic : Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Varenna (Como), Italy, September 9-17, 1968
- Aspects of Molecular Computing : Essays Dedicated to Tom Head on the Occasion of His 70th Birthday
- Automata Implementation : 4th International Workshop on Implementing Automata, WIA'99 Potsdam, Germany, July 17-19, 2001 Revised Papers
- Automata Implementation : First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29 - 31, 1996, Revised Papers
- Automata Implementation : Third International Workshop on Implementing Automata, WIA'98, Rouen, France, September 17-19, 1998, Revised Papers
- Automata, Languages and Programming : 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings
- Automated Deduction - CADE-17 : 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings
- Automated Reasoning : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings
- Automated Reasoning : Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings
- Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings
- Axiom of Choice
- Axiomatic Method and Category Theory
- Banach Spaces and Descriptive Set Theory: Selected Topics
- Basic Real Analysis
- Basic Real Analysis
- Belief Change
- Belief Revision in Non-Classical Logics
- Brouwer Meets Husserl : On the Phenomenology of Choice Sequences
- Cambridge and Vienna : Frank P. Ramsey and the Vienna Circle
- Cardinal Invariants on Boolean Algebras : Second Revised Edition
- Category Theory and Computer Science : 7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings
- Cellular Automata: Research Towards Industry : ACRI’98 — Proceedings of the Third Conference on Cellular Automata for Research and Industry, Trieste, 7–9 October 1998
- Challenges for Action Theories
- Classical and New Paradigms of Computation and their Complexity Hierarchies : Papers of the conference "Foundations of the Formal Sciences III"
- Clifford Algebras and Their Application in Mathematical Physics : Aachen 1996
- Collected Papers of Stig Kanger with Essays on his Life and Work
- Combinatorial Set Theory : With a Gentle Introduction to Forcing
- Combinatorics, Computability and Logic : Proceedings of the Third International Conference on Combinatorics, Computability and Logic, (DMTCS’01)
- Completeness Theory for Propositional Logics
- Computability and Complexity in Analysis : 4th International Workshop, CCA 2000, Swansea, UK, September 17-19, 2000. Selected Papers
- Computability and Models : Perspectives East and West
- Computational Complexity of Solving Equation Systems
- Computational Linguistics and Intelligent Text Processing : Third International Conference, CICLing 2002, Mexico City, Mexico, February 17-23, 2002 Proceedings
- Computational Logic and Proof Theory : 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings
- Computer Science Logic : 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers
- Computer Science Logic : 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings
- Computer Science Logic : 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings
- Computer Science Logic : 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings
- Computer Science Logic : 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings
- Computer Science Logic : 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September
- Computer Science Logic : 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings
- Computer Science Logic : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings
- Computer Science Logic : 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings
- Computer Science Logic : 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings
- Computer Science Logic : 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, Proceedings
- Computer Science Logic : 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings
- Computing System Reliability : Models and Analysis
- Concept Lattices : Second International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, February 23-26, 2004, Proceedings
- Concept Lattices and Their Applications : Fourth International Conference, CLA 2006 Tunis, Tunisia, October 30-November 1, 2006 Selected Papers
- Conditionals and Modularity in General Logics
- Connectionist Approaches in Economics and Management Sciences
- Consensus Under Fuzziness
- Constructive Commutative Algebra : Projective Modules Over Polynomial Rings and Dynamical Gröbner Bases
- Constructive Negations and Paraconsistency
- Constructivity and Computability in Historical and Philosophical Perspective
- Correct System Design : Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings
- Cultures of Mathematics and Logic : Selected Papers from the Conference in Guangzhou, China, November 9-12, 2012
- Cylindric-like Algebras and Algebraic Logic
- DNA Computing : 6th International Workshop on DNA-Based Computers, DNA 2000, Leiden, The Netherlands, June 13-17, 2000. Revised Papers
- DNA Computing : 7th International Workshop on DNA-Based Computers, DNA7, Tampa, FL, USA, June 10-13, 2001, Revised Papers
- DNA Computing : 8th International Workshop on DNA Based Computers, DNA8, Sapporo, Japan, June 10-13, 2002, Revised Papers
- DNA Computing : 9th International Workshop on DNA Based Computers, DNA9, Madison, WI, USA, June 1-3, 2003, revised Papers
- Dag Prawitz on Proofs and Meaning
- Data Mining and Knowledge Discovery via Logic-Based Methods : Theory, Algorithms, and Applications
- David Makinson on Classical Methods for Non-Classical Problems
- Decision Criteria and Optimal Inventory Processes
- Deduction, Computation, Experiment : Exploring the Effectiveness of Proof
- Descriptive Complexity
- Developments in Language Theory : 5th International Conference, DLT 2001, Vienna, Austria, July 16-21, 2001. Revised Papers
- Developments in Language Theory : 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, Proceedings
- Domains and Processes : Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999
- Dual Tableaux: Foundations, Methodology, Case Studies
- Dude, Can You Count? Stories, Challenges and Adventures in Mathematics
- Elements of Logic via Numbers and Sets
- Epistemology versus Ontology : Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf
- Ernst Zermelo : An Approach to His Life and Work
- Ernst Zermelo : An Approach to His Life and Work
- Essays in Constructive Mathematics
- Excursions in the History of Mathematics
- Explaining Beauty in Mathematics: An Aesthetic Theory of Mathematics
- Facets of Systems Science
- Facets of Uncertainties and Applications : ICFUA, Kolkata, India, December 2013
- Fading Foundations : Probability and the Regress Problem
- Field Arithmetic
- Finite Fields : Normal Bases and Completely Free Elements
- Finite Model Theory : Second Edition
- Finitely Supported Mathematics : An Introduction
- Flexible Query Answering Systems
- Formal Concept Analysis : 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings
- Foundational Theories of Classical and Constructive Mathematics
- Foundations of Algebraic Specification and Formal Software Development
- Foundations of Image Understanding
- Foundations of Logic and Mathematics : Applications to Computer Science and Cryptography
- Freedom and Enforcement in Action : A Study in Formal Action Theory
- From Boolean Logic to Switching Circuits and Automata : Towards Modern Information Technology
- From Linear Operators to Computational Biology : Essays in Memory of Jacob T. Schwartz
- From Logic to Practice : Italian Studies in the Philosophy of Mathematics
- From Objects to Diagrams for Ranges of Functors
- From Synapses to Rules : Discovering Symbolic Rules from Neural Processed Data
- From a Geometrical Point of View : A Study of the History and Philosophy of Category Theory
- Frontiers of Combining Systems : Third International Workshop, FroCoS 2000 Nancy, France, March 22-24, 2000 Proceedings
- Function Algebras on Finite Sets : Basic Course on Many-Valued Logic and Clone Theory
- Fundamentals of Fuzzy Sets
- Fuzziness and Approximate Reasoning : Epistemics on Uncertainty, Expectation and Risk in Rational Behavior
- Fuzzy Classifier Design
- Fuzzy Evolutionary Computation
- Fuzzy Hardware : Architectures and Applications
- Fuzzy If-Then Rules in Computational Intelligence : Theory and Applications
- Fuzzy Logic and Soft Computing
- Fuzzy Logic in Artificial Intelligence: Towards Intelligent Systems : IJCAI '95 Workshop, Montreal, Canada, August 19-21, 1995, Selected Papers
- Fuzzy Logic in Data Modeling : Semantics, Constraints, and Database Design
- Fuzzy Logic in Management
- Fuzzy Mathematics : An Introduction for Engineers and Scientists
- Fuzzy Modeling for Control
- Fuzzy Modeling with Spatial Information for Geographic Problems
- Fuzzy Relational Systems : Foundations and Principles
- Fuzzy Set Theory—and Its Applications
- Fuzzy Sets and Systems - IFSA 2003 : 10th International Fuzzy Systems Association World Congress, Istanbul, Turkey, June 30 - July 2, 2003, Proceedings
- Fuzzy Sets in Approximate Reasoning and Information Systems
- Fuzzy Systems : Modeling and Control
- Games, Norms and Reasons : Logic at the Crossroads
- Generalized Concavity in Fuzzy Optimization and Decision Analysis
- Generalized Measure Theory
- Generalized Quantifiers and Computation : 9th European Summer School in Logic, Language, and Information, ESSLLI'97 Workshop, Aix-en-Provence, France, August 11-22, 1997. Revised Lectures
- Genetic Algorithms and Fuzzy Multiobjective Optimization
- Geometry of Subanalytic and Semialgebraic Sets
- Giuseppe Peano between Mathematics and Logic : Proceeding of the International Conference in honour of Giuseppe Peano on the 150th anniversary of his birth and the centennial of the Formulario Mathematico Torino (Italy) October 2-3, 2008
- Gnomes in the Fog : The Reception of Brouwer’s Intuitionism in the 1920s
- Granular Computing : An Introduction
- Guida alla teoria degli insiemi
- Handbook of Logic and Proof Techniques for Computer Science
- Handbook of Spatial Logics
- Handbook of Weighted Automata
- Handbook on Ontologies
- Henkin-Keisler Models
- How the World Computes : Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012, Proceedings
- Hybrid Logic and its Proof-Theory
- Hyperfinite Dirichlet Forms and Stochastic Processes
- Ideal Spaces
- Ideal spaces
- Ideals, Varieties, and Algorithms : An Introduction to Computational Algebraic Geometry and Commutative Algebra
- Ideals, Varieties, and Algorithms : An Introduction to Computational Algebraic Geometry and Commutative Algebra
- Indiscrete Thoughts
- Induction, Algorithmic Learning Theory, and Philosophy
- Information Retrieval: Uncertainty and Logics : Advanced Models for the Representation and Retrieval of Information
- Information and Knowledge : A Constructive Type-theoretical Approach
- Information, Uncertainty and Fusion
- Innovations in Fuzzy Clustering : Theory and Applications
- Institution-independent Model Theory
- Intelligent Hybrid Systems : Fuzzy Logic, Neural Networks, and Genetic Algorithms
- Intelligent Systems and Interfaces
- Interpolation Theory and Its Applications
- Introduction to Cardinal Arithmetic
- Introduction to Concurrency Theory : Transition Systems and CCS
- Introduction to Languages, Machines and Logic : Computable Languages, Abstract Machines and Formal Logic
- Introduction to Mathematical Structures and Proofs
- Introduction to Modern Number Theory : Fundamental Problems, Ideas and Theories
- Janus-Faced Probability
- Johan van Benthem on Logic and Information Dynamics
- Kolmogorov's Heritage in Mathematics
- Kripke’s Worlds : An Introduction to Modal Logics via Tableaux
- L.E.J. Brouwer – Topologist, Intuitionist, Philosopher : How Mathematics Is Rooted in Life
- Languages: From Formal to Natural : Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday
- Lattice-Gas Cellular Automata and Lattice Boltzmann Models : An Introduction
- Lattice-Valued Logic : An Alternative Approach to Treat Fuzziness and Incomparability
- Laws of Nature
- Lecture Notes on O-Minimal Structures and Real Analytic Geometry
- Lectures on Concurrency and Petri Nets : Advances in Petri Nets
- Lectures on Logic and Computation : ESSLLI 2010, Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes
- Leśniewski's Systems of Logic and Foundations of Mathematics
- Leśniewski’s Systems Protothetic
- Limit Theorems and Applications of Set-Valued and Fuzzy Set-Valued Random Variables
- Loeb Measures in Practice: Recent Advances : EMS Lectures 1997
- Logic Programming : 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002 Proceedings
- Logic and Games on Automatic Structures : Playing with Quantifiers and Decompositions
- Logic and Integer Programming
- Logic and Structure
- Logic for Applications
- Logic for Computer Scientists
- Logic for Programming and Automated Reasoning : 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings
- Logic, Language and Reasoning : Essays in Honour of Dov Gabbay
- Logic, Mathematics, Philosophy, Vintage Enthusiasms : Essays in Honour of John L. Bell
- Logic, Mathematics, and Computer Science : Modern Foundations with Practical Applications
- Logic, Meaning and Computation : Essays in Memory of Alonzo Church
- Logic, Rationality, and Interaction : 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings
- Logic, Rationality, and Interaction : 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings
- Logic, Rationality, and Interaction : Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009, Proceedings
- Logic, Rationality, and Interaction : Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings
- Logic: a Brief Course
- Logica : Volume 1 - Dimostrazioni e modelli al primo ordine
- Logica Universalis : Towards a General Theory of Logic
- Logica: Metodo Breve
- Logical Foundations for Cognitive Agents : Contributions in Honor of Ray Reiter
- Logical Foundations of Computer Science : 4th International Symposium, LFCS'97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings
- Logical Foundations of Computer Science : International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings
- Logical Foundations of Computer Science : International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009, Proceedings
- Logical Foundations of Computer Science : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
- Logical Foundations of Mathematics and Computational Complexity : A Gentle Introduction
- Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements
- Logical Tools for Handling Change in Agent-Based Systems
- Logical and Computational Aspects of Model-Based Reasoning
- Logicism, Intuitionism, and Formalism : What has Become of Them?
- Logics in Artificial Intelligence : European Workshop, JELIA ’98 Dagstuhl, Germany, October 12–15, 1998 Proceedings
- Many Valued Topology and its Applications
- Mathematical Foundations of Computer Science 1999 : 24th International Symposium, MFCS'99 Szklarska Poreba, Poland, September 6-10, 1999 Proceedings
- Mathematical Linguistics
- Mathematical Logic : Foundations for Information Science
- Mathematical Logic for Computer Science
- Mathematical Logic for Computer Science
- Mathematical Olympiad Challenges
- Mathematical Olympiad Treasures
- Mathematical Principles of Fuzzy Logic
- Mathematical Problems from Applied Logic I : Logics for the XXIst Century
- Mathematical Problems from Applied Logic II : Logics for the XXIst Century
- Mathematical Undecidability, Quantum Nonlocality and the Question of the Existence of God
- Mathematics of Discrete Structures for Computer Science
- Mathematics of Fuzzy Sets : Logic, Topology, and Measure Theory
- Mathematics of Fuzzy Sets and Fuzzy Logic
- Mathematics, Computer Science and Logic - A Never Ending Story : The Bruno Buchberger Festschrift
- Mechanizing Mathematical Reasoning : Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
- Membrane Computing : International Workshop, WMC 2003, Tarragona, Spain, July 17-22, 2003, Revised Papers
- Methods of Cut-Elimination
- Modalities and Multimodalities
- Model Theory : An Introduction
- Model Theory and Algebraic Geometry : An introduction to E. Hrushovski's proof of the geometric Mordell-Lang conjecture
- Model Theory and Applications : Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Bressanone (Bolzano), Italy, June 20-28, 1975
- Model theory and algebraic geometry : an introduction to E. Hrushovski's proof of the geometric Mordell-Lang conjecture
- Model theory and arithmetic : comptes rendus d'une action thématique programmée du C.N.R.S. sur la théorie des modèles et l'arithmétique, Paris, France, 1979/80
- Models of Computation in Context : 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011, Proceedings
- Modern Logic 1850-1950, East and West
- Multi-Dimensional Modal Logic
- Multiset Processing : Mathematical, Computer Science, and Molecular Computing Points of View
- Mutational and Morphological Analysis : Tools for Shape Evolution and Morphogenesis
- Natural Deduction, Hybrid Systems and Modal Logics
- Nearrings, Nearfields and K-Loops : Proceedings of the Conference on Nearrings and Nearfields, Hamburg, Germany, July 30–August 6,1995
- Neural Networks and Fuzzy Systems : Theory and Applications
- New Computational Paradigms : Changing Conceptions of What is Computable
- New Developments in Formal Languages and Applications
- New Directions in Paraconsistent Logic : 5th WCP, Kolkata, India, February 2014
- New Directions in Rough Sets, Data Mining, and Granular-Soft Computing : 7th International Workshop, RSFDGrC'99, Yamaguchi, Japan, November 9-11, 1999 Proceedings
- New Trends in Quantum Systems in Chemistry and Physics : Volume 1 Basic Problems and Model Systems Paris, France, 1999
- New Trends in Quantum Systems in Chemistry and Physics : Volume 2 Advanced Problems and Complex Systems Paris, France, 1999
- Non solo calcoli : Domande e risposte sui perché della matematica
- Non-commutative Multiple-Valued Logic Algebras
- Nonstandard Analysis and Vector Lattices
- Nonstandard Analysis for the Working Mathematician
- Nonstandard Analysis for the Working Mathematician
- Notes on Set Theory
- Number Theory : An Introduction via the Distribution of Primes
- Number Theory : An approach through history From Hammurapi to Legendre
- On Fuzziness : A Homage to Lotfi A. Zadeh – Volume 2
- On Intuitionistic Fuzzy Sets Theory
- One Hundred Prisoners and a Light Bulb
- Ordered Algebraic Structures : Proceedings of the Curaçao Conference, sponsored by the Caribbean Mathematics Foundation, June 26–30, 1995
- Ordered Sets : An Introduction
- Ordered Sets : An Introduction with Connections from Combinatorics to Topology
- Parameterized Complexity
- Parameterized Complexity Theory
- Passione per Trilli : Alcune idee dalla matematica
- Pell and Pell–Lucas Numbers with Applications
- Perspectives On Mathematical Practices : Bringing Together Philosophy of Mathematics, Sociology of Mathematics, and Mathematics Education
- Petri Net Synthesis
- Philosophy of Mathematics Today
- Pluralism in Mathematics: A New Position in Philosophy of Mathematics
- Practical Applications of Fuzzy Technologies
- Probabilistic Logic in a Coherent Setting
- Problems and Proofs in Numbers and Algebra
- Problems and Theorems in Classical Set Theory
- Problems in Set Theory, Mathematical Logic and the Theory of Algorithms
- Processes, Terms and Cycles: Steps on the Road to Infinity : Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday
- Proof Theory : The First Step into Impredicativity
- Proof Theory for Fuzzy Logics
- Proof Theory in Computer Science : International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings
- Proof and System-Reliability
- Proof, Computation and Agency : Logic at the Crossroads
- Proofs and Fundamentals : A First Course in Abstract Mathematics
- Proofs from THE BOOK
- Proofs of the Cantor-Bernstein Theorem : A Mathematical Excursion
- Propositional and Predicate Calculus: A Model of Argument
- Qualitative and Quantitative Practical Reasoning : First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997 Proceedings
- Quantifier Elimination and Cylindrical Algebraic Decomposition
- Quantifiers, Quantifiers, and Quantifiers: Themes in Logic, Metaphysics, and Language
- Quantum Gravity, Generalized Theory of Gravitation, and Superstring Theory-Based Unification
- Quantum Physics, Fuzzy Sets and Logic : Steps Towards a Many-Valued Interpretation of Quantum Mechanics
- Random Sets : Theory and Applications
- Reactive Kripke Semantics
- Reading, Writing, and Proving : A Closer Look at Mathematics
- Reasoning and Unification over Conceptual Graphs
- Recasting Reality : Wolfgang Pauli's Philosophical Ideas and Contemporary Science
- Recent Progress in General Topology III
- Recent Trends in Algebraic Development Techniques : 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers
- Recent Trends in Algebraic Development Techniques : 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers
- Recent Trends in Algebraic Development Techniques : 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
- Recent Trends in Algebraic Development Techniques : 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers
- Recent Trends in Philosophical Logic
- Recursion Theory and Computational Complexity : Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Bressanone (Bolzano), Italy, June 14-23, 1979
- Rewriting Techniques and Applications : 20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009 Proceedings
- Rewriting Techniques and Applications : 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings
- Risk Engineering : Bridging Risk Analysis with Stakeholders Values
- Rough Sets and Data Mining : Analysis of Imprecise Data
- Scenario Logic and Probabilistic Management of Risk in Business and Engineering
- Scenario Logic and Probabilistic Management of Risk in Business and Engineering
- Scheduling in Parallel Computing Systems : Fuzzy and Annealing Techniques
- Scientific Objectivity and Its Contexts
- Selected Preserver Problems on Algebraic Structures of Linear Operators and on Function Spaces
- Semiorders : Properties, Representations, Applications
- Serial Rings
- Set Theory : Centre de Recerca Matemàtica Barcelona, 2003-2004
- Set Theory : Exploring Independence and Truth
- Set Theory : The Third Millennium Edition, revised and expanded
- Set Theory : With an Introduction to Real Point Sets
- Sets, Logic and Categories
- Soft Computing for Knowledge Discovery : Introducing Cartesian Granule Features
- Solving Higher-Order Equations : From Logic to Programming
- Sparsity : Graphs, Structures, and Algorithms
- Special Topics in Mathematics for Computer Scientists : Sets, Categories, Topologies and Measures
- Stochastic Calculus with Infinitesimals
- Strict Finitism and the Logic of Mathematical Applications
- Structures in Logic and Computer Science : A Selection of Essays in Honor of A. Ehrenfeucht
- Syntax-Directed Semantics : Formal Models Based on Tree Transducers
- Techniques of Constructive Analysis
- Teoria algebrica dei meccanismi automatici : Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Varenna (Como), Italy, August 20-29, 1959
- The Age of Alternative Logics : Assessing Philosophy of Logic and Mathematics Today
- The Arché Papers on the Mathematics of Abstraction
- The Argument of Mathematics
- The Art of Proof : Basic Training for Deeper Mathematics
- The Art of the Intelligible : An Elementary Survey of Mathematics in its Conceptual Development
- The Colorado Mathematical Olympiad and Further Explorations : From the Mountains of Colorado to the Peaks of Mathematics
- The Complexity of Valued Constraint Satisfaction Problems
- The Congruences of a Finite Lattice : A Proof-by-Picture Approach
- The Legacy of Mario Pieri in Geometry and Arithmetic
- The Logic System of Concept Graphs with Negation : And Its Relationship to Predicate Logic
- The Lvov-Warsaw School and Contemporary Philosophy
- The Mathematical Coloring Book : Mathematics of Coloring and the Colorful Life of its Creators
- The Mathematical Experience, Study Edition
- The Mathematics of Coordinated Inference : A Study of Generalized Hat Problems
- The Mathematics of Language : 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011, Proceedings
- The Mathematics of Paul Erdös I
- The Mathematics of Paul Erdös II
- The Nature of Computation: Logic, Algorithms, Applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, Proceedings
- The Ordered Weighted Averaging Operators : Theory and Applications
- The Philosophy of Mathematics and Logic in the 1920s and 1930s in Poland
- The Pillars of Computation Theory : State, Encoding, Nondeterminism
- The Proof is in the Pudding : The Changing Nature of Mathematical Proof
- The Real Numbers : An Introduction to Set Theory and Analysis
- The Road to Universal Logic : Festschrift for the 50th Birthday of Jean-Yves Béziau Volume II
- The Selected Correspondence of L.E.J. Brouwer
- The Strength of Nonstandard Analysis
- The Theory of Classes of Groups
- The Unknown as an Engine for Science : An Essay on the Definite and the Indefinite
- Theory Reasoning in Connection Calculi
- Theory and Applications of Satisfiability Testing - SAT 2006 : 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings
- Theory and Applications of Satisfiability Testing - SAT 2007 : 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings
- Theory and Applications of Satisfiability Testing - SAT 2009 : 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings
- Theory and Applications of Satisfiability Testing : 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers
- Theory and Applications of Satisfiability Testing : 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers
- Theory and Applications of Satisfiability Testing : 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings
- Theory and Applications of Satisfiability Testing – SAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings
- Theory and Practical Issues on Cellular Automata : Proceedings of the Fourth International Conference on Cellular Automata for Research and Industry, Karlsruhe,4-6 October 2000
- Théorie des ensembles
- Tools for Teaching Logic : Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011, Proceedings
- Topics in Orbit Equivalence
- Towards Efficient Fuzzy Information Processing : Using the Principle of Information Diffusion
- Towards Mathematical Philosophy : Papers from the Studia Logica conference Trends in Logic IV
- Towards a General Theory of Classifications
- Traffic Control and Transport Planning: : A Fuzzy Sets and Neural Networks Approach
- Transactions on Petri Nets and Other Models of Concurrency III
- Treatise on Intuitionistic Type Theory
- Trends in Continuum Mechanics of Porous Media
- Trick or Truth? : The Mysterious Connection Between Physics and Mathematics
- Truth and Falsehood : An Inquiry into Generalized Logical Values
- Turing’s Revolution : The Impact of His Ideas about Computability
- Type-2 Fuzzy Logic: Theory and Applications
- Typed Lambda Calculi and Applications : 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings
- Typed Lambda Calculi and Applications : 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings
- Typed Lambda Calculi and Applications : 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings
- Typed Lambda Calculi and Applications : 5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings
- Typed Lambda Calculi and Applications : 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings
- Typed Lambda Calculi and Applications : 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings
- Typed Lambda Calculi and Applications : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings
- Types for Proofs and Programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers
- Types for Proofs and Programs : International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers
- Ultimate Explanations of the Universe
- Un mondo di idee : La matematica ovunque
- Uncertainty Analysis in Engineering and Sciences: Fuzzy Logic, Statistics, and Neural Network Approach
- Unifying Petri Nets : Advances in Petri Nets
- User Manual for the Interactive Geometry Software Cinderella
- Valued Fields
- Visual Reasoning with Diagrams
- Visualization, Explanation and Reasoning Styles in Mathematics
- Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals
- 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

## Embed (Experimental)

### Settings

Select options that apply then copy and paste the RDF/HTML data fragment to include in your application

Embed this data in a secure (HTTPS) page:

Layout options:

Include data citation:

<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.libraries.ou.edu/resource/8H6OHOAPpSA/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.libraries.ou.edu/resource/8H6OHOAPpSA/">Mathematical Logic and Foundations</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.libraries.ou.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.libraries.ou.edu/">University of Oklahoma Libraries</a></span></span></span></span></div>

Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements

### Preview

## Cite Data - Experimental

### Data Citation of the Concept Mathematical Logic and Foundations

Copy and paste the following RDF/HTML data fragment to cite this resource

`<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.libraries.ou.edu/resource/8H6OHOAPpSA/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.libraries.ou.edu/resource/8H6OHOAPpSA/">Mathematical Logic and Foundations</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.libraries.ou.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.libraries.ou.edu/">University of Oklahoma Libraries</a></span></span></span></span></div>`