9781107417236 - proof analysis: a contribution to hilbert's last problem de negri, sara (20 resultados)

- Tapa blanda
Librería: ThriftBooks-Atlanta, AUSTELL, GA, Estados Unidos de AmericaThriftBooks-Atlanta
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 42,19
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.

- Tapa blanda
Librería: Greenworld Books, arlington, TX, Estados Unidos de AmericaGreenworld Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 44,69
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: very_good. Fast Free Shipping â" Very Good condition book with a firm cover and clean pages. Shows normal use and some light wear or limited notes markings. A solid, nice copy to enjoy.

- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 56,20
Envío por EUR 2,31Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.

- Tapa blanda
Librería: California Books, Miami, FL, Estados Unidos de AmericaCalifornia Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 58,59
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.

- Tapa blanda
Librería: BargainBookStores, Grand Rapids, MI, Estados Unidos de AmericaBargainBookStores
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 59,29
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 5 disponibles
Condición: New. Proof Analysis: A Contribution to Hilbert's Last Problem (Paperback or Softback).

- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 58,03
Envío por EUR 2,31Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.

- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 57,00
Envío por EUR 13,89Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.

- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 56,99
Envío por EUR 17,39Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.

- Tapa blanda
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 64,90
Envío por EUR 10,50Se envía de Irlanda a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. Presents a new way of applying the methods of proof theory to axiomatic theories and systems of philosophical logic. Num Pages: 278 pages, black & white illustrations. BIC Classification: HPL; PBB; PBCD. Category: (P) Professional & Vocational. Dimension: 246 x 172 x 18. Weight in Grams: 472. . 2014. Reprint. pap…erback. . . . .

- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 64,92
Envío por EUR 17,39Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.

- Tapa blanda
Librería: Books Puddle, New York, NY, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 82,91
Envío por EUR 3,49Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. pp. 278.

- Tapa blanda
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de AmericaKennys Bookstore
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 81,71
Envío por EUR 9,19Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. Presents a new way of applying the methods of proof theory to axiomatic theories and systems of philosophical logic. Num Pages: 278 pages, black & white illustrations. BIC Classification: HPL; PBB; PBCD. Category: (P) Professional & Vocational. Dimension: 246 x 172 x 18. Weight in Grams: 472. . 2014. Reprint. pap…erback. . . . . Books ship from the US and Ireland.

- Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 77,84
Envío por EUR 62,43Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book continues from where the authors' previous book, Structural Proof Theory, ended. It presents an extension of the methods of analysis of proofs in pure logic to elementary axiomatic systems and to what is known as philosophical logic. A se…lf-contained brief introduction to the proof theory of pure logic is included that serves both the mathematically and philosophically oriented reader. The method is built up gradually, with examples drawn from theories of order, lattice theory and elementary geometry. The aim is, in each of the examples, to help the reader grasp the combinatorial behaviour of an axiom system, which typically leads to decidability results. The last part presents, as an application and extension of all that precedes it, a proof-theoretical approach to the Kripke semantics of modal and related logics, with a great number of new results, providing essential reading for mathematical and philosophical logicians.

- Tapa blanda
Librería: ChouetteCoop, Kervignac, FranciaChouetteCoop
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 33,64
Envío por EUR 495,00Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: Used: Good. Occasion - Bon Etat - Proof analysis. A contribution to Hilbert's last problem (2014) - Grand Format.

- Tapa blanda
- Impresión bajo demanda
Librería: Revaluation Books, Exeter, , Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 55,35
Envío por EUR 11,59Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: Brand New. reprint edition. 265 pages. 9.50x6.75x0.75 inches. In Stock. This item is printed on demand.

- Tapa blanda
- Impresión bajo demanda
Librería: THE SAINT BOOKSTORE, Southport, , Reino UnidoTHE SAINT BOOKSTORE
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 61,32
Envío por EUR 17,97Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Paperback / softback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.

- Tapa blanda
- Impresión bajo demanda
Librería: Majestic Books, Hounslow, , Reino UnidoMajestic Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 82,47
Envío por EUR 7,54Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. Print on Demand pp. 278 67:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Perfect Bound on White w/Gloss Lam.

- Tapa blanda
- Impresión bajo demanda
Librería: Biblios, frankfurt am main, HESSE, AlemaniaBiblios
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 82,30
Envío por EUR 9,95Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. PRINT ON DEMAND pp. 278.

- Tapa blanda
- Impresión bajo demanda
Librería: CitiRetail, Stevenage, Reino UnidoCitiRetail
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 65,06
Envío por EUR 42,89Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: new. Paperback. This book continues from where the authors' previous book, Structural Proof Theory, ended. It presents an extension of the methods of analysis of proofs in pure logic to elementary axiomatic systems and to what is known as philosophical logic. A self-contained brief introduction to the proof… theory of pure logic is included that serves both the mathematically and philosophically oriented reader. The method is built up gradually, with examples drawn from theories of order, lattice theory and elementary geometry. The aim is, in each of the examples, to help the reader grasp the combinatorial behaviour of an axiom system, which typically leads to decidability results. The last part presents, as an application and extension of all that precedes it, a proof-theoretical approach to the Kripke semantics of modal and related logics, with a great number of new results, providing essential reading for mathematical and philosophical logicians. A continuation of the authors' book Structural Proof Theory, one of the basic sources for all students and researchers on logic. Presents a way of extending the proof theory of pure logic to cover mathematical axiomatic theories and systems of philosophical logic. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.

- Tapa blanda
- Impresión bajo demanda
Librería: moluna, Greven, , Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 62,28
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. A continuation of the authors book Structural Proof Theory, one of the basic sources for all students and researchers on logic. Presents a way of extending the proof theory of pure logic to cover mathematical axiomati…c theories and systems of philosophical.