Main

Mint Work Search Explore Works Knowledge Graph Citation Graph Bibliometrics Receipts

info@nobleid.org

About Fund our work FAQ Developers Terms Policy Persistence & Resolver Service Policy

Provability Logic: models within models in Peano Arithmetic | NobleID

v1

Provability Logic: models within models in Peano Arithmetic

Alessandro Berarducci, Marcello Mamino

AB

Alessandro Berarducci

NobleIDNI0P27W87R41S67

Type:Preprint

Claim Your Authorship

Sign in to see the full record

Creating an account is free.

Create an account

For data access, contact info@nobleid.org.