Elementary Calculus

Journal of Symbolic Logic 46 (3):673-676 (1981)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273777

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: H. Jerome Keisler, Elementary Calculus; H. Jerome Keisler, Foundations of Infinitesimal Calculus. [REVIEW]Peter A. Loeb - 1981 - Journal of Symbolic Logic 46 (3):673-676.
Strict embedding of the elementary ontology into the monadic second-order calculus of predicates admitting the empty individual domain.Vladimir A. Smirnov - 1987 - Studia Logica 46 (1):1 - 15.
Embedding the elementary ontology of stanisław leśniewski into the monadic second-order calculus of predicates.V. A. Smirnov - 1983 - Studia Logica 42 (2-3):197 - 207.
Statistical Mechanics in a Nutshell.Luca Peliti - 2011 - Princeton University Press.
Elementary Propositions and Independence.John L. Bell & William Demopoulos - 1996 - Notre Dame Journal of Formal Logic 37 (1):112-124.
The cost of a cycle is a square.A. Carbone - 2002 - Journal of Symbolic Logic 67 (1):35-60.
Elementary Illustrations of the Differential and Integral Calculus.Augustus De Morgan - 1900 - The Monist 10:157.
Some results on cut-elimination, provable well-orderings, induction and reflection.Toshiyasu Arai - 1998 - Annals of Pure and Applied Logic 95 (1-3):93-184.
Review: V. A. Jankov, On the Extension of the Intuitionist Propositional Calculus to the Classical Calculus, and the Minimal Calculus to the Intuitionist Calculus. [REVIEW]J. G. Anderson - 1973 - Journal of Symbolic Logic 38 (2):331-332.
On the Extension of the Intuitionist Propositional Calculus to the Classical Calculus, and the Minimal Calculus to the Intuitionist Calculus.V. A. Jankov - 1973 - Journal of Symbolic Logic 38 (2):331-332.
A Correction to "Embedding the Elementary Ontology of Stanisław Leśniewski into the Monadic Second-Order Calculus of Predicates".V. A. Smirnov - 1986 - Studia Logica 45 (2):231 -.
An elementary method of determining the degree of completeness of n-valued Lukasiewicz propositional calculus.Wojciech Suchon - 1984 - Bulletin of the Section of Logic 13 (4):226-228.
λμ-calculus and Böhm's theorem.René David & Walter Py - 2001 - Journal of Symbolic Logic 66 (1):407-413.
Proofs and Retributions, Or: Why Sarah Can’t Take Limits.Vladimir Kanovei, Karin U. Katz, Mikhail G. Katz & Mary Schaps - 2015 - Foundations of Science 20 (1):1-25.
Ultraproducts and Elementary Classes.H. Jerome Keisler - 1962 - Journal of Symbolic Logic 27 (3):357-358.

Analytics

Added to PP
2015-02-05

Downloads
12 (#1,025,624)

6 months
3 (#902,269)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Why do mathematicians re-prove theorems?John W. Dawson Jr - 2006 - Philosophia Mathematica 14 (3):269-286.
A Basis for AGM Revision in Bayesian Probability Revision.Sven Ove Hansson - 2023 - Journal of Philosophical Logic 52 (6):1535-1559.
Revising Probabilities and Full Beliefs.Sven Ove Hansson - 2020 - Journal of Philosophical Logic 49 (5):1005-1039.
Reverse formalism 16.Sam Sanders - 2020 - Synthese 197 (2):497-544.

View all 12 citations / Add more citations

References found in this work

No references found.

Add more references