Esa. Saarinen Libros

The book compiles 24 papers presented at the Fourth Scandinavian Logic Symposium and the First Soviet-Finnish Logic Conference held in Jyvaskyla, Finland, in 1976. Organized by editors and supported by various educational and philosophical institutions, it covers topics in proof theory and infinitary languages from authors across 10 countries.