mathematical logic

altLabel

• logistiikka (logiikka)
• symbolinen logiikka
• symbolisk logik

broader

• logic

closeMatch

• <http://id.loc.gov/authorities/subjects/sh85078115>

exactMatch

• <http://www.yso.fi/onto/allars/Y22525>
• <http://www.yso.fi/onto/koko/p8414>
• <http://www.yso.fi/onto/ysa/Y97308>

inScheme

• <http://www.yso.fi/onto/yso/>

modified

• 2019-08-31

name

• matemaattinen logiikka

prefLabel

• matemaattinen logiikka
• matematisk logik
• mathematical logic

related

• model theory

Works about mathematical logic

• Arvo ja eetillisyys
• Calculus of logic
• Complexity, information and incompleteness
• Constructive perspectives in inductive logic
• Constructive perspectives on inductive logic
• Eine Grundlegung der Mengentheorie
• Johdatus logiikkaan
• Logiikka, matematiikka ja tietokone : perusteet: historiaa, filosofiaa ja sovelluksia = Logic, mathematics and the computer : foundations: history, philosophy and applications
• Logiikkaa itseopiskelijalle
• Matemaattinen logiikka
• Matematiikkaa ja logiikkaa tietojenkäsittelijöille
• Models and games
• Presburgerin ja Gödelin aritmetiikat
• The critique of mathematical logic and the logicist programme : the debates between German-speaking philosophers and the founders of analytic tradition at the turn of the 20th century
• Truth and games : essays in honour of Gabriel Sandu