#
Logic, Symbolic and mathematical
Resource Information
The concept ** Logic, Symbolic and mathematical** represents the subject, aboutness, idea or notion of resources found in **European University Institute**.

The Resource
Logic, Symbolic and mathematical
Resource Information

The concept

**Logic, Symbolic and mathematical**represents the subject, aboutness, idea or notion of resources found in**European University Institute**.- Label
- Logic, Symbolic and mathematical

## Context

Context of Logic, Symbolic and mathematical#### Subject of

No resources found

No enriched resources found

- A Cp-Theory Problem Book : Special Features of Function Spaces
- A Modelâ€“Theoretic Approach to Proof Theory
- Advances in Natural Deduction : A Celebration of Dag Prawitz's Work
- Advances in experimental philosophy of logic and mathematics
- After GÃ¶del : Platonism and rationalism in mathematics and logic
- Alfred Tarski : Early Work in Poland--Geometry and Teaching
- An introduction to the logic of the sciences
- Cardinal Invariants on Boolean Algebras : Second Revised Edition
- Change, choice and inference : a study of belief revision and nonmonotonic reasoning
- Collected works
- Constructibility and mathematical existence
- Contradictions, from Consistency to Inconsistency
- Duality Theories for Boolean Algebras with Operators
- Elements of causal inference : foundations and learning algorithms
- Essays in the philosophy and history of logic and mathematics
- Euphony and logos : essays in honour of Maria Steffen-BatÃ³g and Tadeusz BatÃ³g
- Feferman on Foundations : Logic, Mathematics, Philosophy
- Finite automata, formal logic, and circuit complexity
- Foundations : essays in philosophy, logic, mathematics and economics
- Foundations of logic and mathematics : applications to computer science and cryptography
- Foundations of logic programming
- Foundations without foundationalism : a case for second-order logic
- Frege and other philosophers
- Fuzzy Lie Algebras
- Fuzzy logic and mathematics : a historical perspective
- Handbook of logic in computer science
- Heyting Algebras : Duality Theory
- Hilary Putnam on Logic and Mathematics
- How to prove it : a structured approach
- How to read and do proofs : an introduction to mathematical thought processes
- Introduction to logic and to the methodology of deductive sciences
- Iteration theories : the equational logic of iterative processes
- Janus-Faced Probability
- Kripke's Worlds : An Introduction to Modal Logics via Tableaux
- Laws of form
- LeÅ›niewski's Systems of Logic and Foundations of Mathematics
- Logic for artificial intelligence & information technology
- Logic for mathematicians
- Logic, algebra and databases
- Logic, probability and science
- Logica : Volume 2 - Incompletezza, teoria assiomatica degli insiemi
- Logical forms : an introduction to philosophical logic
- Mathematics, Informatics, and Their Applications in Natural Sciences and Engineering : AMINSE 2017, Tbilisi, Georgia, December 6-9
- Non-commutative Multiple-Valued Logic Algebras
- On the Trail to Wittgenstein's Hut : The Historical Background of the Tractatus Logico-philosphicus
- Paradox and paraconsistency : conflict resolution in the abstract sciences
- Paradoxes in probability theory
- Past, present and future
- Perspectives in Computational Complexity : The Somenath Biswas Anniversary Volume
- Philosophical grammar
- Philosophical investigations
- Philosophical investigations
- Philosophische Grammatik
- Problems of form
- Prototractatus : an early version of Tractatus logico-philosophicus
- Quantum Computation and Logic : How Quantum Computers Have Inspired Logical Investigations
- Reasoning about uncertainty
- Recent Progress in General Topology III
- Recent Trends in Philosophical Logic
- Rechtstheorie als Sprachkritik : zum Einfluss Wittgensteins auf die Rechtstheorie
- Reports on mathematical logic
- Selected logic papers
- Set Theory : Exploring Independence and Truth
- Set Theory : With an Introduction to Real Point Sets
- Simple Relation Algebras
- Studies in logic and probability
- Temporal Type Theory : A Topos-Theoretic Approach to Systems and Behavior
- The Big Typescript, TS. 213
- The Frege reader
- The Philosophy of Mathematics and Logic in the 1920s and 1930s in Poland
- The continued exercise of reason : public addresses
- The enchantment of words : Wittgenstein's Tractatus logico-philosophicus
- The equations : icons of knowledge
- The logical foundations of scientific theories : languages, structures, and models
- The significance of the new logic
- Tracking reason : proof, consequence, and truth
- Tractatus logico-philosophicus
- Truth through proof : a formalist foundation for mathematics
- Wittgenstein's Tractatus : history and interpretation
- Word and object

## 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/vR27ERD5waM/" 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/vR27ERD5waM/">Logic, Symbolic and mathematical</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 Logic, Symbolic and mathematical

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/vR27ERD5waM/" 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/vR27ERD5waM/">Logic, Symbolic and mathematical</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>`