#
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

- 18 unconventional essays on the nature of mathematics
- A Short Introduction to Intuitionistic Logic
- A beginner's guide to discrete mathematics
- Advances in natural deduction : a celebration of Dag Prawitz's work
- Automated Reasoning : First International Joint Conference, IJCAR 2001 Siena, Italy, June 1822, 2001 Proceedings
- Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX'97 Pont-à-Mousson, France, May 13 16, 1997 Proceedings
- Automated Theorem Proving : Theory and Practice
- Complexity and Real Computation
- Computational Logic and Proof Theory : 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25 29, 1997 Proceedings
- Computational complexity of solving equation systems
- Computer Science Logic : 16th International Workshop, CSL 2002 11th Annual Conference of the EACSL Edinburgh, Scotland, UK, September 2225, 2002 Proceedings
- 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
- Dag Prawitz on proofs and meaning
- Ernst Zermelo : Collected Works = Gesammelte Werke, Volume II | Band II, Calculus of variations, applied mathematics, and physics = | Variationsrechnung, Angewandte Mathematik und Physik
- Ernst Zermelo : an approach to his life and work
- Facets of uncertainties and applications : ICFUA, Kolkata, India, December 2013
- First-Order Modal Logic
- Flexible neuro-fuzzy systems : structures, learning, and performance evaluation
- Foundations of algebraic specification and formal software development
- From logic to practice : Italian studies in the philosophy of mathematics
- Generalized Quantifiers and Computation : 9th European Summer School in Logic, Language, and Information ESSLLI97Workshop Aix-en-Provence, France, August 1122, 1997 Revised Lectures
- Gentzen's centenary : the quest for consistency
- Integral, measure, and ordering
- Logic and scientific methods : volume one of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995
- Logic for Concurrency and Synchronisation
- Logic, rationality, and interaction : Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011 : proceedings
- Logical studies of paraconsistent reasoning in science and mathematics
- Mereology and the sciences : parts and wholes in the contemporary scientific context
- Metamathematics of fuzzy logic
- 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
- New trends in quantum structures
- On logical, algebraic, and probabilistic aspects of fuzzy set theory
- Petri net synthesis
- Pluralism in mathematics : a new position in philosophy of mathematics
- Problems and proofs in numbers and algebra
- Proof Theory : The First Step into Impredicativity
- Quantifiers, quantifiers, and quantifiers : themes in logic, metaphysics, and language
- Quantum Gravity, Generalized Theory of Gravitation, and Superstring Theory-Based Unification
- Quantum Mechanics, Mathematics, Cognition and Action : Proposals for a Formalized Epistemology
- Quantum Mechanics, Mathematics, Cognition and Action : Proposals for a Formalized Epistemology
- Recent trends in algebraic development techniques : 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014 : revised selected papers
- Scientific objectivity and its contexts
- Set theory
- Set theory : exploring independence and truth
- Teoria algebrica dei meccanismi automatici : lectures given at 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 Age of Alternative Logics : Assessing Philosophy of Logic and Mathematics Today
- The mathematical coloring book : mathematics of coloring and the colorful life of its creators
- The mathematical experience
- The mathematics of language : 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011 : proceedings
- The road to universal logic : Festschrift for 50th Birthday of Jean-Yves Béziau, Volume I
- The unknown as an engine for science : an essay on the definite and the indefinite
- Typed Lambda Calculi and Applications : 5th International Conference, TLCA 2001 Kraków, Poland, May 2 5, 2001 Proceedings
- Writing proofs in analysis

## 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/E4GrqaiyHrg/" 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/E4GrqaiyHrg/">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/E4GrqaiyHrg/" 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/E4GrqaiyHrg/">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>`