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

The Resource
Wiskundige logica
Resource Information

The concept

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

- Source
- gtt

## Context

Context of Wiskundige logica#### Subject of

- A course in mathematical logic
- A course in mathematical logic
- A mathematical introduction to logic
- A systems view of man
- Admissible sets and structures : an approach to definability theory
- Advanced logic for applications
- Algebraic and logic programming : 5th international confernence, ALP '96, Aachen, Germany, September 25-27, 1996 : proceedings
- An introduction to symbolic logic
- Annals of pure and applied logic
- Between logic and intuition : essays in honor of Charles Parsons
- Computability and logic
- Computable structures and the hyperarithmetical hierarchy
- Conceptual notation, and related articles;
- Conference in Mathematical Logic, London '70.
- Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980
- Current issues in quantum logic
- Cylindric set algebras
- Deduction and declarative programming
- Degrees of unsolvability : structure and theory
- Deviant logic : some philosophical issues
- Die Logik der Logistik
- Efficient graph rewriting and its implementation
- Elementary logic
- Entailment : the logic of relevance and necessity
- Exact philosophy; problems, tools, and goals,
- Extensions of logic programming : 5th international workshop, ELP '96, Leipzig, Germany, March 28-30, 1996 : proceedings
- Formal logic: its scope and limits
- Formal number theory and computability : a workbook
- Foundational studies : selected works
- Foundations of mathematical logic
- Foundations without foundationalism : a case for second-order logic
- Frege : tradition & influence
- From Frege to Gödel; : a source book in mathematical logic, 1879-1931
- From logic to logic programming
- Gödel '96 : logical foundations of mathematics, computer science, and physics--Kurt Gödel's legacy : Bruno [sic], Czech Republic, August 1996, proceedings
- Handbook of logic and language
- Handbook of mathematical logic
- Introduction to higher order categorical logic
- Introduction to mathematical logic
- Introduction to mathematical logic
- Introduction to mathematical logic,
- Iteration theories : the equational logic of iterative processes
- Journal of applied non-classical logics
- 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
- Logic for problem solving
- Logic in algebraic form. : Three languages and theories
- Logic of mathematics : a modern course of classical logic
- Logical dilemmas : the life and work of Kurt Gödel
- Logical foundations of artificial intelligence
- Logical writings;
- Logik und Pragmatik : zum Rechtfertigungsproblem logischer Sprachregeln
- Mathematical logic
- Mathematical logic
- Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978
- Meaning and existence in mathematics
- Mengenlehre und Logik
- Methods of logic
- Methods of logic
- Methods of logic
- Multiple-conclusion logic
- Patras Logic Symposion : proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980
- Philosophical papers
- Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996 : proceedings
- Semantical investigations in Heyting's intuitionistic logic
- Southeast Asian Conference on Logic : proceedings of the Logic Conference, Singapore, 1981
- The L.E.J. Brouwer Centenary Symposium : proceedings of the conference held in Noordwijkerhout, 8-13 June 1981
- The Logico-algebraic approach to quantum mechanics
- The foundations of mathematics and other logical essays,
- The journal of logic and algebraic programming
- The journal of logic programming
- Theory reasoning in connection calculi
- Wittgenstein's lectures, Cambridge, 1930-1932

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

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