Ghilardi m (23 resultados)
Editorial: Academic Journal Offprint from: - Environmental Archaeology - The Journal of Human Palaeoecology, Volume 20, No. 2, May 2015., 2015
Librería: Nar Valley Books & Prints, King's Lynn, Reino UnidoNar Valley Books & Prints
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado
EUR 11,96
Envío por EUR 10,77Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carrito18pp, 9 figs, Printed Card Cover, VGC.
- Tapa blanda
Librería: Messinissa libri, Milano, MI, ItaliaMessinissa libri
Contactar con el vendedorVendedor de 3 estrellasCondición: Usado
EUR 8,25
Envío por EUR 41,00Se envía de Italia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
brossura. Condición: Ottimo (Fine). ST1098.16Copertina editoriale in brossura pieghevole, volume in ottime condizioni, copertina e interno in ottimo stato,173 pagine circacopertina come da foto ISBN/ASIN 8884835151. Book.
Editorial: Roma, Acqua Pia - Antica Acqua Marcia, Roma, 2008
- Tapa dura
Librería: Messinissa libri, Milano, MI, ItaliaMessinissa libri
Contactar con el vendedorVendedor de 3 estrellasCondición: Usado
EUR 18,75
Envío por EUR 41,00Se envía de Italia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritorilegato. Condición: Perfetto (Mint). BTT145Ccopertina rigida,volume come nuovo, copertina e interno in condizioni eccellenti, legatura salda, in cofanetto 351 pagine circaCopertina come da foto. Book.
Idioma: Inglés
Editorial: Springer, 2010
- Tapa blanda
Librería: California Books, Miami, FL, Estados Unidos de AmericaCalifornia Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 117,36
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Idioma: Inglés
Editorial: Springer, 2002
- Tapa dura
Librería: California Books, Miami, FL, Estados Unidos de AmericaCalifornia Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 117,36
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
- Tapa dura
Librería: Libreria già Nardecchia s.r.l., Rome, RM, ItaliaLibreria già Nardecchia s.r.l.
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 73,00
Envío por EUR 43,00Se envía de Italia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: NEW. Roma: Ecole Francaise de Rome, 2006 2-7283-0770-9 Collection de l'Ecole francaise de Rome ; 369 1600 390 p. : ill. ; 24 cm.
Idioma: Inglés
Editorial: Kluwer Academic Publishers, US, 2002
- Tapa dura
Librería: Rarewaves USA, HEBRON, KY, Estados Unidos de AmericaRarewaves USA
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 130,44
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Hardback. Condición: New. 2002 ed. This book is an example of fruitful interaction between (non-classical) propo sitionallogics and (classical) model theory which was made possible due to categorical logic. Its main aim consists in investigating the existence of model completions for equational theories arising from propositio…nal logics (such as the theory of Heyting algebras and various kinds of theories related to proposi tional modal logic ). The existence of model-completions turns out to be related to proof-theoretic facts concerning interpretability of second order propositional logic into ordinary propositional logic through the so-called 'Pitts' quantifiers' or 'bisimulation quantifiers'. On the other hand, the book develops a large number of topics concerning the categorical structure of finitely presented al gebras, with related applications to propositional logics, both standard (like Beth's theorems) and new (like effectiveness of internal equivalence relations, projectivity and definability of dual connectives such as difference). A special emphasis is put on sheaf representation, showing that much of the nice categor ical structure of finitely presented algebras is in fact only a restriction of natural structure in sheaves. Applications to the theory of classifying toposes are also covered, yielding new examples. The book has to be considered mainly as a research book, reporting recent and often completely new results in the field; we believe it can also be fruitfully used as a complementary book for graduate courses in categorical and algebraic logic, universal algebra, model theory, and non-classical logics. 1.
Idioma: Inglés
Editorial: Springer, 2002
- Tapa dura
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 116,13
Envío por EUR 13,94Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
Idioma: Inglés
Editorial: Springer, 2010
- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 116,13
Envío por EUR 13,94Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
Sheaves, Games and Model Completions
Ghilardi, Silvio; Zawadowski, M. (Uniwersytet Warszawski, Poland)
Idioma: Inglés
Editorial: Kluwer Academic Publishers, 2002
- 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 130,28
Envío por EUR 9,50Se envía de Irlanda a Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: New. Investigates propositional intuitionistic and modal logics from a different point of view. This book deals with the structure of the category of finitely presented Heyting and modal algebras, relating it both with proof theoretic and model theoretic facts. It is aimed at professional logicians. Series: Trends in…Logic. Num Pages: 245 pages, biography. BIC Classification: HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 15. Weight in Grams: 543. . 2002. Hardback. . . . .
Idioma: Inglés
Editorial: Springer Netherlands, 2010
- Tapa blanda
Librería: moluna, Greven, Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 92,27
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Idioma: Inglés
Editorial: Springer Netherlands, 2002
- Tapa dura
Librería: moluna, Greven, Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 93,00
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Gebunden. Condición: New.
Idioma: Inglés
Editorial: Kluwer Academic Publishers, US, 2002
- Tapa dura
Librería: Rarewaves.com USA, London, LONDO, Reino UnidoRarewaves.com USA
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 149,05
Gastos de envío gratisSe envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Hardback. Condición: New. 2002 ed. This book is an example of fruitful interaction between (non-classical) propo sitionallogics and (classical) model theory which was made possible due to categorical logic. Its main aim consists in investigating the existence of model completions for equational theories arising from propositio…nal logics (such as the theory of Heyting algebras and various kinds of theories related to proposi tional modal logic ). The existence of model-completions turns out to be related to proof-theoretic facts concerning interpretability of second order propositional logic into ordinary propositional logic through the so-called 'Pitts' quantifiers' or 'bisimulation quantifiers'. On the other hand, the book develops a large number of topics concerning the categorical structure of finitely presented al gebras, with related applications to propositional logics, both standard (like Beth's theorems) and new (like effectiveness of internal equivalence relations, projectivity and definability of dual connectives such as difference). A special emphasis is put on sheaf representation, showing that much of the nice categor ical structure of finitely presented algebras is in fact only a restriction of natural structure in sheaves. Applications to the theory of classifying toposes are also covered, yielding new examples. The book has to be considered mainly as a research book, reporting recent and often completely new results in the field; we believe it can also be fruitfully used as a complementary book for graduate courses in categorical and algebraic logic, universal algebra, model theory, and non-classical logics. 1.
Sheaves, Games and Model Completions
Ghilardi, Silvio; Zawadowski, M. (Uniwersytet Warszawski, Poland)
Idioma: Inglés
Editorial: Kluwer Academic Publishers, 2002
- Tapa dura
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de AmericaKennys Bookstore
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 162,37
Envío por EUR 9,06Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: New. Investigates propositional intuitionistic and modal logics from a different point of view. This book deals with the structure of the category of finitely presented Heyting and modal algebras, relating it both with proof theoretic and model theoretic facts. It is aimed at professional logicians. Series: Trends in…Logic. Num Pages: 245 pages, biography. BIC Classification: HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 15. Weight in Grams: 543. . 2002. Hardback. . . . . Books ship from the US and Ireland.
Idioma: Inglés
Editorial: Cairo : Institut français d'archéologie orientale du Caire - IFAO, 2018
- Tapa dura
- Primera edición
Librería: Joseph Burridge Books, Dagenham, Reino UnidoJoseph Burridge Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 161,82
Envío por EUR 31,42Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardcover. Condición: New. 1st Edition. 296 pages. This book deals with the archeology of ancient landscapes in the Egyptian and Mediterranean regions. Geoarchaeological methodologies have emerged as a major component in any archaeological approaches to better understanding both the dynamics of the establishment of ancient envir…onments and the variety of settlement patterns adopted by human societies. Thirteen contributions are grouped into four parts entitled Geoarchaeology and reconstitution of the ancient landscape ; Geographic Information Systems (GIS) ; Historical Geography ; and Geoarchaeology Case Studies . The examples highlighted in this book address the following themes: rural site formation; water management strategies; paleo-environment reconstruction; land occupation; and settlement location. The authors give an overview of the complex relationships between landscape dynamics and the logics of human occupation through the results of recent studies carried out in Egypt, Tunisia, Morocco, Greece and Portugal.
Idioma: Inglés
Editorial: Springer, 2002
- Tapa dura
Librería: Mispah books, Redhill, SURRE, Reino UnidoMispah books
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Como Nuevo
EUR 178,61
Envío por EUR 29,09Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardcover. Condición: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Idioma: Inglés
Editorial: Kluwer Academic Publishers, US, 2002
- Tapa dura
Librería: Rarewaves.com UK, London, Reino UnidoRarewaves.com UK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 145,68
Envío por EUR 75,65Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Hardback. Condición: New. 2002 ed. This book is an example of fruitful interaction between (non-classical) propo sitionallogics and (classical) model theory which was made possible due to categorical logic. Its main aim consists in investigating the existence of model completions for equational theories arising from propositio…nal logics (such as the theory of Heyting algebras and various kinds of theories related to proposi tional modal logic ). The existence of model-completions turns out to be related to proof-theoretic facts concerning interpretability of second order propositional logic into ordinary propositional logic through the so-called 'Pitts' quantifiers' or 'bisimulation quantifiers'. On the other hand, the book develops a large number of topics concerning the categorical structure of finitely presented al gebras, with related applications to propositional logics, both standard (like Beth's theorems) and new (like effectiveness of internal equivalence relations, projectivity and definability of dual connectives such as difference). A special emphasis is put on sheaf representation, showing that much of the nice categor ical structure of finitely presented algebras is in fact only a restriction of natural structure in sheaves. Applications to the theory of classifying toposes are also covered, yielding new examples. The book has to be considered mainly as a research book, reporting recent and often completely new results in the field; we believe it can also be fruitfully used as a complementary book for graduate courses in categorical and algebraic logic, universal algebra, model theory, and non-classical logics. 1.
Editorial: Pontificia Universitas Gregoriana, Roma, 1966
- Tapa blanda
Librería: Le-Livre, SABLONS, FranciaLe-Livre
Contactar con el vendedorVendedor de 5 estrellasMiembro de asociación: ILAB
Condición: Usado - Muy bueno
EUR 30,90
Envío por EUR 42,00Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCouverture souple. Condición: bon. RO40175422: 1966. In-8. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 84 pages. Etiquette de code sur le 1er plat. Tampons et annotations de bibliothèque sur le 1er plat et en page de titre. Annotatioon sur le dos. . . . Classification Dewey : 450-Italien, roumain, rhét…o-romain.
- Tapa blanda
Librería: Brook Bookstore, Milano, MI, ItaliaBrook Bookstore
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 40,49
Envío por EUR 37,99Se envía de Italia a Estados Unidos de AmericaCantidad disponible: 9 disponibles
Condición: new.
Editorial: Milano; Consonni, 1987
Librería: IL LIBRAIO, Fagagna, UD, ItaliaIL LIBRAIO
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado
EUR 48,00
Envío por EUR 25,00Se envía de Italia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoin 4°; pp. 260 (ill. bn. e col.); leg. con sovracop.
Idioma: Español
Editorial: CreateSpace Independent Publishing Platform, 2017
Serie: Libro 2 de 3 - Dino Hazard
- Tapa blanda
- Impresión bajo demanda
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 20,69
Envío por EUR 11,64Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: Brand New. 287 pages. Spanish language. 9.00x6.00x0.72 inches. This item is printed on demand.
Editorial: Milano; Consonni, 1987
Librería: IL LIBRAIO, Fagagna, UD, ItaliaIL LIBRAIO
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado
EUR 59,00
Envío por EUR 25,00Se envía de Italia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoin 4°; pp. 260 (ill. in bn. e col.); leg. con sovracop. e astuccio.
Editorial: Milano; Consonni, 1988
Librería: IL LIBRAIO, Fagagna, UD, ItaliaIL LIBRAIO
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado
EUR 71,00
Envío por EUR 25,00Se envía de Italia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoin 4°; pp. 28 + 100 tavv. (ill. bn. e col.); br. con astuccio; coll. d'Arte del Ponte Rosso. Testi di Carrà, Borgese, Lepore, Fontana, Consadori e molti altri. Tiratura di 1000 esemplari (ns. 5 ma privo del disegno originale).
