Logical and Complexity-theoretic Aspects of Models of Computation with Restricted Access to Arrays | UPT Perpustakaan UHAMKA