Title: Models and computabilty
First published: 1999
Subjects: Computable functions, Congresses, Logic, Symbolic and mathematical, Symbolic and mathematical Logic, Models and modelmaking, Computer architecture
LC classification: QA9.A1 L64 1997