Pages that link to "Item:Q1310291"
From MaRDI portal
The following pages link to Computational logic and proof theory. 3rd Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24-27, 1993. Proceedings (Q1310291):
Displaying 2 items.