#
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

- Authority link
- http://id.loc.gov/authorities/subjects/sh85078115

## Context

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

- A beginner's further guide to mathematical logic
- A concise introduction to pure mathematics
- A framework for priority arguments
- A resolution principle for a logic with restricted quantifiers
- An Introduction to Kolmogorov Complexity and Its Applications
- An examination of logical positivism
- An introduction to Gödel's theorems
- An introduction to non-classical logic : from if to is
- An introduction to substructural logics
- An invitation to applied category theory : seven sketches in compositionality
- Analogical and Inductive Inference : International Workshop All '89 Reinhardsbrunn Castle, GDR, October 1-6, 1989 Proceedings
- Appalachian set theory : 2006-2012
- Automata logics, and infinite games : a guide to current research
- Automated Deduction - Cade-13 : 13th International Conference on Automated Deduction New Brunswick, NJ, USA, July 30 - August 3, 1996 Proceedings
- Automated Deduction -- CADE-12 : 12th International Conference on Automated Deduction Nancy, France, June 26 - July 1, 1994 Proceedings
- Automated Deduction in Equational Logic and Cubic Curves
- Automated Mathematical Induction
- Automated Practical Reasoning : Algebraic Approaches
- Automated Reasoning : First International Joint Conference, IJCAR 2001 Siena, Italy, June 1822, 2001 Proceedings
- Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX'97 Pont-à-Mousson, France, May 13 16, 1997 Proceedings
- Automated deduction in classical and non-classical logics : selected papers
- Automation of Reasoning : 2: Classical Papers on Computational Logic 1967-1970
- Basic discrete mathematics : logic, set theory, & probability
- Beyond first order model theory
- Boolean Functions and Computation Models
- Building proofs : a practical guide
- CAAP '86 : 11th Colloquium on Trees in Algebra and Programming Nice, France, March 24-26, 1986 Proceedings
- Complexity Theory Retrospective : In Honor of Juris Hartmanis on the Occasion of His Sixtieth Birthday, July 5, 1988
- Complexity and Real Computation
- Computability and logic
- Computable Analysis : an Introduction
- Computational Logic : Symposium Proceedings, Brussels, November 13/14, 1990
- Computational Logic and Proof Theory : 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25 29, 1997 Proceedings
- Computational aspects of an order-sorted logic with term declarations
- Computational thinking for the modern problem solver
- Computer Aided Verification
- Computer Algebra : Symbolic and Algebraic Computation
- Computer Science Logic : 14th InternationalWorkshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings
- Computer-Aided Verification : 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18-21, 1990 Proceedings
- Critical approaches to science & philosophy
- Database and Expert Systems Applications : 29th International Conference, DEXA 2018, Regensburg, Germany, September 3–6, 2018, Proceedings, Part II
- Delta, a paradox logic
- Descriptive Complexity
- Diamond :b : a paradox logic
- Does mathematical study develop logical thinking? : testing the theory of formal discipline
- Elements of Finite Model Theory
- Eliminating the universe : logical properties of natural language
- Essays on Wittgenstein's Tractatus
- Extremal Combinatorics : With Applications in Computer Science
- Finite Automata, Formal Logic, and Circuit Complexity
- First-Order Logic and Automated Theorem Proving
- First-order dynamic logic
- Formal concept analysis : mathematical foundations
- Frege and other philosophers
- From mathematics to philosophy
- Fundamentals of mathematical logic
- Fuzzy Decision Procedures with Binary Relations : Towards A Unified Theory
- Fuzzy Logic and Soft Computing
- Fuzzy Preference Modelling and Multicriteria Decision Support
- Fuzzy Relation Equations and Their Applications to Knowledge Engineering
- Fuzzy Sets in Information Retrieval and Cluster Analysis
- Fuzzy logic in data modeling : semantics, constraints, and database design
- Fuzzy logic theory and applications : Part I and Part II
- Games, puzzles, and computation
- Grammatical inference : learning automata and grammars
- Handbook of Logic and Proof Techniques for Computer Science
- Handbook of Mathematical Induction : Theory and Applications
- Higher-Order Algebra, Logic, and Term Rewriting : Second International Workshop, HOA '95 Paderborn, Germany, September 21-22, 1995 Selected Papers
- Inexhaustibility : a non-exhaustive treatment
- Information Retrieval: Uncertainty and Logics : Advanced Models for the Representation and Retrieval of Information
- 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
- Intelligent Decision Support : Handbook of Applications and Advances of the Rough Sets Theory
- Introduction to Mathematical Logic, Fifth Edition
- Introduction to Relation Algebras. : Relation Algebras /, Volume 1 :
- Introduction to mathematical logic
- Introduction to mathematical logic
- Introduction to mathematics of satisfiability
- Iteration Theories : the Equational Logic of Iterative Processes
- Knowledge Discovery and Data Mining : the Info-Fuzzy Network (IFN) Methodology
- Kurt Gödel : essays for his centennial
- Learning language in logic
- Lectures on mathematical logic, Volume II, calculi for derivations and deductions
- Lectures on mathematical logic, Volume III, The logic of arithmetic
- Linear Logic in Computer Science
- Logic Programming and Automated Reasoning : 5th International Conference, LPAR '94 Kiev, Ukraine, July 16-22, 1994 Proceedings
- Logic Programming and Nonmonotonic Reasoning : Third International Conference, LPNMR '95 Lexington, KY, USA, June 26-28, 1995 Proceedings
- Logic for Applications
- Logic of domains
- Logic of programs : workshop, ETH Zürich, May-July 1979
- Logic programming and automated reasoning : 4th international conference, LPAR '93, St. Petersburg, Russia, July 1320, 1993 : proceedings
- Logic programming and automated reasoning : International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings
- Logic versus approximation : essays dedicated to Michael M. Richter on the occasion of his 65th birthday
- Logical foundations of proof complexity
- Logical labyrinths
- Logical syntax of language
- Logicism and its philosophical legacy
- Logicism renewed : logical foundations for mathematics and computer science
- Logics for computer science : classical and non-classical
- Logics in AI : European Workshop JELIA '90 Amsterdam, the Netherlands, September 10-14, 1990 Proceedings
- Mathematical Foundations of Computer Science : Sets, Relations, and Induction
- Mathematical Logic for Computer Science
- Mathematical foundations of advanced informatics, Volume 1, Inductive approaches
- Mathematical logic
- Mathematical logic for computer science
- Mathematical reasoning : analogies, metaphors, and images
- Mathematical reasoning : patterns, problems, conjectures, and proofs
- Mathematics, models, and modality : selected philosophical essays
- Meaning and Proscription in Formal Logic : Variations on the Propositional Logic of William T. Parry
- Mechanical logic in three-dimensional space
- Mechanical theorem proving in geometries : basic principles
- Model theory and the philosophy of mathematical practice : formalization without foundationalism
- Modelling with words : learning, fusion, and reasoning within a formal linguistic representation framework
- Neighborhood Semantics for Modal Logic
- Nonmonotonic Logic : Context-Dependent Reasoning
- Nonmonotonic and inductive logic : 1st international workshop, Karlsruhe, Germany, December 4-7, 1990 : proceedings
- Nonstandard logics and nonstandard metrics in physics
- On the trail to Wittgenstein's hut : the historical background of the Tractatus logico-philosophicus
- Phenomenology, logic, and the philosophy of mathematics
- Piaget's logic : a critique of genetic epistemology
- Principles and Practice of Constraint Programming : 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings
- Probabilistic knowledge
- Proof and knowledge in mathematics
- Proof, logic, and formalization
- Ptolemy's Tetrabiblos in the Translation of William of Moerbeke : Claudii Ptolemaei Liber Iudicialium.
- Purity, spectra and localisation
- Quantifiers, Propositions and Identity : Admissible Semantics for Quantified Modal and Substructural Logics
- Reasoning and Unification over Conceptual Graphs
- Relations and Graphs : Discrete Mathematics for Computer Scientists
- Resolution Proof Systems : an Algebraic Theory
- Roads to infinity : the mathematics of truth and proof
- Rough Sets and Data Mining : Analysis of Imprecise Data
- Routledge philosophy guidebook to Wittgenstein and the Tractatus logico-philosophicus
- Selected logic papers
- Set Theory, Arithmetic, and Foundations of Mathematics : Theorems, Philosophies
- Sets, models and proofs
- Software Defect and Operational Profile Modeling
- Solving Higher-Order Equations : From Logic to Programming
- Sorts and Types in Artificial Intelligence : Workshop, Eringerfeld, FRG, April 24-26, 1989 Proceedings
- Specifying message passing and time-critical systems with temporal logic
- Stochastic Versus Fuzzy Approaches to Multiobjective Mathematical Programming under Uncertainty
- Structural Analysis of Non-Classical Logics : the Proceedings of the Second Taiwan Philosophical Logic Colloquium
- Structural Complexity I
- Structural Complexity I
- Structural Complexity II
- Structures and Algorithms : Mathematics and the Nature of Knowledge
- Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht
- Studies in logic
- Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings
- Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings
- The Collected Works of J. Richard Büchi
- The Hyperuniverse Project and Maximality
- The Logic of Partial Information
- The diagonal infinity : problems of multiple scales
- The early Wittgenstein on metaphysics, natural science, language, and value
- The foundations of mathematics and other logical essays
- The limits of logic : higher-order logic and the Löwenheim-Skolem theorem
- The logic of information structures
- The logical foundations of scientific theories : languages, structures, and models
- The mathematics of logic : a guide to completeness theorems and their applications
- The origin of natural order : an axiomatic theory of biology
- Theorems of the 21st century, Volume I
- Toward "Principia mathematica", 1905-08
- Tracking reason : proof, consequence, and truth
- Tractatus logico-philosophicus
- Tractatus logico-philosophicus
- Truth & assertibility
- Typed Lambda Calculi and Applications : 5th International Conference, TLCA 2001 Kraków, Poland, May 2 5, 2001 Proceedings
- Typed Lambda Calculi and Applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom, April 10-12, 1995 Proceedings
- Types for Proofs and Programs : International Workshop TYPES '94 Båstad, Sweden, June 6-10, 1994 Selected Papers
- Ultralogic as universal? : The Sylvan jungle -- Volume 4, with notes and commentaries
- Understanding Wittgenstein's Tractatus
- Vivid logic : knowledge-based reasoning with two kinds of negation
- Word Equations and Related Topics : Second International Workshop, IWWERT '91 Rouen, France, October 7-9, 1991 Proceedings

## 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/i48yb_I-AYw/" 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/i48yb_I-AYw/">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/i48yb_I-AYw/" 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/i48yb_I-AYw/">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>`