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 University of Missouri 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 University of Missouri Libraries.
- Label
- Logique symbolique et mathématique
30 Items that share the Concept Logique symbolique et mathématique
Context
Context of Logique symbolique et mathématiqueSubject of
No resources found
No enriched resources found
- A resolution principle for a logic with restricted quantifiers
- An outline of mathematical logic : fundamental results and notions explained with all details
- Artificial intelligence : a modern approach
- Classical mathematical logic : the semantic foundations of logic
- Cognitive reasoning : a formal approach
- Computational aspects of an order-sorted logic with term declarations
- Eine Termlogik mit Auswahloperator
- Elements of the theory of computation
- Entailment : the logic of relevance and necessity
- First-order dynamic logic
- Frege and other philosophers
- 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
- Logica universalis : towards a general theory of logic
- Mathematical logic and the foundation of mathematics : an introductory survey
- 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
- 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
- Modelle der Mengenlehre : Widerspruchsfreiheit und Unabhängigkeit der Kontinuum-Hypothese und des Auswahlaxioms
- Papers in philosophical logic
- Proceedings of the Summer School in Logic, Leeds, 1967 : N.A.T.O. Advanced Study Institute, Meeting of the Association for Symbolic Logic
- Reductive logic and proof-search : proof theory, semantics, and control
- Sets, logic, and axiomatic theories
- Souci d'exactitude et scrupules des mathématiciens
- Specifying message passing and time-critical systems with temporal logic
- Structure of Laws as Represented by Symbolic Methods
- Systems of logic
- The metaphysics of the Tractatus
- Vivid logic : knowledge-based reasoning with two kinds of negation
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.library.missouri.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.library.missouri.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.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri 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.library.missouri.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.library.missouri.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.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
