Hardcover. Condizione: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
Condizione: Very Good. 1st. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
EUR 4,36
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Very Good. 1776347540. 4/16/2026 1:52:20 PM.
Soft cover. Condizione: Very Good. x,331. Printed in 2003, OUP. Small name stamp on the half-title. Text entirely unmarked. Spine tight, binding sound. If you order this from outside the United States, we will almost certainly request an additional payment to help cover the postage. Please feel welcome to message us with any questions, or a request for photographs. Every order includes tracking and is wrapped and robustly packaged with care in Tucson, AZ. ~Mesquite Booksellers.
Lingua: Inglese
Editore: Oxford University Press, UK, 2010
ISBN 10: 0199256071 ISBN 13: 9780199256075
Da: Browsing Is Arousing, Middlebury, VT, U.S.A.
Condizione: Very Good. Softcover, 331 pages. This is a revised and expanded edition of a seminal work in the logic and philosophy of time, originally published in 1968. Arthur N. Prior (1914-1969) was the founding father of temporal logic, and his book offers an excellent introduction to the fundamental questions in the field. Several important papers have been added to the original selection, as well as a comprehensive bibliography of Prior's work and an illuminating interview with his widow, Mary Prior. In addition, the Polish logic which made Prior's writings difficult for many readers has been replaced by standard logical notation. This new edition will secure the classic status of the book. Clean, bright copy. Record # 386432.
EUR 36,52
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: as new. Wie neu/Like new.
EUR 63,68
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
EUR 37,75
Quantità: 1 disponibili
Aggiungi al carrelloSoft cover. Condizione: As New. 2nd Edition.
EUR 67,89
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
EUR 61,71
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
EUR 58,12
Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
EUR 61,06
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
EUR 70,42
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Da: Librairie de l'Avenue - Henri Veyrier, Saint-Ouen, FR, Francia
EUR 29,00
Quantità: 1 disponibili
Aggiungi al carrelloCouverture rigide. Condizione: Bon état. Condizione sovraccoperta: Good. In-folio reliure éditeur pleine toile sous jaquette, 26.4 cm sur 26.8. 190 pages. Jaquette en bon état. Bon état d'occasion.
EUR 8,46
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Comme neuf. Merci, votre achat aide à financer des programmes de lutte contre l'illettrisme.
EUR 116,61
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. First published in 1968, this is a seminal work in the logic and philosophy of time. It includes a comprehensive bibliography of the work of the author, who was the founding father of temporal logic, and an interview with his widow about his life and work. The Polish logic used in the original book has been replaced by standard logical notation. Editor(s): Copeland, Jack; Ohrstrom, Peter; Brauner, Torben. Num Pages: 342 pages, bibliography. BIC Classification: CFA; HPC; HPL. Category: (P) Professional & Vocational. Dimension: 215 x 137 x 16. Weight in Grams: 407. . . . . . . Books ship from the US and Ireland.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 115,07
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 115,07
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Condizione: New.
EUR 133,27
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. First published in 1968, this is a seminal work in the logic and philosophy of time. It includes a comprehensive bibliography of the work of the author, who was the founding father of temporal logic, and an interview with his widow about his life and work. The Polish logic used in the original book has been replaced by standard logical notation. Editor(s): Copeland, Jack; Ohrstrom, Peter; Brauner, Torben. Num Pages: 342 pages, bibliography. BIC Classification: CFA; HPC; HPL. Category: (P) Professional & Vocational. Dimension: 215 x 137 x 16. Weight in Grams: 407. . . . . . .
Da: LiLi - La Liberté des Livres, CANEJAN, Francia
EUR 13,02
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: fine. l'article peut presenter de tres legers signes d'usure, petites rayures ou imperfections esthetiques. vendeur professionnel; envoi soigne en 24/48h.
EUR 95,15
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Hybrid Logic and its Proof-Theory | Torben Braüner | Taschenbuch | Applied Logic Series | xiii | Englisch | 2013 | Springer | EAN 9789400734357 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
EUR 148,47
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
EUR 112,77
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This is the first book-length treatment of hybrid logic and its proof-theory. Hybrid logic is an extension of ordinary modal logic which allows explicit reference to individual points in a model (where the points represent times, possible worlds, states in a computer, or something else). This is useful for many applications, for example when reasoning about time one often wants to formulate a series of statements about what happens at specific times. There is little consensus about proof-theory for ordinary modal logic. Many modal-logical proof systems lack important properties and the relationships between proof systems for different modal logics are often unclear. In the present book we demonstrate that hybrid-logical proof-theory remedies these deficiencies by giving a spectrum of well-behaved proof systems (natural deduction, Gentzen, tableau, and axiom systems) for a spectrum of different hybrid logics (propositional, first-order, intensional first-order, and intuitionistic).
EUR 114,36
Quantità: 2 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This is the first book-length treatment of hybrid logic and its proof-theory. Hybrid logic is an extension of ordinary modal logic which allows explicit reference to individual points in a model (where the points represent times, possible worlds, states in a computer, or something else). This is useful for many applications, for example when reasoning about time one often wants to formulate a series of statements about what happens at specific times. There is little consensus about proof-theory for ordinary modal logic. Many modal-logical proof systems lack important properties and the relationships between proof systems for different modal logics are often unclear. In the present book we demonstrate that hybrid-logical proof-theory remedies these deficiencies by giving a spectrum of well-behaved proof systems (natural deduction, Gentzen, tableau, and axiom systems) for a spectrum of different hybrid logics (propositional, first-order, intensional first-order, and intuitionistic).
Da: Mispah books, Redhill, SURRE, Regno Unito
EUR 167,47
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Like New. Like New. book.
Da: Mispah books, Redhill, SURRE, Regno Unito
EUR 168,66
Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Like New. Like New. book.
Condizione: As New. Unread book in perfect condition.
Editore: Jerome do betzinger, 2010
Da: Librairie Lire et Chiner, Colmar, ALSAC, Francia
EUR 24,00
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: CN. br.; in-8, 177 pp.
EUR 64,65
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: fine. couverture cartonnée, petit format , très bon état. . 3596119 - 100 ans d'histoire: Marie-Louise Pire, Brauener, Hélène, Baobab Editions, 2018.