Differentiability and Permutations of Quantifiers

DOI10.2307/2321868zbMath0475.26004OpenAlexW4235919543MaRDI QIDQ3931642

Thomas P. Whaley, Judson Williford

Publication date: 1980

Published in: The American Mathematical Monthly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2321868

zbMATH Keywords

differentiability formulaspermutation of quantifiers

Mathematics Subject Classification ID

Differentiation (real functions of one variable): general theory, generalized derivatives, mean value theorems (26A24) Classical first-order logic (03B10) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to real functions (26-01)

This page was built for publication: Differentiability and Permutations of Quantifiers