#
Logique symbolique et mathématique
Resource Information
The concept ** Logique symbolique et mathématique** represents the subject, aboutness, idea or notion of resources found in **Boston University Libraries**.

The Resource
Logique symbolique et mathématique
Resource Information

The concept

**Logique symbolique et mathématique**represents the subject, aboutness, idea or notion of resources found in**Boston University Libraries**.- Label
- Logique symbolique et mathématique

## Context

Context of Logique symbolique et mathématique#### Subject of

No resources found

No enriched resources found

- A companion to Wittgenstein's Tractatus,
- A computational logic handbook
- A course in mathematical logic
- A course in mathematical logic
- A deduction model of belief
- A formalization of set theory without variables
- A mathematical introduction to logic
- A mathematical introduction to logic
- A primer of formal logic,
- A profile of mathematical logic
- A resolution principle for a logic with restricted quantifiers
- A structuralist theory of logic
- A system of logistic,
- Advanced logic for applications
- Advances in mathematical systems theory,
- Algebra, mathematical logic, number theory, topology
- Algebraic logic and predicate functors,
- An algebraic approach to non-classical logics
- An examination of logical positivism,
- An introduction to Hilbert space and quantum logic
- An introduction to mathematical logic and type theory : to truth through proof
- An introduction to mathematical machine theory
- An introduction to mathematical thought
- An introduction to symbolic logic
- An introduction to symbolic logic
- An introduction to transformational grammars
- An outline of set theory
- Aristotle's syllogistic from the standpoint of modern formal logic
- Automation of reasoning
- Bedeutung und Notwendigkeit; : eine Studie zur Semantik und modalen Logik.
- Coding the universe
- Collected works
- Communication: : a logical model
- Complete theories
- Computability and logic
- Computability and logic
- Computability, complexity, logic
- Conceptual notation, and related articles;
- Constructible sets with applications.
- Constructive order types.
- Continuous model theory,
- Deducibility and decidability
- Derivation and counterexample; : an introduction to philosophical logic
- Descartes's Rules for the direction of the mind
- Descriptive complexity
- Dictionary of symbols of mathematical logic.
- Eine Termlogik mit Auswahloperator
- Einführung in die symbolische Logik mit besonderer Berücksichtigung ihrer Anwendungen.
- Elementary logic
- Elementary logic
- Elementary logic
- Elementary logic,
- Elementary symbolic logic
- Elements of logic and foundations of mathematics in problems
- Elements of mathematical logic. : (Model theory)
- Elements of symbolic logic
- Elements of the theory of computation
- Elements of the theory of computation
- Entailment : the logic of relevance and necessity
- Equational logic as a programming language
- Essai sur les conditions et les limites de la certitude logique,
- Essays in memory of Imre Lakatos
- Essays on Frege,
- First course in mathematical logic
- First-order logic
- First-order logic and automated theorem proving
- Fondements d'une théorie du langage
- Form and strategy in science; : studies dedicated to Joseph Henry Woodger on the occasion of his seventieth birthday.
- Formal methods in artificial intelligence
- Formalization of logic
- Foundations of logic and mathematics
- Foundations of mathematical logic
- Foundations of the logical theory of scientific knowledge (complex logic).
- Frege and Gödel; : two fundamental texts in mathematical logic
- Frege, Philosophy of mathematics
- From Frege to Gödel; : a source book in mathematical logic, 1879-1931
- From mathematics to philosophy
- From natural language processing to logic for expert systems : a logic based approach to artificial intelligence
- Fundamentals of logic
- Geometric calculus : according to the Ausdehnungslehre of H. Grassmann
- Gottlob Freges Briefwechsel mit D. Hilbert, E. Husserl, B. Russell, sowie ausgewählte Einzelbriefe Freges
- Grundlagen der Mathematik.
- Grundzüge der theoretischen Logik
- Handbook of logic and language
- Handbook of logic in artificial intelligence and logic programming
- Handbook of mathematical logic
- History of mathematical logic from Leibniz to Peano
- How to read and do proofs : an introduction to mathematical thought process
- Infinity and the mind : the science and philosophy of the infinite
- Initiation a la logique
- Intensional and higher-order modal logic : with applications to Montague semantics
- Intensional logic and the metaphysics of intentionality
- Interpretationen der Modallogik : ein Beitrag zur phänomenologischen Wissenschaftstheorie
- Introduction to logic programming
- Introduction to mathematical logic
- Introduction to mathematical logic
- Introduction to mathematical logic
- Introduction to mathematical logic : set theory, computable functions, model theory
- Introduction to mathematical structures and proofs
- Introduction to semantics, : and Formalization of logic
- Introduction to symbolic logic and its applications
- Introduction to the basic concepts and problems of modern logic
- Introduction to the foundations of mathematics
- Introductory formal logic of mathematics
- Intuitionism; : an introduction
- Intuitionistic logic, model theory and forcing
- Iteration theories : the equational logic of iterative processes
- La Philosophie des mathématiques de Henri Poincaré,
- La formation des raisonnements récurrentiels,
- La logique de Husserl : étude sur Logique formelle et logique transcendentale
- La logique de l'assertion pure; : analyse des opérations fondamentales
- Language in action : categories, lambdas, and dynamic logic
- Languages with expressions of infinite length
- Learning language in logic
- Lectures on linear logic
- Lectures on non-standard analysis.
- Les fondements logiques des mathématiques
- 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 and algorithms, : with applications to the computer and information sciences
- Logic and foundations of mathematics.
- Logic and foundations of science.
- Logic and knowledge : essays, 1901-1950
- Logic for applications
- Logic for computer science : foundations of automatic theorem proving
- Logic for computer scientists
- Logic for problem solving
- Logic programming, functions, relations, and equations
- Logic, algebra, and databases
- Logic, computers, and sets
- Logic, language, and computation
- Logic, methodology, and philosophy of science, VII : proceedings of the Seventh International Congress of Logic, Methodology, and Philosophy of Science, Salzburg, 1983
- Logic, semantics, metamathematics : papers from 1923 to 1938
- Logic, semantics, metamathematics; : papers from 1923 to 1938.
- Logic: : the theory of formal inference
- Logical and logico-mathematical calculi. 2.
- Logical foundations of mathematics for behavioral scientists : [by] Abraham S. Luchins [and] Edith H. Luchins
- Logical methods : in honor of Anil Nerode's sixtieth birthday
- Logical negation
- Logical writings;
- Logico-philosophical studies.
- Logics for artificial intelligence
- Logics without existence assumptions
- Logische Untersuchungen
- Mathematical epistemology and psychology
- Mathematical fallacies and paradoxes
- Mathematical logic
- Mathematical logic
- Mathematical logic
- Mathematical logic
- 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 its applications
- Mathematical logic and programming languages
- Mathematical logic with special reference to the natural numbers
- Mathematical logic, the theory of algorithms, and the theory of sets
- Mathematical recreations of Lewis Carroll [pseud.]
- Mathematics and plausible reasoning
- Mathematische Existenz : Untersuchungen zur Logik und Ontologie mathematischer Phänomene
- Mathematized humanities via humanized mathematics
- Matrix logic
- Meaning and existence in mathematics
- Meaning and necessity : a study in semantics and modal logic
- Methods of logic
- Modal logic and classical logic
- Model theory of algebra and arithmetic : proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1-7, 1979
- Models and ultraproducts: : an introduction.
- Morality, decision, and social organization : toward a logic of ethics
- Multiple-conclusion logic
- Natural logic
- New methods in symbolic logic
- Nomological statements and admissible operations
- Non-standard analysis
- Non-standard analysis
- Non-standard logics for automated reasoning
- Normative systems
- Notebooks, 1914-1916
- Ontologie und logistiche Analyse der Sprache; : eine Untersuchung zur zeitgenössischen Universaliendiskussion
- Ontology and the logistic analysis of language. : An enquiry into the contemporary views on universals.
- PX, a computational logic
- Papers in philosophical logic
- Past, present and future,
- Philosophical applications of free logic
- Philosophical problems of many-valued logic
- Philosophical remarks
- Philosophie mathématique.
- Philosophy and logical syntax
- Philosophy of mathematics and deductive structure in Euclid's Elements
- Piaget's logic : a critique of genetic epistemology
- Polish logic, 1920-1939
- Principia mathematica
- Principles of mathematical logic
- Proceedings of the Summer School in Logic, Leeds, 1967; : N.A.T.O. Advanced Study Institute, Meeting of the Association for Symbolic Logic.
- Proofs and types
- Propositional logic
- Prototractatus : an early version of Tractatus logico-philosophicus
- Quantum logic
- Quantum probability--quantum logic
- Readings in nonmonotonic reasoning
- Reasoning with incomplete information
- Recursive function theory and logic
- Representing and reasoning with probabilistic knowledge : a logical approach to probabilities
- Resolution proof systems : an algebraic theory
- Rules of acceptance and inductive logic
- Régles utiles et claires pour la direction de l'esprit en la recherche de la vérité
- Selected logic papers
- Selected works in logic.
- Selected works.
- 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 logic,
- Set theory and the continuum hypothesis
- Simplified independence proofs; : Boolean valued models of set theory
- Solvable cases of the decision problem
- Statistical methods and scientific inference
- Structure, method, and meaning; : essays in honor of Henry M. Sheffer,
- Studien zu Frege : Studies on Frege
- Studies in logic and probability
- Symbolic logic
- Symbolic logic and intelligent machines
- Symbolic logic and the game of logic
- Symbolic logic,
- Symbolic logic, : an introduction
- Symbolic logic; : an introduction
- Systems of logic
- Techniques of deductive inference
- Temporal logic
- Temporal logic : mathematical foundations and computational aspects
- Temporal logic of programs
- Temporal logics and their applications
- The Boole-De Morgan correspondence, 1842-1864
- The Frege reader
- The Logic of decision and action.
- The Logical enterprise
- The Logico-algebraic approach to quantum mechanics
- The Scientific world-perspective and other essays, 1931-1963
- The algebra of logic,
- The anatomy of mathematics,
- The argument of the Tractatus : its relevance to contemporary theories of logic, language, mind, and philosophical truth
- The axiomatic method : an introduction to mathematical logic
- The basic laws of arithmetic; : exposition of the system.
- The collected papers of Gerhard Gentzen.
- 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 critical approach to science and philosophy
- The elements of formal logic
- The emergence of life; : being a treatise on mathematical philosophy and symbolic logic by which a new theory of space and time is evolved,
- The language of logic
- The logic of information structures
- The logic of plurality
- The logic of programming
- The logical basis for computer programming
- The logical syntax of language.
- The logical systems of Lesniewski
- The mathematics of inheritance systems
- The metaphysics of Wittgenstein's Tractatus
- The metaphysics of the Tractatus
- The norm of truth : an introduction to the philosophy of logic
- The notion of number and the notion of class,
- The problems of logic,
- The semantic foundations of logic
- The temporal logic of reactive and concurrent systems
- The theory of logical types,
- Theory of deductive systems and its applications
- Three logicians : Aristotle, Leibniz, and Sommers and the syllogistic
- Topics in philosophical logic
- Toposes and local set theories : an introduction
- Transcendence and Wittgenstein's Tractatus
- Two Soviet studies on Frege
- Understanding symbolic logic
- Vivid logic : knowledge-based reasoning with two kinds of negation
- What is a logical system?
- What is mathematical logic?
- Wittgenstein's Tractatus : an introduction
- Wittgenstein's early philosophy : three sides of the mirror
- Wittgenstein's lectures, Cambridge, 1930-1932
- Wittgenstein's saying and showing themes
- Word and object

## 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.bu.edu/resource/xkKk-xYmEpo/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/xkKk-xYmEpo/">Logique symbolique et mathématique</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</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 Logique symbolique et mathématique

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.bu.edu/resource/xkKk-xYmEpo/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/xkKk-xYmEpo/">Logique symbolique et mathématique</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>`