TY  - GEN
TY  - GEN
T1  - The development of modern logic
A2  - Haaparanta, Leila, toimittaja
LA  - eng
PP  - Oxford
PB  - Oxford University Press
YR  - 2009
UL  - https://kansalliskirjasto.finna.fi/Record/vaari.2046249
SN  - 978-0-19-513731-6 kovakantinen
KW  - Logic : History.
KW  - logiikka
KW  - historia
KW  - filosofia
KW  - formaalinen logiikka
KW  - matemaattinen logiikka
KW  - malliteoria
KW  - todistusteoria
KW  - modaalilogiikka
KW  - induktio (filosofia)
KW  - semantiikka
KW  - tekoäly
KW  - logik
KW  - filosofi
KW  - formell logik
KW  - matematisk logik
KW  - modellteori
KW  - bevisteori
KW  - modallogik
KW  - induktion (slutledning)
KW  - semantik
KW  - artificiell intelligens
ER  -