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

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**Massey University Library, University of New Zealand**.- Label
- Logic, Symbolic and mathematical

## Context

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

- 100% mathematical proof
- A beginner's further guide to mathematical logic
- A beginner's guide to mathematical logic
- A concise introduction to mathematical logic
- A concise introduction to pure mathematics
- A concise introduction to pure mathematics
- 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 list of successes that can change the world : essays dedicated to Philip Wadler on the occasion of his 60th birthday
- A logical introduction to proof
- A mathematical introduction to logic
- A new perspective on nonmonotonic logics
- A science of operations : machines, logic and the invention of programming
- 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
- Advanced logic for applications
- After Gödel : Platonism and rationalism in mathematics and logic
- Alan Turing : his work and impact
- Alfred Tarski : early work in Poland : geometry and teaching : with a bibliographic supplement
- An essay in modal logic
- An introduction to Gödel's theorems
- An introduction to Wittgenstein's Tractatus
- An introduction to Wittgenstein's Tractatus
- An introduction to analysis
- An introduction to mathematical logic
- An introduction to practical formal methods using temporal logic
- An introduction to symbolic logic,
- An investigation of the laws of thought on which are founded the mathematical theories of logic and probabilities
- 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
- Applied symbolic logic
- Artificial Intelligence in Medicine : 16th Conference on Artificial Intelligence in Medicine, AIME 2017, Vienna, Austria, June 21-24, 2017, Proceedings
- Autonomy platonism and the indispensability argument
- Basic discrete mathematics : logic, set theory, & probability
- Bertrand Russell and the origins of the set-theoretic 'paradoxes'
- Beyond Sets : a Venture in Collection-Theoretic Revisionism
- Beyond first order model theory
- Categories and types in logic, language, and physics : essays dedicated to Jim Lambek on the occasion of his 90th birthday
- Chinese Lexical Semantics : 17th Workshop, CLSW 2016, Singapore, Singapore, May 20–22, 2016, Revised Selected Papers
- Church's Thesis after 70 years
- Classical and fuzzy concepts in mathematical logic and applications
- Classical groups, derangements and primes
- Classical mathematical logic : the semantic foundations of logic
- Coding the universe
- Cognitive reasoning : a formal approach
- Cogwheels of the mind : the story of Venn diagrams
- Collected logical works
- Collected works., Volume I, Publications 1929-1936
- Combinatorial algorithms : 26th International Workshop, IWOCA 2015, Verona, Italy, October 5-7, 2015, Revised Selected Papers
- Completeness, compactness, and undecidability : an introduction to mathematical logic
- Complexity of modal logics of relations
- Compound statements and mathematical logic
- Computability and logic
- Concepts of proof in mathematics, philosophy, and computer science
- Conceptual models in mathematics: sets, logic and probability,
- Conditional and preferential logics : proof methods and theorem proving
- Constructibility and mathematical existence
- Contributions to mathematical logic. : Proceedings of the Logic Colloquium, Hannover 1966.
- Current trends on knowledge-based systems
- Dag Prawitz on proofs and meaning
- David Makinson on classical methods for non-classical problems
- Decoding the E+-class by an A posteriori, liftable order
- Deducibility and decidability
- Deductive Software Verification -- The KeY Book : From Theory to Practice
- Degrees of unsolvability.
- Delta, a paradox logic
- Dependable Software Engineering: Theories, Tools, and Applications : First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings
- Development of mathematical logic,
- Diamond : a paradox logic
- Diamond :b : a paradox logic
- Discovering patterns in mathematics and poetry
- Distilling ideas : an introduction to mathematical thinking
- Does mathematical study develop logical thinking? : testing the theory of formal discipline
- Dynamic formal epistemology
- Dynamic odds & ends
- Educational algebra : a theoretical and empirical approach
- Elementary applied symbolic logic
- Elements of logic via numbers and sets
- Elements of scientific inquiry
- Elements of symbolic logic
- Elements of the theory of computation
- Elements of the theory of computation
- Elucidating the Tractatus : Wittgenstein's early philosophy of logic and language
- Essays in memory of Imre Lakatos
- Essays on Gödel's reception of Leibniz, Husserl, and Brouwer
- Essays on Wittgenstein's Tractatus
- Essence of logic
- Euclid in the rainforest : discovering universal truth in logic and math
- Explaining beauty in mathematics : an aesthetic theory of mathematics
- Extending the frontiers of mathematics : inquiries into proof and argumentation
- First-order logic
- First-order logic and automated theorem proving
- Fixing Frege
- Folk algebras in algebra : logic and computer science
- Forcing, iterated ultrapowers, and Turing degrees
- 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 : mathematical foundations
- Formal methods and software engineering : 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings
- Formal set theory
- Formal systems and recursive functions; : proceedings.
- Formalism and beyond : on the nature of mathematical discourse
- Foundations and methods from mathematics to neuroscience : essays inspired by Patrick Suppes
- Foundations of Bayesianism
- Foundations of logic : 1903-05
- Foundations of logic and mathematics
- Foundations of mathematics
- Foundations of the logical theory of scientific knowledge (complex logic).
- Foundations without foundationalism : a case for second-order logic
- Frege : philosophy of mathematics
- Frege's logic
- From Frege to Gödel; : a source book in mathematical logic, 1879-1931
- From signs to propositions : the concept of form in eighteenth-century semantic theory
- Functions and generality of logic : reflections on Dedekind's and Frege's logicisms
- Fundamentals of mathematical logic
- Fundamentals of symbolic logic
- Fuzziness in information systems : how to deal with crisp and fuzzy data in selection, classification, and summarization
- Fuzzy logic and mathematics : a historical perspective
- Games, actions and social software : multidisciplinary aspects
- Games, puzzles, and computation
- George Boole : selected manuscripts on logic and its philosophy
- Grundzüge der theoretischen Logik
- Gödel's incompleteness theorems
- Handbook of logic and language
- Handbook of logic in artificial intelligence and logic programming
- Handbook of logic in artificial intelligence and logic programming, Volume 5, Logic programming
- Handbook of logic in computer science, Volume 5, Logic and algebraic methods
- Handbook of mathematical logic
- Handbook of spatial logics
- 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 write a proof
- Implicazione, endometria, universo del discorso
- In the light of logic
- Inconsistent mathematics
- Induction and analogy in mathematics
- Inductive probability
- Inexhaustibility : a non-exhaustive treatment
- Informal logic
- Inheritance theory : an artificial intelligence approach
- Initiatives in logic
- Intermediate logic
- Interpreting Gödel : critical essays
- Introduction to circuit complexity : a uniform approach
- Introduction to logic and sets
- Introduction to mathematical logic
- Introduction to mathematical structures and proofs
- Introduction to mathematics of satisfiability
- Introduction to semantics, and Formalization of logic
- Introduction to symbolic logic
- Introduction to symbolic logic and its applications.
- Introduction to the foundations of mathematics
- Introductory real analysis,
- Is God a mathematician?
- Isolation and the high/low hierarchy
- 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
- Lattices to logic
- Laws of form
- Learning to reason : an introduction to logic, sets and relations
- Lectures in logic and set theory, Volume 2, Set theory
- Lectures in logic and set theory., Vol. 1, Mathematical logic
- 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
- Lewis Carroll's Symbolic logic : part I, Elementary, 1896, fifth edition, part II, Advanced, never previously published : together with letters from Lewis Carroll to eminent nineteenth-century logicians and to his "logical sister," and eight versions of the Barber-shop paradox
- Logic : a brief course
- Logic and algorithms, : with applications to the computer and information sciences
- Logic and arithmetic
- Logic and automata : history and perspectives
- Logic and complexity
- Logic and games on automatic structures : playing with quantifiers and decompositions
- Logic and its applications
- Logic and knowledge : essays, 1901-1950
- Logic and structure
- Logic for computer scientists
- Logic for mathematicians
- 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 in elementary mathematics
- Logic of mathematics : a modern course of classical logic
- Logic with trees : an introduction to symbolic logic
- Logic's lost genius : the life of Gerhard Gentzen
- Logic, mathematics, and computer science : modern foundations with practical applications
- Logic, semantics, metamathematics : papers from 1923 to 1938
- Logic-based decision support : mixed integer model formulation
- Logic-based methods for optimization : combining optimization and constraint satisfaction
- Logic-based methods for optimization : combining optimization and constraint satisfaction
- Logical approach to systems theory
- Logical foundations of mathematics for behavioral scientists
- Logical labyrinths
- Logical number theory : an introduction
- Logical thinking in the pyramidal schema of concepts
- 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 renewed : logical foundations for mathematics and computer science
- Logics in artificial intelligence : 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings
- Logics of specification languages
- Logics without existence assumptions
- Logique arithmétique : l'arithmétisation de la logique
- Louis Couturat, Traité de Logique algorithmique
- Mass terms and model-theoretic semantics
- Mathematical epistemology and psychology
- Mathematical foundations of programming
- Mathematical logic
- Mathematical logic
- Mathematical logic
- Mathematical logic
- Mathematical logic : a course with exercises
- Mathematical logic : applications and theory
- Mathematical logic : foundations for information science
- Mathematical logic and the foundation of mathematics; : an introductory survey
- Mathematical logic for computer science
- Mathematical logic for computer science
- Mathematical logic in the 20th century
- Mathematical logic: a first course
- Mathematical reasoning : analogies, metaphors, and images
- Mathematical recreations of Lewis Carroll [pseud.]
- Mathematical thinking and writing : a transition to abstract mathematics
- Mathematics and mathematical logic : new research
- Mathematics and plausible reasoning
- Mathematics and plausible reasoning
- Meaning and existence in mathematics
- Meaning and necessity : a study in semantics and modal logic
- 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
- Modal logic in two gestalts
- Modality, bisimulation and interpolation in infinitary 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
- Morality, decision, and social organization : toward a logic of ethics
- Natural deduction : the logical basis of axiom systems
- Naturalizing Logico-Mathematical Knowledge : Approaches from Philosophy, Psychology and Cognitive Science
- Non-finitely axiomatizable, union-free reducts of algebras of relations
- Non-standard analysis
- Nonstandard logics and nonstandard metrics in physics
- Notes on logic
- Objectivity, Realism, and Proof : FilMat Studies in the Philosophy of Mathematics
- Objects and modalities : a study in the semantics of modal logic
- On the brink of paradox : highlights from the intersection of philosophy and mathematics
- Ones and zeros : understanding Boolean algebra, digital circuits, and the logic of sets
- Optimization methods for logical inference
- Paradox and paraconsistency : conflict resolution in the abstract sciences
- Paradoxes in probability theory
- Parallel action : concurrent dynamic logic with independent modalities
- Past, present and future
- Past, present and future
- Peeling potatoes or grinding lenses : Spinoza and young Wittgenstein converse on immanence and its logic
- Phenomenology and logic : the Boston College lectures on mathematical logic and existentialism
- Phenomenology, logic and the philosophy of mathematics
- Philosophical and mathematical correspondence [by] Gottlob Frege
- Philosophical grammar
- Philosophical investigations : the English text of the third edition
- Philosophical remarks
- Philosophy of mathematics and deductive structure in Euclid's Elements
- Philosophy of mathematics in the twentieth century : selected essays
- Philosophy of science for scientists
- Picturing quantum processes : a first course in quantum theory and diagrammatic reasoning
- Polish logic 1920-1939 : papers
- Posthumous writings
- Practical Aspects of Declarative Languages : 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8?9, 2018, Proceedings
- Predicative recursion and computational complexity : a thesis submitted in conformity with the requirements of the degree of Doctor of Philosophy, Graduate Department of Computer Science, in the University of Toronto
- Prefix-free languages and initial segments of computably enumerable degrees
- Principia mathematica
- Principia mathematica to *56
- Probabilistic logics and probabilistic networks
- Probability and induction
- Probability logics : probability-based formalization of uncertain reasoning
- Program logics for certified compilers
- Proof and Other Dilemmas : Mathematics and Philosophy
- Proof and knowledge in mathematics
- Proof, logic, and formalization
- Proofs and algorithms : an introduction to logic and computability
- Proofs and refutations : the logic of mathematical discovery
- Propositional logic
- Prototractatus: : an early version of Tractatus logico-philosophicus;
- Qualitative Spatial and Temporal Reasoning
- Qualitative spatio-temporal representation and reasoning : trends and future directions
- Quantification : a Case Study In Transcendental-Metaphysical Logic
- Quantification theory,
- Quantifiers, quantifiers, and quantifiers : themes in logic, metaphysics, and language
- 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
- Readings in Formal Epistemology : Sourcebook
- Reasoning about theoretical entities
- Recursion theory for metamathematics
- Reductive logic and proof-search : proof theory, semantics, and control
- 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
- Saturation and the Hennessey-Milner [i.e. Hennessy-Milner] Property
- Selected logic papers
- Selected papers in logic and foundations, didactics, economics
- Semantic Technology : 6th Joint International Conference, JIST 2016, Singapore, Singapore, November 2-4, 2016, Revised Selected Papers
- Set theory and its logic
- Set theory and its logic
- Set theory and logic
- Set theory and logic,
- Set theory and the continuum hypothesis
- Sets, logic, and axiomatic theories.
- Shattered symmetry : group theory from the eightfold way to the periodic table
- Simplicity theory
- Simplicity theory
- Special topics in mathematics for computer scientists : sets, categories, topologies and measures
- Strict finitism and the logic of mathematical applications
- Structural reality
- 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
- Symbolic logic : an introduction
- Symbolic logic and mechanical theorem proving
- Symbolism and truth : an introduction to the theory of knowledge
- Techniques of deductive inference
- Temporal logic
- Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings
- Temporal logic and state systems
- Text analysis pipelines : towards ad-hoc large scale text mining
- The Arché papers on the mathematics of abstraction
- The Big Typescript, TS. 213
- The Big Typescript, TS. 213
- The Birth of Model Theory : Lowenheim's Theorem in the Frame of the Theory of Relatives
- The Curry-Howard isomorphism
- The Equations : Icons of Knowledge
- The Frege reader
- The Los-Tarski and Lyndon Theorem for the [mu]-logic
- The Notre Dame lectures
- The Palgrave centenary companion to Principia mathematica
- The adventure of reason : interplay between philosophy of mathematics and mathematical logic, 1900-1940
- The argument of the Tractatus : its relevance to contemporary theories of logic, language, mind, and philosophical truth
- The argument of the Tractatus : its relevance to contemporary theories of logic, language, mind, and philosophical truth
- The arrow and the point : Russell and Wittgenstein's Tractatus
- The basic laws of arithmetic; : exposition of the system.
- The best of all possible worlds : mathematics and destiny
- The computer modelling of mathematical reasoning
- The continued exercise of reason : public addresses by George Boole
- The determinacy of long games
- The development of mathematical logic
- The diagonal infinity : problems of multiple scales
- The digital and the real world : computational foundations of mathematics, science, technology, and philosophy
- The elements of mathematical logic
- The equations : icons of knowledge
- The essential Turing : seminal writings in computing, logic, philosophy, artificial intelligence, and artificial life, plus the secrets of Enigma
- The evolution of Principia mathematica : Bertrand Russell's manuscripts and notes for the second edition
- The foundations of mathematics
- The foundations of mathematics : and other logical essays
- The interpolation theorem for IL and ILP
- The logic of chance
- The logic of chance : An essay on the foundations and province of the theory of probability, with especial reference to its logical bearings and its application to moral and social science
- The logic of chance : an essay on the foundations and province of the theory of probability, with especial reference to its logical bearings and its application to moral and social science, and to statistics
- The logic of infinity
- The logic of knowledge bases
- The logic of plurality
- The logical basis for computer programming
- The logical foundations of scientific theories : languages, structures, and models
- The logical problem of induction
- The logical status of diagrams
- The logical syntax of language
- The metaphysics of Wittgenstein's Tractatus
- The metaphysics of the Tractatus
- The nature of mathematics : a critical survey
- The origin of natural order : an axiomatic theory of biology
- The origin of the logic of symbolic mathematics : Edmund Husserl and Jacob Klein
- The power of weak formal systems : a thesis submitted in conformity with the requirements for the degree of Doctor of Philosophy, Graduate Department of Computer Science, in the University of Toronto
- The reality of numbers : a physicalist's philosophy of mathematics
- The strange logic of random graphs
- The structure of models of Peano arithmetic
- The uncertain reasoner's companion : a mathematical perspective
- Theoretical Aspects of Computing – ICTAC 2017 : 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings
- Theories of Intensionality : A Critical Survey
- 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
- Topics in philosophical logic
- Towards paraconsistent engineering
- Tractarian semantics : finding sense in Wittgenstein's Tractatus
- Tractatus logico-philosophicus. : The German text of Logisch-philosophische Abhandlung,
- Transactions on large-scale data- and knowledge-centered systems XXII
- Truth & assertibility
- Truth through proof : a formalist foundation for mathematics
- Turing's World 3.0 for the Macintosh : an introduction to computability theory
- Uncertain inference
- Universal logic through the looking-glass : reflections on logical pluralism in the light of culture
- Unveiling Dynamics and Complexity : 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings
- Verified Software: Theories, Tools, and Experiments : 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers
- Vivid logic : knowledge-based reasoning with two kinds of negation
- What is a number? : mathematical concepts and their origins
- What is mathematical logic?
- Wittgenstein's Tractatus : a critical exposition of its main lines of thought
- Wittgenstein's Tractatus : a dialectical interpretation
- Wittgenstein's Tractatus : an introduction
- Wittgenstein's saying and showing themes
- Word and object
- Word and object

## Embed (Experimental)

### 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.massey.ac.nz/resource/vR27ERD5waM/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.massey.ac.nz/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.massey.ac.nz/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.massey.ac.nz/">Massey University Library, University of New Zealand</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.massey.ac.nz/resource/vR27ERD5waM/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.massey.ac.nz/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.massey.ac.nz/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.massey.ac.nz/">Massey University Library, University of New Zealand</a></span></span></span></span></div>`