Workshop on Computer Science Logic (3rd 1989 Kaiserslautern, Germany) · 1990
437 pages · ~11h read
philosophy · technology
