Pages that link to "Item:Q535146"
From MaRDI portal
The following pages link to Erratum to: ``Localizing the axioms'' (Q535146):
Displaying 6 items.
- Erratum to: ``Between proof and truth'' (Q383075) (← links)
- Erratum to: ``Trakhtenbrot theorem and first-order axiomatic extensions of MTL'' (Q897477) (← links)
- Addendum and corrigendum: ``Choice principle in hyperuniverses'' (Q1295374) (← links)
- On an axiom of predicate calculus from ``Gödel's incompleteness theorems'' by R. Smullyan (Q1584141) (← links)
- Corrections to "First Steps in Descriptive Theory of Locales" (Q4286452) (← links)
- (Q4314767) (← links)