On forcing in bounded arithmetic / Domenico Zambella
type: Book
type: CreativeWork
type: ProductModel
is part of: p119337983
main entity of page: https://data.bibliotheken.nl/.well-known/genid/01e7243e3e4d20ccd928ad1933682ed1
name: On forcing in bounded arithmetic
about: p075665506
author: p099870622
author: p082518262
language: en
number of pages: 15
issued: 1996