Cover Image
Read Now

1
Published 1991
Springer Berlin Heidelberg
Table of Contents: “... by preorders -- Linear logic and interference control -- Higher dimensional word problem -- BCK-formulas having...”