by International Conference on Computer Logic (1988 Tallinn, Estonia), Per Martin-Lof
"This volume contains several invited papers as well as a selection of the other contributions. The conference was the first meeting of the Soviet logicians interested in com- puter science with th…