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

The Resource
logique mathématique
Resource Information

The concept

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

## Context

Context of logique mathématique#### Subject of

No resources found

No enriched resources found

- A mathematical introduction to logic
- A theory of heuristic information in game-tree search
- An introduction to mathematical logic and type theory : to truth through proof
- Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1, 2002 : proceedings
- Axiomatising the logic of computer programming
- CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings
- Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings
- Combinators and functional programming languages : Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985, proceedings
- Complexity and structure
- Computability, complexity, and languages : fundamentals of theoretical computer science
- 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 logic and proof theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : proceedings
- Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers
- Descriptive set theory
- Dictionary of symbols of mathematical logic.
- Elements of intuitionism
- Elements of the theory of computation
- Equational logic as a programming language
- Formal methods in artificial intelligence
- Foundations of set theory.
- From logic design to logic programming : theorem proving techniques and P-functions
- Frontiers of combining systems : 4th international workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002 : proceedings
- Fundamentals of artificial intelligence : an advanced course
- Generalized quantifiers and computation : 9th European Summer School in Logic, Language, and Information, ESSLLI'97 workshop : Aix-en-Provence, France, August 11-22, 1997 : revised lectures
- Gödel, Escher, Bach : an eternal golden braid
- Handbook of logic and language
- Handbook of mathematical logic
- Hardware specification, verification, and synthesis : Mathematical aspects : proceedings
- Harvey Friedman's research on the foundations of mathematics
- Introduction to higher order categorical logic
- Introduction to mathematical logic
- Introduction to mathematical logic : set theory, computable functions, model theory
- Introduction to mathematical structures and proofs
- Introduction to metamathematics
- Logic and combinatorics : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985
- Logic for computer science : foundations of automatic theorem proving
- Logic programming and its applications
- Logic, algebra, and databases
- Logic, automata, and algorithms
- Logic, methodology, and philosophy of science, VII : proceedings of the Seventh International Congress of Logic, Methodology, and Philosophy of Science, Salzburg, 1983
- Logical foundations of computer science : 4th international symposium, LFCS ʼ97, Yaroslavl, Russia, July 6-12, 1997 : proceedings
- Logics of programs : Brooklyn, June 17-19, 1985 : proceedings
- Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings
- Mathematical logic
- Mathematical logic and programming languages
- Mathematical logic and theoretical computer science
- Mathematical logic in computer science
- Mathematical theory of domains
- Mathematics unlimited : 2001 and beyond
- Mathematics; : concrete behavioral foundations
- Model theory
- Model-theoretic logics
- Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976
- Non-standard analysis
- Proof theory in computer science : international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings
- Structure in complexity theory : proceedings of the conference held at the University of California, Berkeley, California, June 2-5, 1986
- Systems of logic
- The computer modelling of mathematical reasoning
- Theorem proving in higher order logics : 13th International Conference, TPHOLs 2000, Portland, OR, USA, August 14-18, 2000 : proceedings
- Theorem proving in higher order logics : 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 : proceedings
- Theoretical aspects of reasoning about knowledge : proceedings of the third conference (TARK 1990), March 4-7, 1990, Pacific Grove, California
- Theoretical computer science : 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001 : proceedings
- Theoretical computer science : exploring new frontiers of theoretical informatics : International Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000 : proceedings
- Theory of deductive systems and its applications
- Trees in algebra and programming : 6th colloquium, Genoa, March 5-7, 1981 : proceedings
- Truth, deduction, and computation : logic and semantics for computer science
- Types for proofs and programs : international workshop TYPES '93, Nijmegen, the Netherlands, May 24-28, 1993 : selected papers

## 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/2AgdOD1WeP4/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/2AgdOD1WeP4/">logique 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 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/2AgdOD1WeP4/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/2AgdOD1WeP4/">logique 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>`