matemaattinen logiikka

name

• matemaattinen logiikka

Works about matemaattinen logiikka

• 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