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

The Resource
Mathematical logic
Resource Information

The concept

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

## Context

Context of Mathematical logic#### Subject of

No resources found

No enriched resources found

- Writing Proofs in Analysis
- A History of Folding in Mathematics : Mathematizing the Margins
- Advanced Topics in Relation Algebras : Relation Algebras, Volume 2
- Advances in Proof Theory
- Advances in Proof-Theoretic Semantics
- Basic Real Analysis
- 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
- 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
- Dependence Logic : Theory and Applications
- Descriptor Revision : Belief Change through Direct Choice
- Diagonalization in Formal Mathematics
- Ernst Zermelo : An Approach to His Life and Work
- Facets of Uncertainties and Applications : ICFUA, Kolkata, India, December 2013
- Fading Foundations : Probability and the Regress Problem
- 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
- Freedom and Enforcement in Action : A Study in Formal Action Theory
- Geometry
- Great Circle of Mysteries : Mathematics, the World, the Mind
- 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
- 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
- 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
- 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
- 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 Hyperuniverse Project and Maximality
- The Legacy of Kurt Schütte
- The Life and Work of Leon Henkin : Essays on His Contributions
- The Lvov-Warsaw School : Past and Present
- 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
- Towards an Arithmetical Logic : The Arithmetical Foundations of Logic
- Turing's Revolution : The Impact of His Ideas about Computability
- Type Systems for Distributed Programs
- Well-Quasi Orders in Computation, Logic, Language and Reasoning : A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory

## 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="http://link.library.eui.eu/">European University Institute</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="http://link.library.eui.eu/">European University Institute</a></span></span></span></span></div>`