scientific article
From MaRDI portal
Publication:3737423
zbMath0602.03015MaRDI QIDQ3737423
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Categorical logic, topoi (03G30) First-order arithmetic and fragments (03F30) Foundations, relations to logic and deductive systems (18A15)
Related Items (4)
Provability in principle and controversial constructivistic principles ⋮ Classical realizability in the CPS target language ⋮ 1998 Spring Meeting of the Association for Symbolic Logic ⋮ Knowledge, machines, and the consistency of Reinhardt's strong mechanistic thesis
This page was built for publication:
