The UvA-LINKER will give you a range of other options to find the full text of a publication (including a direct link to the full-text if it is located on another database on the internet).
De UvA-LINKER biedt mogelijkheden om een publicatie elders te vinden (inclusief een directe link naar de publicatie online als deze beschikbaar is in een database op het internet).

Search results

Record: oai:ARNO:125540

AuthorM. de Rijke
TitleA note on the interpretability logic of finitely axiomatized theories
PublisherInstitute for Language, Logic and Information, University of Amsterdam
PlaceAmsterdam
Year1990
Title seriesReport
Series numberML-90-07
FacultyFaculty of Science
Institute/dept.FNWI: Informatics Institute (II)
KeywordsInterpretability logic
Document typeReport
Document finderUvA-Linker