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
- Authority link
-
- (uri) https://portal.dnb.de/opac.htm?method=simpleSearch&cqlMode=true&query=idn=040379515
- (uri) http://viaf.org/viaf/sourceID/DNB|040379515
- http://d-nb.info/gnd/4037951-6
- Source
- gnd
40 Items that share the Concept Mathematische Logik
Context
Context of Mathematische LogikSubject of
No resources found
No enriched resources found
- Algebra and logic : papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia
- An introduction to mathematical logic and type theory : to truth through proof
- 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
- Applications scientifiques de la logique mathématique: : actes du 2e Colloque international de logique mathématique, Paris, 25-30 août 1952, Institut Henri Poincaré
- Applied logistic regression analysis
- Archiv für mathematische Logik und Grundlagenforschung
- Computability and logic
- Conference in Mathematical Logic, London '70.
- Degrees of unsolvability : structure and theory
- Eine Termlogik mit Auswahloperator
- Elements of mathematical logic. : (Model theory)
- Essays in analysis.
- Euphony and logos : essays in honour of Maria Steffen-Batóg and Tadeusz Batóg
- Formal logic
- Formal methods in artificial intelligence
- Formale Logik
- Foundations of mathematical logic
- Frege, Philosophy of mathematics
- From Frege to Gödel; : a source book in mathematical logic, 1879-1931
- Introduction to the basic concepts and problems of modern logic
- Introduction to the foundations of mathematics
- Logic and argument
- Logic for mathematicians
- Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978
- Mathematik, Logik und Erfahrung
- Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983
- Proceedings : Fifth Annual IEEE Symposium on Logic in Computer Science, June 4-7, 1990, Philadelphia, PA
- Proceedings of the Summer School in Logic, Leeds, 1967; : N.A.T.O. Advanced Study Institute, Meeting of the Association for Symbolic Logic.
- Representing and reasoning with probabilistic knowledge : a logical approach to probabilities
- Set theory and logic
- Six papers in logic
- Studies in logic and probability
- Symbolic logic
- Symbolic logic,
- Systems of formal logic
- The computational complexity of logical theories
- The elements of mathematical logic
- The logic of programming
- Theoretical foundations of computer science
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/VNCGgChRBZ4/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/VNCGgChRBZ4/">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/VNCGgChRBZ4/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/VNCGgChRBZ4/">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>