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

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

#### 100+ Items that share the Concept Logic, Symbolic and mathematical

## Context

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

- 100% mathematical proof
- A Boole anthology : recent and classical studies in the logic of George Boole
- A Resolution principle for a logic with restricted quantifiers
- A computational logic handbook
- A concise introduction to mathematical logic
- A course in mathematical logic
- A course in mathematical logic
- A course on mathematical logic
- A deduction model of belief
- A first course in formal logic and its applications in computer science
- A first course in modern logic
- A formalization of set theory without variables
- A framework for priority arguments
- A friendly introduction to mathematical logic
- A guide to NIP theories
- A logical introduction to proof
- A mathematical introduction to logic
- A precis of mathematical logic
- A primer of formal logic,
- A profile of mathematical logic
- A structuralist theory of logic
- A study in Wittgenstein's Tractatus
- A study of logics
- A survey of symbolic logic,
- A textbook of belief dynamics : theory change and database updating
- A theory of formal deducibility
- A tour through mathematical logic
- A transition to abstract mathematics : mathematical thinking and writing
- A transition to mathematics with proofs
- Abstract logics / D. J. Brown and R. Suszko. Classical abstract logics / S. L. Bloom and D. J. Brown
- Abstract sets and finite ordinals; : an introduction to the study of set theory
- Adapting proofs-as-programs : the Curry-Howard protocol
- Admissibility of logical inference rules
- Advanced work in English,
- After Gödel : Platonism and rationalism in mathematics and logic
- Aktion, Reaktion : zur Aktionslogik zweiphasiger narrativer Einheiten : Wiederherstellung, Vergeltung
- Alan Turing : his work and impact
- Alfred Tarski : life and logic
- Algebra, mathematical logic, number theory, topology : collection of survey papers : on the 50th anniversary of the institute
- Algebraic approach to tense operators
- Algebraic methods of mathematical logic.
- Algebraic systems
- Algorithmic logic
- An algebraic introduction to mathematical logic
- An essay in modal logic
- An examination of a decision procedure
- An examination of logical positivism
- An introduction to Gödel's Theorems
- An introduction to Gödel's theorems
- An introduction to Hilbert space and quantum logic
- An introduction to Wittgenstein's Tractatus
- An introduction to Wittgenstein's Tractatus,
- An introduction to fuzzy logic applications
- An introduction to mathematical logic and type theory : to truth through proof
- An introduction to mathematical logic and type theory : to truth through proof
- An introduction to mathematical reasoning
- An introduction to mathematical thought
- An introduction to modern logic : an elementary textbook of symbolic logic
- An introduction to paraconsistent logics
- An introduction to symbolic logic
- An investigation of the laws of thought, : on which are founded mathematical theories of logic and probabilities
- An outline of mathematical logic : fundamental results and notions explained with all details
- An outline of set theory
- Analysis and decision making in uncertain systems
- Analysis and logic
- Analytical syllogistics; : a pragmatic interpretation of the Aristotelian logic,
- Applicable inductive logic
- Applying Toulmin's argumentation framework to explanations in a reform-oriented mathematics class
- Argument and inference : an introduction to symbolic logic
- Automated deduction : a basis for applications
- Automated deduction in classical and non-classical logics : selected papers
- Automated deduction in multiple-valued logics
- Automation of reasoning
- Autonomy platonism and the indispensability argument
- Axiomatic theory of sets and classes
- Bertrand Russell and the origins of the set-theoretic 'paradoxes'
- Between logic and intuition : essays in honor of Charles Parsons
- Beyond infinity : an expedition to the outer limits of the mathematical universe
- CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings
- Canonical analysis : some relations between canonical correlation, factor analysis, discriminant function analysis, and scaling theory
- Classical and fuzzy concepts in mathematical logic and applications
- Classical mathematical logic : the semantic foundations of logic
- Closure spaces and logic
- Coding the universe
- Cogwheels of the mind : the story of Venn diagrams
- Collected logical works
- Collected works
- Combinatory logic : [by] Haskell B. Curry [and] Robert Feys. With two sections by William Craig
- Communication: : a logical model
- Completeness, compactness, and undecidability : an introduction to mathematical logic
- Compound statements and mathematical logic
- Computability : computable functions, logic, and the foundations of mathematics
- Computability and logic
- Computability and logic
- Computability and logic
- Computability and logic
- Computability and logic
- Computability, complexity, logic
- Computation, logic, philosophy : a collection of essays
- Computational aspects of an order-sorted logic with term declarations
- Computer simulations of a perceptual learning model for sensory pattern recongnition : concept formation, and symbol transformation
- Conditional inference and logic for intelligent systems : a theory of measure-free conditioning
- Conditional logic in expert systems
- Constructibility and mathematical existence
- Constructive order types.
- Contributions to mathematical logic. : Proceedings of the Logic Colloquium, Hannover 1966.
- Course of mathematical logic.
- Deducibility and decidability
- Degrees of unsolvability.
- Delta, a paradox logic
- Der Begriff der Wahrscheinlichkeit für die mathematische Darstellung der Wirklichkeit
- Derivation and counterexample : an introduction to philosophical logic
- Descartes's Rules for the direction of the mind
- Descriptive complexity
- Deutung und Bedeutung : zur logischen Semantik philosophischer Terminologie
- Development of mathematical logic
- Diamond : a paradox logic
- Dictionary of symbols of mathematical logic
- Digital logic and switching circuits : operation and analysis
- Direct and converse theorems; : the elements of symbolic logic.
- Discovering patterns in mathematics and poetry
- Discrete mathematics and its applications
- Discrete structures, logic, and computability
- Educational algebra : a theoretical and empirical approach
- Effective logic computation
- Eine Termlogik mit Auswahloperator
- Einführung in die operative Logik und Mathematik.
- Einführung in die symbolische Logik mit besonderer Berücksichtigung ihrer Anwendungen
- Elementary applied symbolic logic
- Elementary logic
- Elementary logic
- Elementary symbolic logic
- Elements of logical reasoning
- Elements of mathematical logic
- Elements of mathematical logic : (Model theory)
- Elements of mathematical logic and set theory,
- Elements of mathematical logic.
- Elements of scientific inquiry
- Elements of set theory
- Elements of symbolic logic
- Elements of the theory of computation
- Elements of the theory of computation
- Epistemic logic for AI and computer science
- Equational logic as a programming language
- Essays in memory of Imre Lakatos
- Essays on Frege,
- Essays on Wittgenstein's Tractatus.
- Essence of logic
- Euclid in the rainforest : discovering universal truth in logic and math
- Extending the frontiers of mathematics : inquiries into proof and argumentation
- Fibring logics
- Finite automata, formal logic, and circuit complexity
- First course in mathematical logic
- First-order dynamic logic
- First-order logic
- First-order logic
- First-order logic and automated theorem proving
- Fixing Frege
- Formal logic (1847)
- Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic
- Formal methods : theory and practice
- Formal methods in artificial intelligence
- Formal systems and recursive functions; : proceedings.
- Formale Logik und Grammatik
- Formalization of logic,
- Formally self-referential propositions for cut free classical analysis and related systems
- Foundational studies : selected works
- Foundations : essays in philosophy, logic, mathematics, and economics
- Foundations of Bayesianism
- Foundations of computing : system development with set theory and logic
- Foundations of logic programming
- Foundations of mathematical logic
- Foundations of mathematics
- Foundations of mathematics. : Symposium papers commemorating the sixtieth birthday of Kurt Gödel.
- Fragmente zur Logik;
- Frege : philosophy of mathematics
- Frege and Gödel; : two fundamental texts in mathematical logic
- Frege and other philosophers
- Frege's notations : what they are and how they mean
- Frege's philosophy of mathematics
- Frege's theorem
- From Frege to Gödel; : a source book in mathematical logic, 1879-1931
- From an ivory tower, : a discussion of philosophical problems originating in modern mathematics
- From logic to computing
- From mathematics to philosophy
- From natural language processing to logic for expert systems : a logic based approach to artificial intelligence
- From signs to propositions : the concept of form in eighteenth-century semantic theory
- Fundamentals of mathematical logic
- Fundamentals of mathematics
- Fundamentals of mathematics : an introduction to proofs, logic, sets, and numbers
- Fundamentals of symbolic logic
- Fundamentos matemáticos de la lógica formal
- Fuzzy logic technology and applications I
- Games, puzzles, and computation
- Geometric calculus : according to the Ausdehnungslehre of H. Grassmann
- George Boole : selected manuscripts on logic and its philosophy
- Good math : a geek's guide to the beauty of numbers, logic, and computation
- Grammatical inference : learning automata and grammars
- Grundlagen der Mathematik
- Grundzüge der mathematischen Logik
- Grundzüge der theoretischen logik
- Gödel's nasty knot : you can't know everything, right?
- 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 the logic of argument and inference : the turn towards the practical
- Higher order logic and hardware verification
- Historisch-algebraischer sehr nützlicher Zeit-Vertreib : bestehend in 100. sehr raren und seltsamen Geschichts-Erzehlungen ...
- How to prove it : a structured approach
- How to read and do proofs : an introduction to mathematical thought process
- How to read and do proofs : an introduction to mathematical thought processes
- How to read and do proofs : an introduction to mathematical thought processes
- In the light of logic
- Inconsistent mathematics
- Inductive probability
- Inexhaustibility : a non-exhaustive treatment
- Infinity and the mind : the science and philosophy of the infinite/
- Initiatives in logic
- Intensional and higher-order modal logic : with applications to Montague semantics
- Intensional logic and the metaphysics of intentionality
- Intermediate logic
- Internal logic : foundations of mathematics from Kronecker to Hilbert
- Introduction to digital logic design
- Introduction to elementary mathematical logic
- Introduction to logic : propositional logic
- Introduction to logic for systems modelling
- Introduction to logic programming
- Introduction to mathematical logic
- Introduction to mathematical logic
- Introduction to mathematical logic
- Introduction to mathematical logic
- Introduction to mathematical logic
- Introduction to mathematical logic :
- Introduction to mathematical structures and proofs
- Introduction to mathematics of satisfiability
- Introduction to semantics,
- Introduction to symbolic logic
- Introduction to symbolic logic
- Introduction to symbolic logic
- Introduction to symbolic logic and its applications.
- Introduction to the foundations of mathematics
- Introduction to the foundations of mathematics
- Introduction to the techniques of symbolic logic
- Introductory logic and formal methods
- Intuitionism; : an introduction
- Is God a mathematician?
- Issledovanie logicheskikh sistem. : [Sbornik stateĭ. Posvi͡ashch. S. A. I͡Anovskoĭ.
- Iteration theories : the equational logic of iterative processes
- Knowledge and belief in philosophy and artificial intelligence
- Knowledge in action : logical foundations for specifying and implementing dynamical systems
- Kreiseliana : about and around Georg Kreisel
- Kurt Gödel : essays for his centennial
- L'algébre logique et ses rapports avex la théorie des relations
- La machine en logique
- La synthèse subjective d'Auguste Comte; ou, Système universel des conceptions propres à l'état normal de l'humanité
- Language in action : categories, lambdas, and dynamic logic
- Language, logic, and mathematics
- Language, philosophy and logic
- Latent variable path modeling with partial least squares
- Laws of form
- Lecture notes in mathematical logic
- Lectures on non-standard analysis
- Lectures on the logic of computer programming
- Lenguaje y lógica en el Tractatus de Wittgenstein : crítica interna y problemas de interpretación
- 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
- Linear logic in computer science
- Logic : a foundation for computer science
- Logic : mathematics, language, computer science, and philosophy
- Logic : techniques of formal reasoning
- Logic Colloquium '80 : papers intended for the European summer meeting of the Association for Symbolic Logic
- Logic and algebra of specification
- Logic and algorithms, : with applications to the computer and information sciences
- Logic and arithmetic
- Logic and computer science
- Logic and information flow
- Logic and knowledge : essays 1901-1950
- Logic and knowledge representation : an introduction for systems analysts
- Logic and language. : Studies dedicated to Professor Rudolf Carnap on the occasion of his seventieth birthday
- Logic and programmin in logic
- Logic and proof
- Logic and specification : extending VDM-SL for advanced formal specification
- Logic and structure
- Logic and structure
- Logic and structured design for computer programmers
- Logic and visual information
- Logic as algebra
- Logic bivalence and denotation
- Logic for applications
- Logic for applications
- Logic for computer science
- Logic for computer science : foundations of automatic theorem proving
- Logic for computer science : foundations of automatic theorem proving
- Logic for computer scientists
- Logic for mathematicians
- Logic for mathematicians
- Logic for mathematicians
- Logic for problem
- Logic in mathematics: an elementary approach
- Logic of domains
- Logic of mathematics : a modern course of classical logic
- Logic programming and its applications
- Logic, algebra, and databases
- Logic, computers, and sets
- Logic, language and computation
- Logic, language, and computation
- Logic, proof, and sets
- Logic, semantics, metamathematics : papers from 1923 to 1938
- Logic, semantics, metamathematics; : papers from 1923 to 1938
- Logic, sets, and recursion
- Logic-based methods for optimization : combining optimization and constraint satisfaction
- Logic; : techniques of formal reasoning
- Logica universalis : towards a general theory of logic
- Logical and logico-mathematical calculi. 2.
- Logical approach to systems theory
- 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 mathematics for behavioral scientists
- Logical foundations of proof complexity
- Logical frameworks for truth and abstraction : an axiomatic study
- Logical investigations
- Logical labyrinths
- Logical methods : in honor of Anil Nerode's sixtieth birthday
- Logical number theory : an introduction
- Logical papers;
- Logical systems containing only a finite number of symbols
- Logical writings;
- Logically determined design : clockless system design with NULL convention logic
- Logicism renewed : logical foundations for mathematics and computer science
- Logics for artificial intelligence
- Logik und Sprache
- Logique moderne
- Logiques construites par une méthode de déduction naturelle
- Logisch-philosophische Studien
- Lógica simbólica
- Machinations : computational studies of logic, language, and cognition
- Many-sorted logic and its applications
- Mass terms and model-theoretic semantics
- Math and logic games
- Mathematical epistemology and psychology
- Mathematical fallacies and paradoxes
- Mathematical interpretation of formal systems
- Mathematical intuitionism : introduction to proof theory
- Mathematical logic
- Mathematical logic
- Mathematical logic
- Mathematical logic
- Mathematical logic
- Mathematical logic
- Mathematical logic
- Mathematical logic
- Mathematical logic : an introduction to model theory
- Mathematical logic and Hilbert's & symbol
- Mathematical logic and computability
- Mathematical logic and formal systems : a collection of papers in honor of Professor Newton C.A. da Costa
- Mathematical logic and formalized theories; : a survey of basic concepts and results
- Mathematical logic and model theory : a brief introduction
- Mathematical logic and the foundations of mathematics; : an introductory survey
- Mathematical logic for computer science
- Mathematical logic with special reference to the natural numbers
- Mathematical logic, the theory of algorithms and the theory of sets
- Mathematical logic: a first course
- Mathematical reasoning : analogies, metaphors, and images
- Mathematical reasoning : patterns, problems, conjectures, and proofs
- Mathematical recreations of Lewis Carroll
- Mathematical theory of program correctness
- Mathematico-deductive theory of rote learning; : a study in scientific methodology,
- Mathematics and logic for digital devices
- Mathematics and plausible reasoning
- Mathematics and plausible reasoning,
- Mathematische Gesetze der Logik.
- Mathematische Logik mik Informatik-Anwendungen
- Mathematische Logik von 1847 bis zur Gegenwart : eine bibliometrische Untersuchung
- Mathematische und transzendentale Identität : Philosophische Untersuchungen über den Identitätsbegriff d. mathemat. Logik sowie bei Schelling u. Hegel
- Matérialisme, dialectique et logique
- Meaning and existence in mathematics
- Meaning and necessity : a study in semantics and modal logic
- Meaning and necessity; : a study in semantics and modal logic
- Measurement, empirical meaningfulness and three-valued logic
- Mechanical logic in three-dimensional space
- Mits, wits, and logic.
- Mo bian luo ji xue
- Mo jia di xing shi luo ji
- Modal logics
- Modelle der Mengenlehre : Widerspruchsfreiheit und Unabhängigkeit der Kontinuum-Hypothese und des Auswahlaxioms
- Modelling with words : learning, fusion, and reasoning within a formal linguistic representation framework
- Modern formal logic
- Morality, decision, and social organization : toward a logic of ethics
- Multiple representations of mathematical reasoning
- Natural deduction : a proof-theoretical study
- Natural deduction : the logical basis of axiom systems
- Neklassicheskai͡a logika. : [Sbornik stateĭ. Otv. red. i avt. predisl. P. V. Tavanet͡s]
- Neues System der Logik : symbolisch-symmetrische Rekonstruktion und operative Anwendung des aristotelischen Ansatzes
- Non-standard analysis
- Nonstandard logics and nonstandard metrics in physics
- Normative systems
- Notebooks, 1914-1916
- Notes on logic,
- Notions de logique : par J. Drabbe
- Numerically exceptive logic : a reduction of the classical syllogism
- Observing how humans make mistakes to discover how to get computers to do likewise
- On group-theoretic decision problems and their classification,
- On the syllogism, : and other logical writings.
- On the trail to Wittgenstein's hut : the historical background of the Tractatus logico-philosophicus
- On the very general character of equilibrium systems
- Once upon a number : the hidden mathematical logic of stories
- Ontology and the logistic analysis of language. : An enquiry into the contemporary views on universals.
- Optimization methods for logical inference
- PX, a computational logic
- Paradox and paraconsistency : conflict resolution in the abstract sciences
- Past, present and future,
- Philosophical applications of free logic
- Philosophical grammar.
- Philosophical logic in Poland
- Philosophical problems of many-valued logic
- Philosophische Grammatik.
- Philosophy of mathematics and deductive structure in Euclid's Elements
- Polish logic, 1920-1939
- Popular lectures on mathematical logic
- Possible worlds : logic, semantics and ontology
- Posthumous writings
- Premises and conclusions : symbolic logic for legal analysis
- Preuves et réfutations : essai sur la logique de la découverte mathématique
- Principia mathematica
- Principia mathematica : to *56,
- Principles of logic and logic programming
- Principles of mathematical logic
- Principles of the algebra of logic : with examples
- Probabilistic logic in a coherent setting
- Proceedings
- Proof in geometry
- Proofs and Algorithms: Introduction to Logic and Computability Theory
- Proofs and refutations : the logic of mathematical discovery
- Proofs and types
- Propositional logic
- Propositional logics : the semantic foundations of logic
- Prototractatus: : an early version of Tractatus logico-philosophicus;
- Prototractatus; : an early version of Tractatus logico-philosophicus.
- Provability and truth
- Provability in logic
- Pure logic and other minor works
- Q.E.D. beauty in mathematical proof
- Quality and concept
- Quantification theory,
- Quantifiers in deontic logic
- Quantifiers, propositions and identity : admissible semantics for quantified modal and substructural logics
- Quantoren, Modalitäten, Paradoxien; : Beiträge zur Logik.
- Quantum logic and hidden variables
- Quantum logic is the foundation of mathematics, physics, and computer science
- Quantum probability--quantum logic
- Realizability : an introduction to its categorical side
- Reasoning about uncertainty
- Reasoning with incomplete information
- Recursive function theory and logic
- Reductive logic and proof-search : proof theory, semantics, and control
- Reduktionstheorie des Entscheidungsproblems im Prädikatenkalkül der ersten Stufe
- Regulae ad directionem ingenii.
- Regulae ad directionem ingenii: : règles pour la direction de l'esprit.
- Representing and reasoning with probabilistic knowledge : a logical approach to probabilities
- Représentabilité et définissabilité dans les algèbres transformationnelles et dans les algèbres polyadiques
- Resolution proof systems : an algebraic theory
- Rights and decisions : formal models of law and liberalism
- Rippling : meta-level guidance for mathematical reasoning
- Roads to infinity : the mathematics of truth and proof
- Régles utiles et claires pour la direction de l'esprit en la recherche de la vérité
- Selected logic papers,
- Selected mathematical papers of Axel Thue
- Selected topics in algebra and its interrelations with logic, number theory, and algebraic geometry
- Semantics and logics of computation
- Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel
- Set theory and its logic
- Set theory and logic,
- Set theory and the continuum hypothesis
- Set theory, arithmetic, and foundations of mathematics : theorems, philosophies
- Set theory, logic, and their limitations
- Sets and logic
- Sets, logic & numbers
- Sets, logic, and axiomatic theories
- Sets, logic, and axiomatic theories.
- Sets, models and recursion theory. : Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965.
- Shattered symmetry : group theory from the eightfold way to the periodic table
- Signs of sense : reading Wittgenstein's Tractatus
- Solvability, provability, definability : the collected works of Emil L. Post
- Solvable cases of the decision problem
- Some philosophical aspects of abstract model theory
- Specifying message passing and time-critical systems with temporal logic
- Specifying systems : the TLA+ language and tools for hardware and software engineers
- Structure of laws as represented by symbolic methods
- Structure of laws as represented by symbolic methods
- Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht
- Studies in diagrammatology and diagram praxis
- Studies in foundations and combinations
- Studies in logic
- Studies in logic and probability
- Subalgebras of diagonalizable algebras of theories containing arithmatic
- Subobject, adequacy, completeness and categories of algebras
- Substructural logics
- Syllabus of a proposed system of logic
- Symbolic and knowledge-based signal processing
- Symbolic logic
- Symbolic logic
- Symbolic logic
- Symbolic logic
- Symbolic logic
- Symbolic logic
- Symbolic logic
- Symbolic logic
- Symbolic logic : an introduction
- Symbolic logic : an introductory textbook for non-mathematicians
- Symbolic logic : classical and advanced systems
- Symbolic logic : syntax, semantics, and proof
- Symbolic logic and intelligent machines
- Symbolic logic and the real number system : an introduction to the foundations of number systems
- Symbolic logic,
- Symbolic logic; : an introduction
- Systems of formal logic
- Systems of logic
- Systems of logic based on ordinals ...
- Système et liberté dans la logique de Hegel
- Techniques of deductive inference
- Temporal logic
- Temporal logic : from ancient ideas to artificial intelligence
- Temporal logic : mathematical foundations and computational aspects
- Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings
- Temporal logic of programs
- Tense and tense logic
- The Calculi of symbolic logic, 1.
- The Critical approach to science and philosophy
- The Haskell road to logic, maths and programming
- The Imperative future : principles of executable temporal logic
- The Logical enterprise
- The Notre Dame lectures
- The Palgrave centenary companion to Principia mathematica
- The algebra of logic,
- The anagogic theory of Wittgenstein's 'Tractatus'
- The anatomy of mathematics
- The argument of the Tractatus : its relevance to contemporary theories of logic, language, mind, and philosophical truth
- The best of all possible worlds : mathematics and destiny
- The calculi of lambda-conversion,
- The collected works of J. Richard Büchi
- The concept of language
- The concept of logical consequence
- The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory,
- The continuum of inductive methods
- The determinacy of long games
- The development of symbolic logic; : a critical-historical study of the logical calculus,
- The diagonal infinity : problems of multiple scales
- The early Wittgenstein on metaphysics, natural science, language, and value
- The elements of logic : for use in computer science, mathematics, 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 foundations of mathematics and other logical essays
- The foundations of mathematics and other logical essays
- The function and forms of thought; : an elementary text in methodology and logic based upon symbolic principles,
- The game of logic
- The human being as a logical thinker
- The language of logic
- The languages of logic
- The laws of thought
- The limits of logic : higher-order logic and the Löwenheim-Skolem theorem
- The limits of science : outline of logic and of the methodology of the exact sciences
- The logic book
- The logic of categories of partial functions and its applications
- 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 discovery,
- The logic of information structures
- The logic of knowledge bases
- The logic of partial information
- The logic of plurality
- The logic of programming
- The logic of reliable inquiry
- The logic of sequences : a generalization of Principia mathematica
- 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 logical systems of Lesniewski
- The mathematical foundations of programming : or, perhaps, The mathematical foundations of computing
- The mathematics of inheritance systems
- The mathematics of logic : a guide to completeness theorems and their applications
- The metaphysics of the Tractatus
- The nature and application of inductive logic, : consisting of six sections from Logical foundations of probability
- The nature of mathematics; : a critical survey
- The origin of the logic of symbolic mathematics : Edmund Husserl and Jacob Klein
- The pragmatics and semiotics of standard languages
- The problems of logic
- The puzzler's dilemma : from the Lighthouse of Alexandria to Monty Hall, a fresh look at classic conundrums of logic, mathematics, and life
- The real numbers : an introduction to set theory and analysis
- The reality of numbers : a physicalist's philosophy of mathematics
- The rhetoric of science; : a methodological discussion of the two-by-two table
- The search for certainty : a philosophical account of foundations of mathematics
- The search for truth
- The semantic foundations of logic
- The semantics and proof theory of the logic of bunched implications
- The structure of models of Peano arithmetic
- The temporal logic of reactive and concurrent systems
- The theory of probability, : an inquiry into the logical and mathematical foundations of the calculus of probability.
- The two-valued iterative systems of mathematical logic
- The uncertain reasoner's companion : a mathematical perspective
- The world and language : the ontology for natural language
- Theory of language syntax : categorial approach
- Thirty years of foundational studies : lectures on the development of mathematical logic and the study of the foundations of mathematics in 1930-1964
- Time and modality
- Topics in engineering logic
- Topics in philosophical logic
- Toward an ontology of number, mind and sign
- Towards a general theory of classifications
- Tracking reason : proof, consequence, and truth
- Tractatus Logico-Philosophicus : the German text of Ludwig Wittgenstein's Logisch-philosophische Abhandlung
- Tractatus logico-philosophicus
- Transcendence and Wittgenstein's Tractatus
- Transcendentalizaciones matemáticas ilegítimas y falacias correlacionadas : versión taquigráfica de las conferencias pronunciadas en la Facultad de filosofia y letras de Buenos Aires
- Translations from the philosophical writings of Gottlob Frege.
- 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 symbolic logic
- Understanding symbolic logic
- Universal logic
- Vivid logic : knowledge-based reasoning with two kinds of negation
- Vollständige Systeme modaler und intuitionistischer Logik
- Vorlesungen über die Algebra der Logik : [exakte Logik)
- Wahrheit und Beweisbarkeit : eine Untersuchung über des Verhältnis von Denken und Anschauung in der Mathematik
- Well-structured mathematical logic
- What are some of the common traits in the thought processes of undergraduate students capable of creating proof?
- What is a logical system?
- What is a number? : mathematical concepts and their origins
- What is category theory?
- What is mathematical logic?
- What logics mean : from proof theory to model-theoretic semantics
- Wittgenstein's Tractatus / : a critical exposition of its main lines of thought
- 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 Tractatus and the modern arts
- Wittgenstein's early philosophy : three sides of the mirror
- Wittgenstein's saying and showing themes
- Word and object
- Word and object
- Young children's comprehension of logical connectives
- Zum Thema Sprache und Logik : Ergebnisse einer interdisziplinären Diskussion
- Zur Geschichte der logischen Form
- Épistémologie mathématique et psychologie; : essai sur les relations entre la logique formelle et la pensée réelle,

## 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.lib.byu.edu/resource/vR27ERD5waM/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.lib.byu.edu/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.lib.byu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.lib.byu.edu/">Brigham Young University</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.lib.byu.edu/resource/vR27ERD5waM/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.lib.byu.edu/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.lib.byu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.lib.byu.edu/">Brigham Young University</a></span></span></span></span></div>`