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
96 Items that share the Concept Mathematical logic
Context
Context of Mathematical logicSubject 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>
