Collection of 28 offprints on mathematical logic, from Martin Davis's library
- Livre broché
- Occasion

Vendeur : Jeremy Norman's historyofscience, Novato, CA, Etats-UnisJeremy Norman's historyofscience
Vendeur AbeBooks depuis 9 janvier 1999
Etat: Occasion
EUR 3 214,79
Quantité disponible : 1 disponible
Ajouter au panierA propos de cet article
Kleene, Stephen C. (1909-94). Collection of 28 offprints, pamphlets, etc. on mathematical logic, as listed below. 1936-81. Various sizes; the largest measuring 282 x 215 mm. Original wrappers except as noted below. Occasional staining and wear, but very good; see list for condition details. From the library of Martin Davis (1928-2023), with two of the offprints bearing his signature. 1. A note on recursive functions. Offprint from Bulletin of the American Mathematical Society (1936). 544-546pp. Original printed wrappers, small stain on front wrapper. Davis's ownership signature. 2. Review of Carnap's The Logical Syntax of Language. Offprint from The Journal of Symbolic Logic 4 (1939). 82-87pp. Original printed wrappers. Offprint of R. Carnap's "Remarks on 'Logical Syntax of Language'" (Introduction to Semantics, Harvard U. P., 1942) laid in. 3. (with H. P. Evans) A postulational basis for probability. Offprint from American Mathematical Monthly 46 (1939). 141148pp. Original printed wrappers. 4. On the forms of the predicates in the theory of constructive ordinals. Offprint from American Journal of Mathematics 66 (1944). 41-58pp. Original printed wrappers, stained, wrappers splitting at spine. Davis's ownership signature. 5. On the intuitionist logic. Offprint from Library of the Xth International Congress of Philosophy (Amsterdam, August 1118, 1948), Proceedings of the Congress (1949). 185-187pp. Original printed wrappers. 6. Recursive functions and intuitionist mathematics. Offprint from Proceedings of the International Congress of Mathematicians (1950). 679-685pp. Original printed wrappers. 7. A symmetric form of Gödel's theorem. Offprint from Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings 53 (1950). 244-246pp. Bifolium; without wrappers as issued. 8. Two papers on the predicate calculus. Memoirs of the American Mathematical Society, no. 10 (1952). 68pp. Original printed wrappers, ink stains on front wrapper. 9. Hierarchies of number-theoretic predicates. Offprint from Bulletin of the American Mathematical Society 61 (1955). 193-213pp. Original printed wrappers. 10. Arithmetic predicates and function quantifiers. Offprint from Transactions of the American Mathematical Society 79 (1955). 312-340pp. Original printed wrappers. 11. A note on computable functionals. Offprint from Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A (1956). 275-280pp. Without wrappers as issued. 12. (with J. W. Addison) A note on function quantification. Offprint from Proceedings of the American Mathematical Society 8 (1957). 1002-1006pp. Original printed wrappers. 13. Extension of an effectively generated class of functions by enumeration. Offprint from Colloquium mathematicum 6 (1958). 67-78pp. Without wrappers as issued. 14. Countable functionals. Offprint from Constructivity in Mathematics: Proceedings of the Colloquium Held at Amsterdam, 1957 (1959). 81-100pp. Without wrappers as issued. 15. Recursive functionals and quantifiers of finite types I. Offprint from Transactions of the American Mathematical Society 91 (1959). 52pp. Original printed wrappers. 16. Quantification of number-theoretic functions. Offprint from Composito mathematica 14 (1959). 23-40pp. Original printed wrappers. 17. Herbrand-Gödel-style recursive functionals of finite types. Offprint from Recursive Function Theory: Proceedings of Symposia in Pure Mathematics 5 (1962). 4975pp. Original printed wrappers. 18. Lambda-definable functionals of finite types. Offprint from Fundamenta mathematica 50 (1962). 281-303pp. Without wrappers as issued. 19. Disjunction and existence under implication in elementary intuitionistic formalisms. Offprint from Journal of Symbolic Logic 27 (1963). 11-18pp. 20. An addendum. Offprint from Journal of Symbolic Logic 28 (1963). 154-156pp. Original printed wrappers. 21. Recursive functionals and quantifiers of finite types II. Offprint from Transactions of the American Mathematical Society 108 (1963). 106-142pp.…
N° de réf. du vendeur 51695
Détails bibliographiques
- Titre
- Collection of 28 offprints on mathematical logic, from Martin Davis's library
- Auteur
- Kleene, Stephen C.
- Année de publication
- 1981
- Reliure
- Couverture souple
Jeremy Norman's historyofscience
Novato, CA, Etats-Unis
Vendeur AbeBooks depuis 9 janvier 1999
Frais d'expédition à l'intérieur de ce pays : Etats-Unis
| Article | 5 à 14 jours ouvrés | 3 à 6 jours ouvrés |
|---|---|---|
| Premier article | EUR 8,92 | EUR 22,29 |
Modes de paiement
- Mandat
- Paypal
- Traite bancaire
- Virement bancaire
Spécialité
Medicine, Science, Technology, Natural History, Autographs, Manuscripts, AppraisalsMembre d’une association professionnelle
Les membres de ces associations s'engagent à respecter des critères de qualité particulièrement contraignants. Ils se portent garants de l'authenticité de tous les articles proposés à la vente. Ils fournissent des descriptions détaillées et professionnelles, signalent tous défauts et/ou traitements de restauration importants, établissent des prix clairs et précis et font preuve d'équité et d'honnêteté lors de l'achat d'un article.Profil professionnel du vendeur
Jeremy Norman's historyofscience
P. O. Box 867
Novato, CA Etats-Unis 94948
Conditions de vente
Shipping charges will be applied to all orders. All items are guaranteed as described and all purchases may
be returned for any reason within two weeks of receipt. Please notify us in advance if you are making a
return.
Legal entity: Jeremy Norman & Co., Inc.
Business address: 936-B Seventh St., PMB 238, Novato, CA 94945-3000
Email address: orders@jnorman.com
Phone: 415-892-3181
Federal Tax ID Number:94-2261335
Authorized representative: Jeremy M. Norman
Droit de rétractation
Si vous êtes un consommateur, vous pouvez exercer votre droit de rétractation sur le contrat conformément à ce qui suit. Le mot « consommateur » désigne toute personne physique agissant à des fins qui n'entrent pas dans le cadre de son activité commerciale, artisanale ou professionnelle.
Informations concernant le droit de rétractation
Droit statutaire de rétractation
Vous avez le droit d'exercer votre droit de rétractation sur ce contrat dans les 14 jours sans donner de raison.
Le délai de rétractation expirera au bout de 14 jours à compter du jour où vous-même, ou un tiers autre que le transporteur et désigné par vous, prendrez physiquement possession de la dernière marchandise, du dernier lot ou de la dernière pièce.
Pour exercer votre droit de rétractation, remplissez électroniquement et envoyez une déclaration claire sur notre site Web, sous « Vos achats » dans « Votre compte ». Nous vous communiquerons sans délai un accusé de réception de cette rétractation sur un support durable (par exemple, par e-mail).
Pour respecter le délai de rétractation, il vous suffit d'envoyer votre message concernant l'exercice de votre droit de rétractation avant l'expiration du délai de rétractation.
Effets de la rétractation
Si vous exercez votre droit de rétractation sur ce contrat, nous vous rembourserons tous les paiements que vous avez effectués, y compris les frais de livraison (à l'exception des frais supplémentaires résultant du choix d'un mode de livraison autre que le type de livraison standard le moins cher que nous proposons).
Nous pouvons déduire du remboursement la perte de valeur de toute marchandise livrée, si la perte est le résultat d'une manipulation inutile de votre part.
Nous effectuerons le remboursement dans les meilleurs délais, et au plus tard 14 jours après le jour où nous aurons été informés de votre décision d'exercer votre droit de rétractation sur ce contrat.
Nous effectuerons le remboursement en utilisant le même moyen de paiement que celui que vous avez utilisé pour la transaction initiale, sauf si vous en avez expressément convenu autrement ; en tout état de cause, aucuns frais ne vous seront facturés à la suite d'un tel remboursement.
Nous pouvons suspendre le remboursement jusqu'à ce que nous ayons reçu les marchandises ou que vous ayez fourni la preuve que vous avez renvoyé les marchandises, en fonction de la première éventualité.
Vous devez renvoyer les marchandises ou les remettre à Jeremy Norman's historyofscience, Novato, California, U.S.A., sans retard injustifié et, en tout état de cause, au plus tard 14 jours à compter du jour où vous nous avez communiqué votre décision de rétractation du présent contrat. Le délai est respecté si vous renvoyez les marchandises avant l'expiration du délai de 14 jours. Vous devrez prendre en charge les frais directs du renvoi des marchandises. Vous n'êtes responsable que de toute diminution de valeur des marchandises résultant d'une manipulation autre que celle nécessaire pour établir la nature, les caractéristiques et le fonctionnement des marchandises.
Exceptions au droit de rétractation
Le droit de rétractation ne s'applique pas à ce qui suit :
- Distribution de journaux, de revues ou de magazines, à l'exception des contrats d'abonnement ; et
- Fourniture d'un contenu numérique qui n'est pas fourni sur un support matériel (par exemple, sur un CD ou un DVD) si vous avez accepté, lors de votre commande, que nous puissions commencer à le livrer et que vous ne puissiez pas exercer votre droit de rétractation une fois la livraison commencée.
Conditions d'expédition
Orders usually ship within 2 business days. Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping cost is required.