scientific article; zbMATH DE number 7686244

DOI10.2143/LEA.257.0.3291070arXiv2203.08721MaRDI QIDQ6041914

John N. Crossley, Lloyd Humberstone, Guillermo Badia

Publication date: 15 May 2023

Full work available at URL: https://arxiv.org/abs/2203.08721

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

predicate calculustranslationincompletenessaxiomatization

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Classical first-order logic (03B10)

This page was built for publication: