Suomen tekoälyseura, 1996
Koko nimi: Logiikka, matematiikka ja tietokone : perusteet: historiaa, filosofiaa ja sovelluksia = Logic, mathematics and the computer : foundations: history, philosophy and applicationsMuu(t) tekijä(t): Christoffer Gefwert, Jouko Seppänen ym.Sarja: Suomen tekoälyseuran julkaisuja no 14; Suomen tekoälyseuran julkaisuja 14Asiasanat: historia, filosofia, matematiikka, tietojenkäsittely, logiikka, tiede, kokoukset, matemaattinen logiikka, filosofi, vetenskap, matematik, Mathematics, möten, databehandling, logik, Logic, matematisk logik