scientific article

zbMath0591.51003MaRDI QIDQ3719371

Rosanna Succi-Cruciani

Publication date: 1985

Full work available at URL: http://www.numdam.org/item?id=CTGDC_1985__26_1_91_0

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

zbMATH Keywords

coherent logicaxiomatization for Euclidean geometryEuclidean geometry as a logical category

Mathematics Subject Classification ID

Categories in geometry and topology (18F99) Algebraization in linear incidence geometry (51A25)

Cites Work

• First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
• Universal projective geometry via topos theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: