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
561 Items that share the Concept Logic, Symbolic and mathematical
Context
Context of Logic, Symbolic and mathematicalSubject 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 first course in mathematical logic and set theory
- A framework for priority arguments
- A guide to NIP theories
- 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 survey of mathematical 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 examination of a decision procedure
- An examination of logical positivism
- An introduction to Gödel's Theorems
- 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 practical formal methods using temporal logic
- An introduction to substructural logics
- An investigation of the laws of thought : on which are founded the mathematical theories of logic and probabilities
- An invitation to applied category theory : seven sketches in compositionality
- An outline of mathematical logic: fundamental results and notions explained with all details
- Analysis and logic
- 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
- 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 first-order logic
- Classical groups, derangements, and primes
- 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 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
- Constructive order types
- 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
- Deductive systems and the decidability problem for hybrid logics
- 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
- Does mathematical study develop logical thinking? : testing the theory of formal discipline
- Door wetenschap tot wijsheid : verzameling wijsgerige studiën
- 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
- Elements of logical reasoning
- Elements of mathematical logic : (Model theory)
- 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 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
- First-order logic and automated theorem proving
- 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 logic : or, The calculus of inference, necessary and probable
- 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
- Foundational studies : selected works, Volume II
- 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
- Frege's notations : what they are and how they mean
- 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 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
- God̈el without (too many) tears
- Gottlob Frege : Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens
- Grammatical inference : learning automata and grammars
- Grenzen der Mathematik : Eine Reise durch die Kerngebiete der mathematischen Logik
- Grenzen der Mathematik : Eine Reise durch die Kerngebiete der mathematischen Logik
- Gödel without (too many) tears
- Gödel's Incompleteness theorems
- Gödel, Escher, Bach: an eternal golden braid
- Gödel, Tarski and the lure of natural language : logical entanglement, formalism freeness
- 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 mathematical logic
- 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
- Higher-order logic and type theory
- 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
- Inexhaustibility : a non-exhaustive treatment
- 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
- Interpreting Gödel : critical essays
- 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 : an introduction
- Intuitionism and proof theory: proceedings of the Summer Conference at Buffalo, N.Y., 1968
- J. Michael Dunn on information based logics
- Justification logic : reasoning with reasons
- KI 2015--Advances in artificial Intelligence : 38th annual German Conference on AI, Dresden, Germany, September 21-25, 2015 : proceedings
- Kant's philosophy of mathematics, Volume 1, The critical philosophy and its roots
- 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
- Languages with expressions of infinite length
- 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 Colloquium '69 : proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969
- Logic Colloquium '80 : papers intended for the European summer meeting of the Association for Symbolic Logic
- Logic Functions and Equations : Binary Models for Computer Science
- Logic and algebraic structures in quantum computing
- 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 as universal science : Russell's early logicism and its philosophical context
- Logic colloquium '85 : proceedings of the colloquium held in Orsay, France July 1985
- 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, automata, and algorithms
- 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
- Logically determined design : clockless system design with NULL convention logic
- Logicism and its philosophical legacy
- Logicism renewed : logical foundations for mathematics and computer science
- 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
- Logique arithmetique : l'arithmetisation de la logique
- Logisch-philosophische abhandlung : die hundertjahrsausgabe : der Tractatus in Baumform
- Logische Grundlagen der Mathematik
- Louis Couturat, Traité de Logique algorithmique
- Mathematical foundations of advanced informatics, Volume 1, Inductive approaches
- Mathematical interpretation of formal systems
- Mathematical logic
- 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 : analogies, metaphors, and images
- Mathematical reasoning : patterns, problems, conjectures, and proofs
- Mathematical structures in language
- Mathematics and Its logics : philosophical essays
- 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 theory and the philosophy of mathematical practice : formalization without foundationalism
- 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 analysis
- Non-standard logic and its applications: : several lectures in Oxford
- Nonstandard Analysis for the Working Mathematician
- Normative systems
- Notebooks, 1914-1916
- Notes on logic and set theory
- 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
- On the Syllogism : And Other Logical Writings
- On the Trail to Wittgenstein's Hut : The Historical Background of the Tractatus Logico-philosphicus
- 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
- Paradox and paraconsistency : conflict resolution in the abstract sciences
- Paradoxes and inconsistent mathematics
- 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
- Program logics for certified compilers
- 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
- Proofs and refutations : the logic of mathematical discovery
- Proofs and refutations: the logic of mathematical discovery
- Pulling up the ladder: the metaphysical roots of Wittgenstein's Tractatus logico-philosophicus
- Purity, spectra and localisation
- Qualitative spatial and temporal reasoning
- Quantification : transcending beyond Frege's boundaries : a case study in transcendental-metaphysical logic
- Quantification theory
- 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
- 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
- Routley-Meyer ternary relational semantics for intuitionistic-type negations
- 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
- Semantics and logics of computation
- Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel
- 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, logic, and categories
- Sets, models and proofs
- Simplified independence proofs: Boolean valued models of set theory
- Solvable cases of the decision problem
- 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
- Temporal logic of reactive and concurrent systems : specification
- Temporal logics in computer science : finite-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 Development of Mathematical Logic
- 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 Notre Dame lectures
- The Problems of Logic
- 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 collected papers of Gerhard Gentzen
- The concept of logical consequence
- The congruences of a finite lattice : a "Proof-by-Picture" approach
- The continuum companion to philosophical logic
- 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 foundations of mathematics : and other logical essays
- 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 limits of science : outline of logic and of the methodology of the exact sciences
- The logic book
- The logic of infinity
- 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 logical foundations of scientific theories : languages, structures, and models
- The logical syntax of language
- The logical systems of Lesniewski
- 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 conception of logic : essays on consequence, invariance, and meaning
- The semantic foundations of logic
- The significance of the new 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
- 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?
- What logics mean : from proof theory to model-theoretic semantics
- 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/">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/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/">Sydney Jones Library, University of Liverpool</a></span></span></span></span></div>
