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

The Resource
Mathematische Logik
Resource Information

The concept

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

- Source
- gnd

## Context

Context of Mathematische Logik#### Subject of

No resources found

No enriched resources found

- A course in mathematical logic for mathematicians
- Annals of mathematical logic
- Applications of sheaves : proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9-21, 1977
- Cabal Seminar 81-85 : proceedings, Caltech-UCLA Logic Seminar, 1981-85
- Classification theory : proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic held in Chicago, Dec. 15-19, 1985
- Extensional Gödel functional interpretation : a consistency proof of classical analysis
- Fields of logic and computation : essays dedicated to Yuri Gurevich on the occasion of his 70th birthday
- First-order dynamic logic
- Frontiers of combining systems : 5th international workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005 : proceedings
- ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974
- ISILC Proof Theory Symposion : dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974
- Infinitary logic : in memoriam Carol Karp : a collection of papers by various authors
- Introduction to mathematical structures and proofs
- Logic Colloquium : symposium on logic held at Boston, 1972-73
- Logic and computational complexity : international workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers
- Logic and its applications : third Indian conference, ICLA 2009, Chennai, India, January 7-11, 2009 : proceedings
- Logic for computer scientists
- Logic, Rationality, and Interaction : Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings
- Mathematical logic : foundations for information science
- Mathematical logic : foundations for information science
- Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983
- Proceedings of the Summer School in Logic, Leeds, 1967 : N.A.T.O. Advanced Study Institute, Meeting of the Association for Symbolic Logic
- Programs, proofs, processes : 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30-July 4, 2010 ; proceedings
- Tenth Annual IEEE Symposium on Logic in Computer Science : proceedings, June 26-29, 1995, San Diego, California
- The Logic of theory change : workshop, Konstanz, FRG, October 13-15, 1989, proceedings
- The monadic second order theory of all countable ordinals

## 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/NXfpn7QtB2g/" 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/NXfpn7QtB2g/">Mathematische Logik</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 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.library.missouri.edu/resource/NXfpn7QtB2g/" 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/NXfpn7QtB2g/">Mathematische Logik</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>`