A constructive version of Tarski's geometry
Work
Year: 2015
Type: article
Source: Annals of Pure and Applied Logic
Author Michael Beeson
Institution San Jose State University
Cites: 29
Cited by: 37
Related to: 10
FWCI: 3.281
Citation percentile (by year/subfield): 85.34
Topic: Mathematics and Applications
Subfield: Geometry and Topology
Field: Mathematics
Domain: Physical Sciences
Open Access status: bronze