#
Mathematical logic
Resource Information
The concept ** Mathematical logic** represents the subject, aboutness, idea or notion of resources found in **European University Institute Library**.

The Resource
Mathematical logic
Resource Information

The concept

**Mathematical logic**represents the subject, aboutness, idea or notion of resources found in**European University Institute Library**.- Label
- Mathematical logic

## Context

Context of Mathematical logic#### Subject of

No resources found

No enriched resources found

- A History of Folding in Mathematics : Mathematizing the Margins
- A.P. Morse's Set Theory and Analysis
- Advanced Topics in Relation Algebras : Relation Algebras, Volume 2
- Advances in Mathematical Logic : Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions
- Advances in Proof Theory
- Advances in Proof-Theoretic Semantics
- An Invitation to Abstract Mathematics
- Applications of Mathematics and Informatics in Natural Sciences and Engineering : AMINSE 2019, Tbilisi, Georgia, September 23-26
- Axiomatic Thinking I
- Axiomatic Thinking II
- Basic Real Analysis
- Biological Models via Interval Type-2 Fuzzy Sets
- Can Mathematics Be Proved Consistent? : Gödel's Shorthand Notes & Lectures on Incompleteness
- Coalgebraic Methods in Computer Science : 15th IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020, Proceedings
- Combinatorial Algebra: Syntax and Semantics
- Combinatorial Set Theory : With a Gentle Introduction to Forcing
- Combinatorial Set Theory of C*-algebras
- Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
- Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
- Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
- Controlling Language in Industry : Controlled Languages for Technical Documents
- Cultures of Mathematics and Logic : Selected Papers from the Conference in Guangzhou, China, November 9-12, 2012
- Decidability of Logical Theories and Their Combination
- Dependence Logic : Theory and Applications
- Descriptor Revision : Belief Change through Direct Choice
- Diagonalization in Formal Mathematics
- Effective Kan Fibrations in Simplicial Sets
- Ernst Zermelo : An Approach to His Life and Work
- Essays in Constructive Mathematics
- Essential Mathematics for Undergraduates : A Guided Approach to Algebra, Geometry, Topology and Analysis
- Facets of Uncertainties and Applications : ICFUA, Kolkata, India, December 2013
- Fading Foundations : Probability and the Regress Problem
- Formal Methods Teaching : 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings
- Foundations of Software Science and Computation Structures : 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings
- Foundations of Software Science and Computation Structures : 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings
- Foundations of Software Science and Computation Structures : 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
- Founding Mathematics on Semantic Conventions
- Freedom and Enforcement in Action : A Study in Formal Action Theory
- Geometry
- Graph Structures for Knowledge Representation and Reasoning : 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers
- Great Circle of Mysteries : Mathematics, the World, the Mind
- Gödel's Theorems and Zermelo's Axioms : A Firm Foundation of Mathematics
- Harmonies of Disorder : Norbert Wiener: A Mathematician-Philosopher of Our Time
- Ideals, Varieties, and Algorithms : An Introduction to Computational Algebraic Geometry and Commutative Algebra
- Incompleteness for Higher-Order Arithmetic : An Example Based on Harrington’s Principle
- Inductive Fuzzy Classification in Marketing Analytics
- Introduction to Discrete Mathematics via Logic and Proof
- Introduction to Relation Algebras : Relation Algebras, Volume 1
- Kurt Gödel : The Genius of Metamathematics
- Lessons in Enumerative Combinatorics
- Logic - Language - Ontology : Selected Works
- Logic and Implication : An Introduction to the General Algebraic Study of Non-classical Logics
- Logic, Mathematics, and Computer Science : Modern Foundations with Practical Applications
- Logica : Dimostrazioni e modelli al primo ordine, Volume 1
- Logical Foundations of Computer Science : International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings
- Logical Studies of Paraconsistent Reasoning in Science and Mathematics
- Louis Couturat: The History of Modern Symbolic Logic and Other French Manuscripts
- Mathematical Logic
- Mathematical Logic : Exercises and Solutions
- Mathematical Logic : Foundations for Information Science
- Meaning and Proscription in Formal Logic : Variations on the Propositional Logic of William T. Parry
- Methods of Solving Number Theory Problems
- Modern Logic 1850-1950, East and West
- New Directions in Paraconsistent Logic : 5th WCP, Kolkata, India, February 2014
- Nonstandard Analysis for the Working Mathematician
- Number Theory : An Introduction via the Density of Primes
- Objects, Structures, and Logics : FilMat Studies in the Philosophy of Mathematics
- One Hundred Prisoners and a Light Bulb
- Ordered Sets : An Introduction with Connections from Combinatorics to Topology
- Pell and Pell-Lucas Numbers with Applications
- Problems and Proofs in Numbers and Algebra
- Profinite Semigroups and Symbolic Dynamics
- Pythagorean Fuzzy Sets : Theory and Applications
- Real Analysis: Foundations
- Saved from the Cellar : Gerhard Gentzen’s Shorthand Notes on Logic and Foundations of Mathematics
- Semigroups in Complete Lattices : Quantales, Modules and Related Topics
- Solving Problems in Mathematical Analysis, Part I : Sets, Functions, Limits, Derivatives, Integrals, Sequences and Series
- The Colorado Mathematical Olympiad: The Third Decade and Further Explorations : From the Mountains of Colorado to the Peaks of Mathematics
- The Congruences of a Finite Lattice : A "Proof-by-Picture" Approach
- The Exoteric Square of Opposition : The Sixth World Congress on the Square of Opposition
- The Hyperuniverse Project and Maximality
- The Legacy of Kurt Schütte
- The Legacy of Mario Pieri in Foundations and Philosophy of Mathematics
- The Life and Work of Leon Henkin : Essays on His Contributions
- The Road to Universal Logic : Festschrift for 50th Birthday of Jean-Yves Béziau Volume I
- The Road to Universal Logic : Festschrift for the 50th Birthday of Jean-Yves Béziau Volume II
- The Square of Opposition : A Cornerstone of Thought
- Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III
- Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part I
- Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II
- Towards an Arithmetical Logic : The Arithmetical Foundations of Logic
- Turing's Revolution : The Impact of His Ideas about Computability
- Universal Algebraic Logic : Dedicated to the Unity of Science
- V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics
- Well-Quasi Orders in Computation, Logic, Language and Reasoning : A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory
- Writing Proofs in Analysis

## Embed

### 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.library.eui.eu/resource/JBDdSZf5n8Q/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.eui.eu/resource/JBDdSZf5n8Q/">Mathematical logic</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.eui.eu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="https://link.library.eui.eu/">European University Institute Library</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

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.library.eui.eu/resource/JBDdSZf5n8Q/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.eui.eu/resource/JBDdSZf5n8Q/">Mathematical logic</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.eui.eu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="https://link.library.eui.eu/">European University Institute Library</a></span></span></span></span></div>`