scientific article; zbMATH DE number 3604886
From MaRDI portal
Publication:4170717
zbMATH Open0389.03024MaRDI QIDQ4170717FDOQ4170717
Authors: A. S. Troelstra 
Publication date: 1978
Title of this publication is not available (Why is that?)
Complexity of computation (including implicit computational complexity) (03D15) Proof theory and constructive mathematics (03F99) Model theory (03C99)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4170717)
