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

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**University of Liverpool**.- Label
- Logic, Symbolic and mathematical

## Context

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

No resources found

No enriched resources found

- 12 {u00D7} 12 Schlüsselkonzepte zur Mathematik
- A Concise Introduction to Mathematical Logic
- A Course on Mathematical Logic
- A concise introduction to mathematical logic
- A course in mathematical logic
- A course in mathematical logic
- A course in mathematical logic for mathematicians
- A course on mathematical logic
- A first course in formal logic and its applications in computer science
- A first course in logic : an introduction to model theory, proof theory, computability, and complexity
- A first course in mathematical logic and set theory
- A framework for priority arguments
- A list of successes that can change the world : essays dedicated to Philip Wadler on the occasion of his 60th birthday
- A logical Approach to Philosophy : Essays in Honour of Graham Solomon
- A logical introduction to proof
- A mathematical introduction to logic
- A modern perspective on type theory : from its origins until today
- A new perspective on nonmonotonic logics
- A science of operations : machines, logic and the invention of programming
- A structuralist theory of logic
- A textbook of belief dynamics : theory change and database updating
- A tour through mathematical logic
- A transition to abstract mathematics : mathematical thinking and writing
- AI*IA 2016 Advances in Artificial Intelligence : XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29 – December 1, 2016, Proceedings
- Adapting Proofs-as-Programs : The Curry-Howard Protocol
- Adapting proofs-as-programs : the Curry-Howard protocol
- Advances in proof-theoretic semantics
- After Gödel : Platonism and rationalism in mathematics and logic
- Alan Turing : his work and impact
- Alan Turing : his work and impact
- Alfred Tarski : early work in Poland : geometry and teaching
- Alfred Tarski : life and logic
- Algebraic circuits
- An den Grenzen des Endlichen : Das Hilbertprogramm im Kontext von Formalismus und Finitismus
- An introduction to confirmation theory
- An introduction to mathematical logic and type theory: to truth through proof
- An introduction to non-classical logic : from if to is
- An introduction to practical formal methods using temporal logic
- An introduction to substructural logics
- An outline of mathematical logic: fundamental results and notions explained with all details
- Andrzej Mostowski and foundational studies
- Application and Theory of Petri Nets and Concurrency : 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings
- Around and beyond the square of opposition
- Artificial Intelligence in Medicine : 16th Conference on Artificial Intelligence in Medicine, AIME 2017, Vienna, Austria, June 21-24, 2017, Proceedings
- Artificial Life and Evolutionary Computation : 12th Italian Workshop, WIVACE 2017, Venice, Italy, September 19-21, 2017, Revised Selected Papers
- Automata logics, and infinite games : a guide to current research
- Automata, logics, and infinite games : a guide to current research
- Autonomy Platonism and the indispensability argument
- Axiom of choice
- Axiomatic formal ontology
- Basic laws of arithmetic : derived using concept-script, Volumes I & II
- Between logic and intuition : essays in honor of Charles Parsons
- Beyond sets : a venture in collection-theoretic revisionism
- Boole's logic and probability: a critical exposition from the standpoint of contemporary algebra, logic and probability theory
- Brouwer meets Husserl : On the Phenomenology of Choice Sequences
- Cantor und die Franzosen : Mathematik, Philosophie und das Unendliche
- Categories and types in logic, language, and physics : essays dedicated to Jim Lambek on the occasion of his 90th birthday
- Categories for Software Engineering
- Cellular Automata and Discrete Complex Systems : 24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20-22, 2018, Proceedings
- Chinese Lexical Semantics : 17th Workshop, CLSW 2016, Singapore, Singapore, May 20–22, 2016, Revised Selected Papers
- Classical mathematical logic : the semantic foundations of logic
- Clausal form logic: an introduction to the logic of computer reasoning
- Coding the universe
- Cognitive reasoning : a formal approach
- Cognitive reasoning : a formal approach
- Collected works : Volume III, unpublished essays and lectures/
- Combinatorial algorithms : 26th International Workshop, IWOCA 2015, Verona, Italy, October 5-7, 2015, Revised Selected Papers
- Completeness Theory for Propositional Logics
- Computability and logic
- Computability and logic
- Computability and logic
- Computability theory, semantics, and logic programming
- Computational Complexity of Solving Equation Systems
- Computer Science Logic (vol. # 3634) : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings
- Computer Science Logic (vol. # 4207) : 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings
- Computer Science Logic : 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings
- Computer Science Logic : 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings
- Concepts of proof in mathematics, philosophy, and computer science
- Conditionals and Modularity in General Logics
- Constructibility and mathematical existence
- Constructibility and mathematical existence
- Constructive Negations and Paraconsistency
- Course of mathematical logic
- Current trends on knowledge-based systems
- Dag Prawitz on proofs and meaning
- Database and Expert Systems Applications : 29th International Conference, DEXA 2018, Regensburg, Germany, September 3–6, 2018, Proceedings, Part II
- David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933
- David Makinson on classical methods for non-classical problems
- Decision procedures : an algorithmic point of view
- Deducibility and decidability
- Deducibility and decidability
- Deduction, Computation, Experiment : Exploring the Effectiveness of Proof
- Deductive Software Verification -- The KeY Book : From Theory to Practice
- Denotational semantics: a methodology for language development
- Dependable Software Engineering: Theories, Tools, and Applications : First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings
- Dependence logic : theory and applications
- Der Untergang von Mathemagika : Ein Roman über eine Welt jenseits unserer Vorstellung
- Descriptive complexity
- Descriptor revision : belief change through direct choice
- Designing asynchronous circuits using NULL convention logic (NCL)
- Development of mathematical logic
- Diamond : a paradox logic
- Die Gödelђ́ةschen Unvollständigkeitssätze : Eine geführte Reise durch Kurt Gödels historischen Beweis
- Discovering patterns in mathematics and poetry
- Discrete and switching functions
- Discrete mathematics and its applications
- Discrete structures, logic, and computability
- Discrete structures, logic, and computability
- Diskrete Mathematik mit Grundlagen : Lehrbuch für Studierende von MINT-Fächern
- Distilling ideas : an introduction to mathematical thinking
- Does mathematical study develop logical thinking? : testing the theory of formal discipline
- Dynamic formal epistemology
- Effective mathematics of the uncountable
- Einführung in die Mengenlehre : Die Mengenlehre Georg Cantors und ihre Axiomatisierung durch Ernst Zermelo
- Elementary logic
- Elucidating the 'Tractatus' : Wittgenstein's early philosophy of logic and language
- Elucidating the Tractatus : Wittgenstein's early philosophy of logic and language
- Epistemic Logic for AI and Computer Science
- Epistemic logic for AI and computer science
- Ernst Zermelo : An Approach to His Life and Work
- Essays in the philosophy and history of logic and mathematics
- Essays on Frege
- Essays on Frege's conception of truth
- Essays on Gödel's reception of Leibniz, Husserl, and Brouwer
- Essays on Wittgenstein's Tractatus
- Essays on the philosophy of Fred Sommers: in logical terms
- Essentials of symbolic logic
- Explaining beauty in mathematics : an aesthetic theory of mathematics
- Facets of Uncertainties and Applications : ICFUA, Kolkata, India, December 2013
- Feferman on foundations : logic, mathematics, philosophy
- Fibring logics
- First-order functional calculus
- Folk algebras in algebra : logic and computer science
- Formal Grammar : 22nd International Conference, FG 2017, Toulouse, France, July 22-23, 2017, Revised Selected Papers
- Formal Methods and Software Engineering : 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings
- Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings
- Formal concept analysis : foundations and applications
- Formal concept analysis : foundations and applications
- Formal concept analysis : mathematical foundations
- Formal methods and software engineering : 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings
- Formal methods in artificial intelligence
- Formalism and beyond : on the nature of mathematical discourse
- Foundations of Bayesianism
- Foundations of logic, 1903-05
- Foundations without foundationalism : a case for second-order logic
- Foundations without foundationalism : a case for second-order logic
- Foundations: essays in philosophy, logic, mathematics and economics
- Freedom and Enforcement in Action : A Study in Formal Action Theory
- Frege : making sense
- Frege and other philosophers
- Frege and other philosophers
- Frege and other philosophers
- Frege's lectures on logic : Carnap's student notes, 1910-1914
- Frege's logic
- Frege's logic
- Frege's notations : what they are and how they mean
- From a geometrical point of view : a study of the history and philosophy of category theory
- From mathematics to philosophy
- From signs to propositions; the concept of form in eighteenth-century semantic theory
- Function algebras on finite sets : a basic course on many-valued logic and clone theory
- Fundamentals of mathematical logic
- Games, actions and social software : multidisciplinary aspects
- Gentzen calculi for modal propositional logic
- Geometry of knowledge for intelligent systems
- Gesammelte Werke : Band III Mengenlehre (1927, 1935) Deskriptive Mengenlehre und Topologie
- Gottlob Frege : Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens
- Grenzen der Mathematik : Eine Reise durch die Kerngebiete der mathematischen Logik
- Grenzen der Mathematik : Eine Reise durch die Kerngebiete der mathematischen Logik
- Gödel, Escher, Bach: an eternal golden braid
- Handbook of logic and language
- Handbook of logic and language
- Handbook of logic in artificial intelligence and logic programming
- Handbook of mathematical induction : theory and applications
- Handbook of mathematical logic
- Handbook of spatial logics
- Handbook of spatial logics
- Handbook of the logic of argument and inference : the turn towards the practical
- Hardware and Software: Verification and Testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings
- Hardware and software : verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings
- How to prove it : a structured approach
- How to prove it: a structured approach
- How to read and do proofs : an introduction to mathematical thought processes
- How to read and do proofs: an introduction to mathematical thought processes
- Hybrid logic and its proof-theory
- Hybrid logic and its proof-theory
- Hyperproof
- Ideals, Varieties, and Algorithms : An Introduction to Computational Algebraic Geometry and Commutative Algebra
- Ideals, varieties, and algorithms : an Introduction to computational algebraic geometry and commutative algebra
- In the light of logic
- Infinity and the mind: the science and philosophy of the infinite
- Institution-independent model theory
- Institution-independent model theory
- Integrated formal methods : 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings
- Intelligent Computer Mathematics : 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings
- Intensional logic and the metaphysics of intentionality
- Intermediate logic
- Introduction to Relation Algebras : Relation Algebras, Volume 1
- Introduction to mathematical logic: set theory, computable functions, model theory
- Introduction to mathematical structures and proofs
- Introduction to modern mathematics
- Introduction to modern number theory : fundamental problems, ideas and theories
- Introduction to symbolic logic and its applications
- Intuitionism and proof theory: proceedings of the Summer Conference at Buffalo, N.Y., 1968
- J. Michael Dunn on information based logics
- KI 2015--Advances in artificial Intelligence : 38th annual German Conference on AI, Dresden, Germany, September 21-25, 2015 : proceedings
- Knowledge in action : logical foundations for specifying and implementing dynamical systems
- Kurt Gödel: collected works
- Language and Automata Theory and Applications : 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings
- Lectures in Logic and Set Theory, Volume 1, Mathematical Logic.
- Lectures in logic and set theory
- Lectures in logic and set theory, I, Mathematical logic
- Lectures in logic and set theory, Volume II, Set theory
- Levels of abstraction in logic and human action: a theory of discontinuity in the structure of mathematical logic; psychological behaviour, and social organization
- Leveraging applications of formal methods, verification, and validation : 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised selected papers
- Linear logic in computer science
- Logic
- Logic : a brief course
- Logic Functions and Equations : Binary Models for Computer Science
- Logic and automata : history and perspectives
- Logic and foundations of mathematics in Frege's philosophy
- Logic and games on automatic structures : playing with quantifiers and decompositions
- Logic and information flow
- Logic and structure
- Logic and the foundations of game and decision theory (LOFT 7)
- Logic for computer science: foundations of automatic theorem proving
- Logic for computer science: foundations of automatic theorem proving
- Logic for computer scientists
- Logic for information technology
- Logic for problem solving
- Logic for programming, artificial intelligence, and reasoning : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 : proceedings
- Logic programming
- Logic programming and knowledge engineering
- Logic with trees : an introduction to symbolic logic
- Logic with trees : an introduction to symbolic logic
- Logic without borders
- Logic, algebra and databases
- Logic, mathematics, and computer science : modern foundations with practical applications
- Logic-based methods for optimization : combining optimization and constraint satisfaction
- Logica : Metodo Breve
- Logica universalis : towards a general theory of logic
- Logica universalis : towards a general theory of logic
- Logica universalis : towards a general theory of logic
- Logica, Volume 1, Dimostrazioni e modelli al primo ordine
- Logical Foundations of Computer Science : International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings
- Logical design for computers and control
- Logical dynamics of information and interaction
- Logical forms: an introduction to philosophical logic
- Logical foundations of mathematics and computational complexity : a gentle introduction
- Logical foundations of proof complexity
- Logical papers : a selection
- Logical thinking in the pyramidal schema of concepts
- Logical tools for handling change in agent-based systems
- Logical tools for handling change in agent-based systems
- Logically determined design : clockless system design with NULL convention logic
- Logicism and its philosophical legacy
- Logics for computer science : classical and non-classical
- Logics in artificial intelligence : 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings
- Logics of specification languages
- Logische Grundlagen der Mathematik
- Louis Couturat, Traité de Logique algorithmique
- Mathematical foundations of advanced informatics, Volume 1, Inductive approaches
- Mathematical logic
- Mathematical logic
- Mathematical logic : a course with exercises
- Mathematical logic : foundations for information science
- Mathematical logic : foundations for information science
- Mathematical logic and model theory : a brief introduction
- Mathematical logic for computer science
- Mathematical logic for computer science
- Mathematical logic for computer science
- Mathematical logic in the 20th century
- Mathematical logic: an introduction to model theory
- Mathematical problems from applied logic I : logics for the XXIst century
- Mathematical problems from applied logic II : logics for the XXIst century
- Mathematical reasoning : patterns, problems, conjectures, and proofs
- Mathematical structures in language
- Mathematics, models, and modality : selected philosophical essays
- Mathematik für Informatiker : Grundlegende Begriffe und Strukturen
- Mathematische Logik
- Meaning and Proscription in Formal Logic : Variations on the Propositional Logic of William T. Parry
- Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday
- Meinongian logic : the semantics of existence and nonexistence
- Metadata and Semantic Research : 11th International Conference, MTSR 2017, Tallinn, Estonia, November 28 – December 1, 2017, Proceedings
- Metalogic: an introduction to the metatheory of standard first order logic
- Metalogic: an introduction to the metatheory of standard first order logic
- Model-Based Safety and Assessment : 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings
- ModelEd, TestEd, TrustEd : Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
- Models of computation in context : 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27-July 2, 2011, proceedings
- Modern logic : a text in elementary symbolic logic
- More precisely : the math you need to do philosophy
- Neighborhood Semantics for Modal Logic
- New computational paradigms : changing conceptions of what is computable
- Non-standard logic and its applications: : several lectures in Oxford
- Nonstandard Analysis for the Working Mathematician
- Notebooks, 1914-1916
- Notes on set theory
- Nothing is hidden: Wittgenstein's criticism of his early thought
- Number theory : an introduction via the distribution of primes
- Objectivity, Realism, and Proof : FilMat Studies in the Philosophy of Mathematics
- Objects and modalities : a study in the semantics of modal logic
- One Hundred Prisoners and a Light Bulb
- Ones and zeros : understanding Boolean algebra, digital circuits, and the logic of sets
- Papers in philosophical logic
- Paradox and paraconsistency : conflict resolution in the abstract sciences
- Paradoxes in probability theory
- Parametrisierte uniforme Berechnungskomplexität in Geometrie und Numerik
- Past, present and future
- Peeling potatoes or grinding lenses : Spinoza and young Wittgenstein converse on immanence and its logic
- Perspectives in computational complexity : the Somenath Biswas anniversary volume
- Perspectives in logic : logical foundations of proof complexity
- Perspectives on mathematical practices : bringing together philosophy of mathematics, sociology of mathematics, and mathematics education
- Petri-Netze
- Phenomenology, logic, and the philosophy of mathematics
- Philosophical remarks
- Philosophische Grammatik
- Philosophy of mathematics in the twentieth century : selected essays
- Picturing quantum processes : a first course in quantum theory and diagrammatic reasoning
- Practical Aspects of Declarative Languages : 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8?9, 2018, Proceedings
- Principia mathematica to *56
- Principles and Practice of Constraint Programming : 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings
- Principles of truth
- Principles of truth
- Probabilistic logics and probabilistic networks
- Probability logics : probability-based formalization of uncertain reasoning
- Problems and theorems in classical set theory
- Proof and knowledge in mathematics
- Proof theory : the first step into impredicativity
- Proof, logic, and formalization
- Proofs and algorithms : an introduction to logic and computability
- Proofs and refutations: the logic of mathematical discovery
- Pulling up the ladder: the metaphysical roots of Wittgenstein's Tractatus logico-philosophicus
- Qualitative spatial and temporal reasoning
- Quantification : transcending beyond Frege's boundaries : a case study in transcendental-metaphysical logic
- Quantifiers, Quantifiers, and Quantifiers: Themes in Logic, Metaphysics, and Language
- Quantifiers, propositions and identity : admissible semantics for quantified modal and substructural logics
- Quantum Physics, Fuzzy Sets and Logic : Steps Towards a Many-Valued Interpretation of Quantum Mechanics
- Rationis Defensor : essays in honour of Colin Cheyne
- Raymond Smullyan on self reference
- Reachability problems : 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings
- Reactive Kripke semantics
- Reading Frege's Grundgesetze
- Readings in Formal Epistemology : Sourcebook
- Realizability : an introduction to its categorical side
- Reasoning about uncertainty
- Recent Advances in Applications of Computational and Fuzzy Mathematics
- Recursive function theory and logic
- Reductive logic and proof-search : proof theory, semantics, and control
- Reelle Zahlen : Das klassische Kontinuum und die natürlichen Folgen
- Reelle Zahlen : Das klassische Kontinuum und die natürlichen Folgen
- Rethinking logic : logic in relation to mathematics, evolution, and method
- Roads to infinity : the mathematics of truth and proof
- Rules and Reasoning : International Joint Conference, RuleML+RR 2017, London, UK, July 12–15, 2017, Proceedings
- Scenario logic and probabilistic management of risk in business and engineering
- Second-order quantifier elimination : foundations, computational aspects and applications
- Selected logic papers
- Selected works [of] Jan Łukasiewicz
- Semantic Technology : 6th Joint International Conference, JIST 2016, Singapore, Singapore, November 2-4, 2016, Revised Selected Papers
- Set theory : Centre de Recerca Matemàtica Barcelona, 2003-2004
- Set theory : exploring independence and truth
- Set theory and its logic
- Set theory, arithmetic, and foundations of mathematics : theorems, philosophies
- Set theory, logic and their limitations
- Sets, functions, measures, Volume 1, Fundamentals of set and number theory
- Sets, models and proofs
- Simplified independence proofs: Boolean valued models of set theory
- Special topics in mathematics for computer scientists : sets, categories, topologies and measures
- Specifying systems : the TLA+ language and tools for hardware and software engineers
- Springer-Handbuch der Mathematik II : Begründet von I.N. Bronstein und K.A. Semendjaew Weitergeführt von G. Grosche, V. Ziegler und D. Ziegler Herausgegeben von E. Zeidler
- Stochastic calculus with infinitesimals
- Strict finitism and the logic of mathematical applications
- Structural Analysis of Non-Classical Logics : the Proceedings of the Second Taiwan Philosophical Logic Colloquium
- Structure of laws as represented by symbolic methods
- Structures and Algorithms : Mathematics and the Nature of Knowledge
- Studies in logic
- Subjective logic : a formalism for reasoning under uncertainty
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10–14, 2017, Proceedings
- Symbolic logic : syntax, semantics, and proof
- Symbolic logic and mechanical theorem proving
- Systems of logic
- Technical methods in philosophy
- Techniques of constructive analysis
- Temporal logic : mathematical foundations and computational aspects
- Temporal logic and state systems
- Temporal logic and state systems
- Tense and tense logic
- Text analysis pipelines : towards ad-hoc large scale text mining
- The Arché papers on the mathematics of abstraction
- The Bloomsbury companion to philosophical logic
- The Congruences of a Finite Lattice : A Proof-by-Picture Approach
- The Frege reader
- The Hyperuniverse Project and Maximality
- The Logical Status of Diagrams
- The Lvov-Warsaw school, past and present
- The Mathematics of Logic : A Guide to Completeness Theorems and their Applications
- The Road to Universal Logic : Festschrift for the 50th Birthday of Jean-Yves Béziau Volume II
- The Uncertain Reasoner's Companion : A Mathematical Perspective
- The Unknown as an Engine for Science : An Essay on the Definite and the Indefinite
- The age of alternative logics : assessing philosophy of logic and mathematics today
- The birth of model theory : Löwenheim's theorem in the frame of the theory of relatives
- The concept of logical consequence
- The congruences of a finite lattice : a "Proof-by-Picture" approach
- The determinacy of long games
- The development of symbolic logic: a critical-historical study of the logical calculus
- The enchantment of words : Wittgenstein's 'Tractatus Logico-Philosophicus'
- The equations : icons of knowledge
- The ethnomethodological foundations of mathematics
- The foundations of arithmetic: a logico-mathematical enquiry into the concept of number
- The foundations of mathematics
- The foundations of mathematics
- The foundations of mathematics
- The game of logic,
- The incomputable : journeys beyond the Turing barrier
- The irrationals : a story of the numbers you can't count on
- The life and work of Leon Henkin : essays on his contributions
- The logic book
- The logic of knowledge bases
- The logic of knowledge bases
- The logic of programming
- The logic of reliable inquiry
- The logical basis for computer programming
- The mathematics of coordinated inference : a study of generalized hat problems
- The mathematics of logic : a guide to completeness theorems and their applications
- The mathematics of logic : a guide to completeness theorems and their applications
- The metaphysics of the tractatus
- The origin of the logic of symbolic mathematics : Edmund Husserl and Jacob Klein
- The real numbers : an introduction to set theory and analysis
- The reality of numbers: a physicalist's philosophy of mathematics
- The road to universal logic : Festschrift for 50th Birthday of Jean-Yves Béziau, Volume I
- The selected works of A.M. Turing : his work and impact
- The semantic foundations of logic
- The structure of models of Peano arithmetic
- The symbolic computation of integrability structures for partial differential equations
- The temporal logic of reactive and concurrent systems : specification
- The theory of probability : an inquiry into the logical and mathematical foundations of the calculus of probability
- Theoretical Aspects of Computing - ICTAC 2017 : 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings
- Theoretische Informatik : Eine umfassende Einführung
- Theory and Applications of Satisfiability Testing - SAT 2007 : 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings
- Theory and applications of satisfiability testing - SAT 2006 : 9th international conference, Seattle, WA, USA, August 12-15, 2006. Proceedings
- Theory and applications of satisfiability testing : 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005 : proceedings
- Theory and practice of formal methods : essays dedicated to Frank de Boer on the occasion of his 60th birthday
- Thinking about Gödel and Turing : essays on complexity 1970-2007
- Théorie des ensembles
- Time and logic: a computational approach
- Toward "Principia mathematica", 1905-08
- Towards a general theory of classifications
- Towards an arithmetical logic : the arithmetical foundations of logic
- Towards paraconsistent engineering
- Tracking reason : proof, consequence, and truth
- Tractarian semantics: finding sense in Wittgenstein's Tractatus
- Tractatus logico-philosophicus
- Tractatus logico-philosophicus
- Transactions on large-scale data- and knowledge-centered systems XXII
- Truth through proof : a formalist foundation for mathematics
- Truth, deduction, and computation: logic and semantics for computer science
- Two applications of logic to mathematics
- Uncertain inference
- Understanding Wittgenstein's Tractatus
- Unveiling Dynamics and Complexity : 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings
- Valued fields
- Verified Software: Theories, Tools, and Experiments : 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers
- Visualization, explanation and reasoning styles in mathematics
- Wahrheit, Beweis, Unendlichkeit : Eine mathematische Reise zu den vielseitigen Auswirkungen der Unendlichkeit
- What is mathematical logic?
- Wittgenstein : connections and controversies
- Wittgenstein's Tractatus : a dialectical interpretation
- Wittgenstein's Tractatus : a dialectical interpretation
- Wittgenstein's Tractatus : history and interpretation
- Wittgenstein's Tractatus: an introduction
- Wittgenstein's early philosophy: three sides of the mirror
- Word and object
- Zur Robustheit von Konfidenzbereichen und Tests für Erwartungswerte

## 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.liverpool.ac.uk/resource/vR27ERD5waM/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.liverpool.ac.uk/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.liverpool.ac.uk/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.liverpool.ac.uk/">University of Liverpool</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.liverpool.ac.uk/resource/vR27ERD5waM/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.liverpool.ac.uk/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.liverpool.ac.uk/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.liverpool.ac.uk/">University of Liverpool</a></span></span></span></span></div>`