A note on the interpretability logic of finitely axiomatized theories
type: Book
type: ProductModel
type: CreativeWork
issued: 1990
about: p075665506
author: p075387069
author: p08251822X
language: en
is part of: p053049292
main entity of page: https://data.bibliotheken.nl/.well-known/genid/98886d65c808a711cced6ce8649bae53
number of pages: 8
label: A note on the interpretability logic of finitely axiomatized theories / Maarten de Rijke