Systems of explicit mathematics with non-constructive μ-operator. Part I
Work
Year: 1993
Type: article
Source: Annals of Pure and Applied Logic
Authors Solomon Feferman, Gerhard Jäger
Institutions Stanford University, University of Bern
Cites: 20
Cited by: 60
Related to: 10
FWCI: 2.028
Citation percentile (by year/subfield): 83.4
Subfield: Experimental and Cognitive Psychology
Field: Psychology
Domain: Social Sciences
Open Access status: closed