scientific article; zbMATH DE number 1846036
From MaRDI portal
Publication:4786451
zbMath1001.00020MaRDI QIDQ4786451
No author found.
Publication date: 16 December 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Related Items (10)
On the intuitionistic strength of monotone inductive definitions ⋮ Logicality and Invariance ⋮ Uncomputability: The problem of induction internalized ⋮ 2003 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquim '03 ⋮ On Tao's “finitary” infinite pigeonhole principle ⋮ A Natural Axiomatization of Computability and Proof of Church's Thesis ⋮ The weak König lemma and uniform continuity ⋮ WEYL REEXAMINED: “DAS KONTINUUM” 100 YEARS LATER ⋮ Generalized Quantifiers Meet Modal Neighborhood Semantics ⋮ FINITIST AXIOMATIC TRUTH
This page was built for publication:
