GTS HOME | INTRODUCTION | PROJECTS | MEMBERS | SEMINARS AND ACTIVITIES | PUBLICATIONS AND WORKING PAPERS | ANNUAL REPORTS | LOGIC IN FINLAND