EUR 84,71
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
EUR 94,24
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
EUR 88,82
Quantità: 3 disponibili
Aggiungi al carrelloCondizione: New. pp. 330.
EUR 85,86
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
EUR 87,81
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Condizione: New. pp. 330.
EUR 87,82
Quantità: 1 disponibili
Aggiungi al carrelloPaperback / softback. Condizione: New. New copy - Usually dispatched within 4 working days.
EUR 99,02
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
EUR 102,60
Quantità: 3 disponibili
Aggiungi al carrelloCondizione: New. pp. 330.
Da: Revaluation Books, Exeter, Regno Unito
EUR 127,77
Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 330 pages. 9.02x5.98x0.67 inches. In Stock.
EUR 122,81
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Da: PBShop.store US, Wood Dale, IL, U.S.A.
EUR 106,66
Quantità: Più di 20 disponibili
Aggiungi al carrelloPAP. Condizione: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Da: PBShop.store UK, Fairford, GLOS, Regno Unito
EUR 100,52
Quantità: Più di 20 disponibili
Aggiungi al carrelloPAP. Condizione: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Da: THE SAINT BOOKSTORE, Southport, Regno Unito
EUR 103,68
Quantità: Più di 20 disponibili
Aggiungi al carrelloPaperback / softback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
Da: moluna, Greven, Germania
EUR 74,28
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Felscher, Walter1. Sequent Calculi for Positive Logic 2. Cuts 3. Continuous Cut Elimination 4. Sequent Calculis for Minimal and Intuitionistic Logic 5. Classes of Algebras Associated to a Calculus 6. Calculii of Formulas 7. Sequent Calculii for Quan.
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 126,37
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - This volume is a combinatorial study of derivations and deductions. The author's approach is syntactical and builds from Gentzen's basic ideas into logical rules and a calculus of deductive situations. The book concludes with the algorithms producing the results of Gentzen's midsequent theorem and Herbrand's theorem for prenex formulas.In this volume, logic starts from the observation that in everyday arguments, as brought forward by say a lawyer, statements are transformed linguistically, connecting them in formal ways irrespective of their contents. Understanding such arguments as deductive situations, or 'sequents' in the technical terminology, the transformations between them can be expressed as logical rules. The book concludes with the algorithms producing the results of Gentzen's midsequent theorem and Herbrand's theorem for prenex formulas.