On the proofs of arithmetical completeness for interpretability logic
type: CreativeWork
type: Book
type: ProductModel
issued: 1991
about: p075665506
author: p082518262
author: p075387069
language: en
is part of: p053049292
main entity of page: https://data.bibliotheken.nl/.well-known/genid/d17f8b17c27b91b684ae8aeae44f185d
number of pages: 10
label: On the proofs of arithmetical completeness for interpretability logic / Domenico Zambella