#
Logic, symbolic and mathematical
Resource Information
The concept ** Logic, symbolic and mathematical** represents the subject, aboutness, idea or notion of resources found in **Sydney Jones Library, 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**Sydney Jones Library, University of Liverpool**.- Label
- Logic, symbolic and mathematical

## Context

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

No resources found

No enriched resources found

- 104 Number theory problems : from the training of the USA IMO Team
- 18 Unconventional essays on the nature of mathematics
- Admissibility of logical inference rules
- An introduction to practical formal methods using temporal logic
- Chapter zero : fundamental notions of abstract mathematics
- Classical mathematical logic : the semantic foundations of logic
- Deduction: automated logic
- Essai de logique opératoire
- Fixing Frege
- Foundations without foundationalism : a case for second-order logic
- Handbook of logic and language
- Handbook of the logic of argument and inference : the turn towards the practical
- Higher order logic and hardware verification
- Institution-independent model theory
- Introduction to mathematical logic
- Introduction to symbolic logic and its applications
- Logic and arithmetic: natural numbers
- Logical dynamics of information and interaction
- Logical frameworks for truth and abstraction : an axiomatic study
- Mathematical logic
- Mathematical logic
- Mathematical logic with special reference to the natural numbers
- Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday
- Quantifiers, propositions and identity : admissible semantics for quantified modal and substructural logics
- Rippling : meta-level guidance for mathematical reasoning
- Set theory, arithmetic, and foundations of mathematics : theorems, philosophies
- The development of mathematical logic
- The evolution of Principia Mathematica : Bertrand Russell's manuscripts and notes for the second edition
- The strange logic of random graphs
- Theorem proving in higher order logics : 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005 : proceedings
- Tracking reason : proof, consequence, and truth
- Wittgenstein's Tractatus : an introduction

## 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/cv0klUzUivA/" 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/cv0klUzUivA/">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/">Sydney Jones Library, 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/cv0klUzUivA/" 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/cv0klUzUivA/">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/">Sydney Jones Library, University of Liverpool</a></span></span></span></span></div>`