Two Applications of Logic to Mathematics.
Idioma: inglés
Editorial: Iwanami Shoten Publishers, Princeton University Press, Tokyo, Princeton, 1978
- Tapa dura
- Usado
Librería: Emile Kerssemakers ILAB, Heerlen, HolandaEmile Kerssemakers ILAB
Vendedor de AbeBooks desde 1 de junio de 2007
Miembro de asociación: NVVAILAB
Ver los artículos de este vendedorCondición: Usado
EUR 25,00
Cantidad disponible: 1 disponibles
Añadir al carritoDescripción del artículo del vendedor
24.5 x 16 cm, red cloth hardcover with dust jacket, viii, 140 pages, Text in English, dust jacket slightly damaged at edges, very good condition, see picture. Publications of the Mathematical Society of Japan 13. 460g.
N° de ref. del artículo 81114
- Título
- Two Applications of Logic to Mathematics.
- Autor
- Takeuti, Gaisi.
- Editorial
- Iwanami Shoten Publishers, Princeton University Press, Tokyo, Princeton
- Año de publicación
- 1978
- Sobrecubierta
- Sobrecubierta Incluida
- Encuadernación
- Encuadernación de tapa dura
- Idioma
- inglés
- ISBN 10
- 069108212X
- ISBN 13
- 9780691082127
- Peso del artículo
- 460 gramos
- Catálogos de vendedores
- Wiskunde
Using set theory in the first part of his book, and proof theory in the second, Gaisi Takeuti gives us two examples of how mathematical logic can be used to obtain results previously derived in less elegant fashion by other mathematical techniques, especially analysis. In Part One, he applies Scott- Solovay's Boolean-valued models of set theory to analysis by means of complete Boolean algebras of projections. In Part Two, he develops classical analysis including complex analysis in Peano's arithmetic, showing that any arithmetical theorem proved in analytic number theory is a theorem in Peano's arithmetic. In doing so, the author applies Gentzen's cut elimination theorem.
Although the results of Part One may be regarded as straightforward consequences of the spectral theorem in function analysis, the use of Boolean- valued models makes explicit and precise analogies used by analysts to lift results from ordinary analysis to operators on a Hilbert space. Essentially expository in nature, Part Two yields a general method for showing that analytic proofs of theorems in number theory can be replaced by elementary proofs.
Originally published in 1978.
The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These editions preserve the original texts of these important books while presenting them in durable paperback and hardcover editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905.
“Sinopsis” puede pertenecer a otra edición de este título.
Reseña del editor
Using set theory in the first part of his book, and proof theory in the second, Gaisi Takeuti gives us two examples of how mathematical logic can be used to obtain results previously derived in less elegant fashion by other mathematical techniques, especially analysis. In Part One, he applies Scott- Solovay's Boolean-valued models of set theory to analysis by means of complete Boolean algebras of projections. In Part Two, he develops classical analysis including complex analysis in Peano's arithmetic, showing that any arithmetical theorem proved in analytic number theory is a theorem in Peano's arithmetic. In doing so, the author applies Gentzen's cut elimination theorem.
Although the results of Part One may be regarded as straightforward consequences of the spectral theorem in function analysis, the use of Boolean- valued models makes explicit and precise analogies used by analysts to lift results from ordinary analysis to operators on a Hilbert space. Essentially expository in nature, Part Two yields a general method for showing that analytic proofs of theorems in number theory can be replaced by elementary proofs.
Originally published in 1978.
The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These paperback editions preserve the original texts of these important books while presenting them in durable paperback editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905.
“Acerca de” puede pertenecer a otra edición de este título.
Emile Kerssemakers ILAB
Heerlen, Holanda
Tarifas de envío de Holanda a Estados Unidos de America
| Artículo | De 7 a 14 días hábiles | De 3 a 7 días hábiles |
|---|---|---|
| Primer artículo | EUR 25,45 | EUR 49,00 |
Métodos de pago
- Cheque
- Factura
- Giro bancario
- PayPal
Descripción de la tienda
Antiquariaat Emile Kerssemakers was established in 1992. Although we are specialised in religious books; in our store you also can find books on almost any other subject. There are more than 40.000 titles in stock. - https://kerssemakers.com - - https://www.kerss.nl - https://www.instagram.com/emilekers/ - - https://www.facebook.com/kerssemakers - - https://twitter.com/kerssemakers -
Especialidad
History, Theology / Religion, Philosophy, ArchaeologyMiembro de asociación
Información empresarial del vendedor
Emile Kerssemakers ILAB
Holanda
Condiciones de venta
BOEKHANDEL - ANTIQUARIAAT EMILE KERSSEMAKERS
We are member of the Antiquarian Booksellers' Association of the Netherlands (NVvA) , affiliated to the International League of Antiquarian Booksellers / Ligue Internationale de la Librairie Ancienne (ILAB/LILA) and we recognize its Code of Usages and Customs.
Wij zijn lid van de Nederlandsche Vereeniging van Antiquaren (NVvA) , aangesloten bij de International League of Antiquarian Booksellers / Ligue Internationale de la Librairie Ancienne (ILAB/LILA) en wij onderschrijven de Code of Usages and Customs.
Nous sommes membre du Syndicat Néerlandais de la Librairie Ancienne (NVvA) , affilié à la Ligue Internationale de la Librairie Ancienne (ILAB/LILA) et nous acceptons ses Code des us et coutumes.
Wir sind Mitglied im Verband Niederländischer Antiquare (NVvA) und der International League of Antiquarian Booksellers / Ligue Internationale de la Librairie Ancienne (ILAB/LILA) und wir unterschreiben ihre Code of Usages and Customs.
Sale conditions - Verkaufsbedigungen - Verkoopvoorwaarden
(English - Deutsch - Nederlands)
**************ENGLISH*************************
Sale conditions
GENERAL:
- All books are complete, at least in good condition and fully described, inclusive all defects.
- On request we can provide a photograph of the book(s).
- Prices are in euros and free of VAT (so no VAT will be added or deducted). Shipping costs will be
calculated to the lowest price possible incl. traceable/insured shipping. If requested in the order form, a
total order price will be communicated to the buyer.
RETURNS:
- Returns must be made within 14 days of receipt of EU customers and within 7 days for the rest of the
world. The amount you paid will be refunded if the book or item did not match its stated description,
otherwise the amount of reimbursing will be limited to its purchase prize, with exclusion of the shipping
costs. (EU customers always will be refunded for the book price + standard shipping costs) In all cases,
please contact us before returning any item.
SHIPMENT:
- At international orders we will provide shipping quotes in case the ordered title(s) is heavy or oversized.
- The ownership of the goods sent will be for the seller until the full amount has been paid.
- The risks of shipment of the goods will be for the seller. The seller has the right to insure the goods for
sending. The additional costs for insurance will be invoiced to the buyer.
PAYMENT CAN BE DONE BY:
- We prefer pre-payment, institutions, libraries or regular customers can be invoiced
Sending cash:
- Possible within and outside the Netherlands.
- Total order amount should be agreed via email.
- Risks of cash sending are for the buyer.
- Shipment will take place after receipt money order.
Credit Card
- We accept VISA, Mastercard and American Express via a secure page. i.e. www.kerssemakers.com/
Antiqbook /ZVAB ABEbooks or Bookpursuit. - Card details may also be sent by fax or phone. Details sent by e-mail will not be accepted.
PayPal
- We accept PayPal payments.
**************DEUTSCH*************************
Verkaufsbedingungen
ALLGEMEIN:
- Der Zustand der Bücher wird nicht angegeben, wenn die Werke in gutem Zustand sind.
- Auf Anfrage senden wir Ihnen gerne Bilder des Buches zu.
- Die angegebenen Preise sind rein netto und ohne MWSt. (Margenregelung) und in EURO.
RÜCKSENDUNG/ RÜCKGABE:
- Falls das bestellte Werk den Angaben nicht entspricht, ist eine Rücksendung innerhalb 14 Tagen nach
Erhalt und nach erfolgter Benachrichtigung zulässig. Auskünfte werden vorzugsweise per E-Mail erteilt.
VERSAND:
- Die Lieferbarkeit eines Titels wird per E-Mail bestätigt, unter Angabe der anfallenden Versandkosten (wir
arbeiten dabei mit der niederländischen und Deutsche Post, um Portokosten zu optimieren). Wir versenden,
abhängig vom Gewicht, stets in der vorteilhaftesten Variante: als Briefsendung oder Päckchen/Paket. - Die Bezahlung erfolgt vor Lieferung; die bestellten Bücher bleiben 5 Tage reserviert, bis zum
Zahlungseingang oder der Versandbestätigung.
ZAHLUNG:
- Vorkasse per Überweisung auf eines unserer Bankkonten in Deutschland oder die Niederlande. Für
Institutionen, Bibliotheken und Stammkunde ist nach Vereinbarung die Zahlung gegen Rechnung möglich.
Bar Zahlung:
- Gegen Barzahlung mit dem Post.
- Achtung: auf eigene Risiko; am besten vershicken Sie das Geld in EinschreibeBrief.
- Sobald die Zahlung bei uns eingegangen ist, senden wir Ihnen das Buch/ die Bucher.
Zahlung per Kreditkarte:
- Folgende Kreditkarten werden bei uns akzeptiert: Mastercard, VISA und American Express. Bestellen Sie
über www.kerssemakers.com/ Antiqbook /ZVAB ABEbooks or Bookpursuit. - Sie möchten Ihre Daten nicht über internet senden? Das ist kein Problem. Sie können auch bei uns auch
gerne per Fax, Brief oder Telefon bestellen.
PayPal
- Wir akzeptieren Zahlungen via Paypal.
**************NEDERLANDS********************
ALGEMEEN:
- Alle boeken zijn compleet, tenminste in goede staat en volledig beschreven, inclusief alle gebreken.
- Op verzoek sturen wij u een foto van het boek/ de boeken.
- Prijzen zijn in euro¿s en vrij van BTW (Margeregeling). Verzendkosten, bank- en chequekosten worden
tegen kostprijs doorberekend. Desgewenst kunt u in uw bestelling vragen voor een prijsopgave van het
totaalbedrag.
RETOURRECHT:
- Elke aankoop kan binnen 14 dagen na ontvangst, zonder opgaaf van redenen, aan verkoper worden
teruggestuurd. Een voorafgaande kennisgeving wordt wel op prijs gesteld., en na ontvangst wordt het
aankoopbedrag gerestitueerd, incl. standaard verzendkosten. - Indien de retourzending een gevolg is van een onvolledige beschrijving, of een door de verkoper niet
opgemerkt verborgen gebrek, wordt het totaalbedrag inclusief volledige verzendkosten gerestitueerd. - Retourzendingen dienen deugdelijk verpakt te worden, en in dezelfde staat bereiken als waarin het
verzonden werd aan de koper. - Het risico van een retourzending ligt nadrukkelijk bij de afzender.
VERZENDING:
- Het verzenden van de bestelde boeken is voor risico van de verkoper. Verkoper behoudt zich het recht
voor de goederen te verzekeren en/of aangetekend te verzenden. De kosten hieruit voortvloeiend worden
doorberekend aan de koper. - Geleverde boeken blijven eigendom van de verkoper totdat volledige betaling heeft plaats gevonden.
- Bij zendingen van uitzonderlijke omvang en/of waarde wordt door verkoper altijd eerst contact
opgenomen over de wijze van verzending.
WIJZE VAN BETALING:
- Levering bij voorkeur tegen vooruitbetaling. Instellingen, bibliotheken of vaste klanten kunnen op
rekening worden geleverd.
Contant:
- Mogelijk voor Nederland en buitenland.
- Factuurbedrag wordt kortgesloten via email.
- Geldzending is voor risico zender.
- Boekzending vindt plaats na ontvangst geldbedrag.
Creditcard:
- Wij accepteren VISA, Mastercard en American Express via een beveiligde webpagina zoals bijv.
www.kerssemakers.com/ Antiqbook/ ZVAB/ ABEbooks en Bookpursuit aanbiedt. - U kunt uw kaartgegevens ook per fax of telefoon doorgeven. Kaartgegevens ontvangen via e-mail
worden niet geaccepteerd.
PayPal:
- Wij accepteren PayPal betalingen.
Derecho al desistimiento
Si es un consumidor, puede rescindir el contrato de acuerdo con lo siguiente. Por consumidor se entiende cualquier persona física que actúe con fines ajenos a su actividad comercial, empresarial, oficio o profesión.
Información sobre el derecho de desistimiento
Derecho legal de desistimiento
Tiene derecho a rescindir este contrato en un plazo de 14 días sin dar ningún motivo.
El periodo de desistimiento vencerá a los 14 días desde que usted, o un tercero que no sea el transportista e indicado por usted, adquiera la posesión física del último bien o del último lote o pieza.
Para ejercer el derecho de desistimiento, complete de forma electrónica y envíe una declaración clara en nuestro sitio web, desde "Mis compras" en "Mi cuenta". Le enviaremos sin demora un acuse de recibo de dicho desistimiento a través de un soporte duradero (por ejemplo, por correo electrónico).
Para cumplir con el plazo de desistimiento, basta con que envíe su comunicación relativa al ejercicio del derecho de desistimiento antes de que venza el periodo de desistimiento.
Efectos del desistimiento
Si rescinde este contrato, le reembolsaremos todos los pagos que hayamos recibido de usted, incluidos los gastos de envío (excepto los gastos adicionales que surjan si elige un tipo de envío que no sea el tipo de envío estándar más económico que ofrecemos).
Podemos hacer una deducción del reembolso por la pérdida de valor de cualquier bien suministrado, si la pérdida es el resultado de una manipulación innecesaria por su parte.
Efectuaremos el reembolso sin demoras indebidas y, a más tardar, 14 días después de que se nos informe de su decisión de rescindir este contrato.
Efectuaremos el reembolso utilizando el mismo medio de pago que utilizó para la transacción inicial, a menos que haya acordado expresamente lo contrario; en cualquier caso, no incurrirá en ningún cargo como resultado de dicho reembolso.
Podremos retener el reembolso hasta que hayamos recibido los bienes o hasta que nos haya presentado una prueba de que los ha devuelto, lo que ocurra primero.
Deberá devolver los bienes o entregarlos a Emile Kerssemakers ILAB, Heerlen, Netherlands, +31 455419587, sin demoras indebidas y, en cualquier caso, en un plazo máximo de 14 días a partir del día en que nos comunique su desistimiento del presente contrato. El plazo se cumple si devuelve la mercancía antes de que venza el periodo de 14 días. Tendrá que asumir los gastos directos de devolución de los bienes. Usted solo es responsable de la disminución del valor de los bienes como resultado de una manipulación distinta a la necesaria para establecer la naturaleza, las características y el funcionamiento de los bienes.
Excepciones al derecho de desistimiento
El derecho de desistimiento no se aplica a lo siguiente:
- La entrega de periódicos, diarios o revistas, con la excepción de los contratos de suscripción; y
- El suministro de contenido digital que no se proporcione en un soporte tangible (por ejemplo, en un CD o DVD) si, al hacer el pedido, aceptó que podíamos empezar a entregarlo y que no podría desistir una vez iniciada la entrega.
Condiciones de envío
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 is required.