#
Mathematische Logik
Resource Information
The concept ** Mathematische Logik** represents the subject, aboutness, idea or notion of resources found in **Boston University Libraries**.

The Resource
Mathematische Logik
Resource Information

The concept

**Mathematische Logik**represents the subject, aboutness, idea or notion of resources found in**Boston University Libraries**.- Label
- Mathematische Logik

- Source
- swd

## Context

Context of Mathematische Logik#### Subject of

- A computational logic handbook
- A course in mathematical logic
- A course in mathematical logic for mathematicians
- A course on mathematical logic
- A deduction model of belief
- A history of formal logic,
- A profile of mathematical logic
- A structuralist theory of logic
- Algebra, mathematical logic, number theory, topology
- Algebraic logic and predicate functors,
- An introduction to many-valued logics,
- An introduction to mathematical logic
- An introduction to modern logic; : an elementary textbook of symbolic logic
- An introduction to symbolic logic
- Ancient formal logic
- Annals of mathematical logic
- Beginning model theory : the completeness theorem and some consequences
- Classification theory : proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic held in Chicago, Dec. 15-19, 1985
- Computability and logic
- Decision problems for equational theories of relation algebras
- Decision procedures : an algorithmic point of view
- Der Satz vom ausgeschlossenen Dritten : Untersuchungen über die Grundlagen der Logik
- Einführung in die moderne Logik.
- Elements of logic and foundations of mathematics in problems
- Epistemological remarks on the foundations of logic and mathematics
- Fields of logic and computation : essays dedicated to Yuri Gurevich on the occasion of his 70th birthday
- Finite automata, formal logic, and circuit complexity
- Formal logic : its scope and limits
- Formal number theory and computability : a workbook
- Foundations of intelligent knowledge-based systems
- Foundations of intelligent systems : 10th international symposium, ISMIS '97, Charlotte, North Carolina, USA, October 15-18, 1997 : proceedings
- Foundations of intelligent systems : 9th international symposium, ISMIS '96, Zakopane, Poland, June 9-13, 1996 : proceedings
- From standard logic to logic programming : introducing a logic based approach to artificial intelligence
- Frontiers of combining systems : 4th international workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002 : proceedings
- Fundamentals of computing for software engineers
- Fundamentals of symbolic logic
- Infinitary logic : in memoriam Carol Karp : a collection of papers by various authors
- Intensional and higher-order modal logic : with applications to Montague semantics
- Intensional logic and the metaphysics of intentionality
- Introduction to mathematical logic
- Introduction to mathematical logic.
- Introduction to symbolic logic
- Lectures on linear logic
- Levels of abstraction in logic and human action : a theory of discontinuity in the structure of mathematical logic, psychological behaviour, and social organization
- Logic and algorithms, : with applications to the computer and information sciences
- Logic and combinatorics : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985
- Logic and computer science
- Logic and data bases
- Logic and information flow
- Logic from computer science : proceedings of a workshop held November 13-17, 1989
- Logic in algebraic form. : Three languages and theories
- Logic, semantics, metamathematics : papers from 1923 to 1938
- Logic; : techniques of formal reasoning
- Logical foundations of artificial intelligence
- Logical methods : in honor of Anil Nerode's sixtieth birthday
- Logical writings;
- Logics for artificial intelligence
- Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings
- Mathematical logic
- Mathematical logic
- Mathematical logic
- Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987
- Mathematical logic and formalized theories; : a survey of basic concepts and results
- Mathematical logic and programming languages
- Mathematical logic and theoretical computer science
- Mathematical logic in computer science
- Mathematical logic with special reference to the natural numbers
- Mathematische Existenz : Untersuchungen zur Logik und Ontologie mathematischer Phänomene
- Model theory
- Moderate realism and its logic
- Multiple-conclusion logic
- Natural logic
- Network algebra
- Ontological economy : substitutional quantification and mathematics
- Patras Logic Symposion : proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980
- Philosophical problems in Logic. : Some recent developments.
- Posthumous writings
- Practical foundations of mathematics
- Resolution proof systems : an algebraic theory
- Selected papers in logic and foundations, didactics, economics
- Set theory and logic
- Sets, logic, and categories
- Superior beings : if they exist, how would we know?: game-theoretic implications of omniscience, omnipotence, immortality, and incomprehensibility
- Temporal logic
- Temporal logics and their applications
- The L.E.J. Brouwer Centenary Symposium : proceedings of the conference held in Noordwijkerhout, 8-13 June 1981
- The Logic of theory change : workshop, Konstanz, FRG, October 13-15, 1989, proceedings
- The acquisition of symbolic skills
- The concept of logical consequence
- The logic of religion,
- The logical basis for computer programming
- The logical systems of Lesniewski
- The monadic second order theory of all countable ordinals
- The semantic foundations of logic
- The theory of logical types,
- Thinking about Gödel and Turing : essays on complexity, 1970-2007
- Théorie des modèles en logique mathématique
- Understanding symbolic logic
- Varieties of constructive mathematics
- Zeitschrift für mathematische Logik und Grundlagen der Mathematik

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

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