Normalization, Cut-Elimination, and the Theory of Proofs (Center for the Study of Language and Information Publication Lecture Notes)

A. M. Ungar

ISBN 10: 0937073822 ISBN 13: 9780937073827

Verlag: The Center for the Study of Language and Information Publications, 1992

Sprache: Englisch

Zustand: Gebraucht - Gut Softcover

F�r sp�ter vormerken

Verkauft von Fireside Bookshop, Stroud, GLOS, Vereinigtes K�nigreich

Verbandsmitglied:

PBFA

AbeBooks-Verk�ufer seit 22. September 2000

Verk�uferbewertung 5 von 5 Sternen

Alle Artikel dieses Verk�ufers anzeigen

Alle Exemplare dieses Buches anzeigen

Gebraucht - Softcover

Zustand: Gebraucht - Gut

Preis: EUR 41,39 W�hrung umrechnen

EUR 28,70 f�r den Versand von Vereinigtes K�nigreich nach USA Versandziele, Kosten & Dauer

Anzahl: 1 verf�gbar

In den Warenkorb legen

F�r sp�ter vormerken

Beschreibung

Type: Book N.B. Small plain label inside front cover.

Bestandsnummer des Verk�ufers 055981

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel

Normalization, Cut-Elimination, and the Theory of Proofs (Center for the Study of Language and Information Publication Lecture Notes)

Verlag

The Center for the Study of Language and Information Publications

Erscheinungsjahr

1992

Sprache

Englisch

ISBN-10

0937073822

ISBN-13

9780937073827

Einband

Paperback

Zustand

Very Good

Zustand des Schutzumschlags

No d/j as Published

Gewicht

16�Unzen

Verk�uferkataloge

MATHEMATICS

�ber diesen Titel

Inhaltsangabe

Gentzen's cut-elimination theorem is widely used as a tool for meta-mathematical investigations. It is sometimes claimed however that the theorem and its proof have interest which is independent of these applications and derives from the information they supply about the structure of proofs in general. Ungar investigates this claim in the context of first order logic. Ungar gives an account of Gentzen's theorem for various formalisms and discusses the difficulties involved in treating these different versions uniformly, as instances of a single theorem which is not tied to a particular system of rules. By extending the theorem to a natural deduction calculus whose derivations are allowed to have more than one conclusion, Ungar argues that the different versions of the theorem are more or less natural specializations of a single result whose significance can be understood in terms of the proofs represented by formal derivations. A concluding discussion focuses on the relationship between proofs and formal derivations, and the role proofs may play as part of a general theory of evidence.

Rese�a del editor

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

The Fireside Bookshop has now moved to Stroud in Gloucestershire.Our opening hours are from 10a.m.-5p.m. Tuesday to Saturday. Click on the Fireside Bookshop name above for more contact information.

Zur Homepage des Verk�ufers

Verbandsmitglied

Verbandsmitglieder verpflichten sich, h�chste Standards einzuhalten. Sie garantieren die Echtheit aller zum Verkauf angebotenen Objekte. Ihre Objektbeschreibungen sind sachkundig und genau, etwaig vorhandene M�ngel oder Restaurationen werden offengelegt. Die Ansetzung der Verkaufspreise erfolgt nach akkurater Recherche. Alle Verk�ufe werden stets fair und redlich abgewickelt.

Unternehmensdaten des Verk�ufers

Fireside Bookshop
United Kingdom

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

Books are despatched the same day as the order is confirmed.We are very happy to
answer any other enquiries regarding our stock either by E mail or phone.
Rob Sheppard.Fireside Bookshop.8 Rowcroft, Stroud, Gloucestershire, GL5 3AZ
info@firesidebookshop.co.uk 01453 764500

Widerrufsbelehrung

Versandbedingungen

Postage 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 postage is required.
Any queries please email us or phone +44(0)1453 764500

Versandkosten von Vereinigtes K�nigreich nach USA

Versandkosten von Vereinigtes K�nigreich nach USA
Bestellmenge	6 bis 14�Werktage	5 bis 14�Werktage
Erster Artikel	EUR 28.70	EUR 31.57

Die Versandzeiten werden von den Verk�uferinnen und Verk�ufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, k�nnen Verz�gerungen unterliegen. Eventuell anfallende Abgaben oder Geb�hren sind von der K�uferin bzw. dem K�ufer zu tragen. Die Verk�uferin bzw. der Verk�ufer kann Sie bez�glich zus�tzlicher Versandkosten kontaktieren, um einen m�glichen Anstieg der Versandkosten f�r Ihre Artikel auszugleichen.