Adding Skolem functions to simple theories
Work
Year: 2004
Type: article
Source: Archive for Mathematical Logic
Author Herwig N�bling
Cites: 4
Cited by: 6
Related to: 10
FWCI:
Citation percentile (by year/subfield): 59.95
Subfield: Geometry and Topology
Field: Mathematics
Domain: Physical Sciences
Open Access status: closed