Petio petkov (17 resultados)
Editorial: Plenum Press, New York, NY, 1990
- Tapa dura
Librería: Book Bear, West Brookfield, MA, Estados Unidos de AmericaBook Bear
Contactar con el vendedorVendedor de 5 estrellasMiembro de asociación: SNEAB
Condición: Usado - Bueno
EUR 23,19
Envío por EUR 4,38Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Cloth. Condición: Very Good. Estado de la sobrecubierta: Printed Boards. 412 pp. Tightly bound. Lower corners lightly bumped. Text is Free of Markings. Fading to cloth on spine.
- Tapa blanda
Librería: California Books, Miami, FL, Estados Unidos de AmericaCalifornia Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 61,61
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: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 61,16
Envío por EUR 14,00Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
- Tapa blanda
Librería: Chiron Media, Wallingford, Reino UnidoChiron Media
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 57,65
Envío por EUR 18,11Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Paperback. Condición: New.
- 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,23
Envío por EUR 3,51Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. pp. 430.
- Más imágenes
- Tapa blanda
Librería: preigu, Osnabrück, Alemaniapreigu
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 50,40
Envío por EUR 70,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Taschenbuch. Condición: Neu. Mathematical Logic | Petio P. Petkov | Taschenbuch | 420 S. | Englisch | 2011 | Springer | EAN 9781461278900 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Más imágenes
- Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 59,97
Envío por EUR 63,67Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Heyting'88 Summer School and Conference on Mathematical Logic, held September 13 - 23, 1988 in Chaika, Bulgaria, was honourably dedicated to Arend Heyting's 90th anniversary. It was organized by Sofia University 'Kliment Ohridski' on the occasion o…f its centenary and by the Bulgarian Academy of Sciences, with sponsorship of the Association for Symbolic Logic. The Meeting gathered some 115 participants from 19 countries. The present volume consists of invited and selected papers. Included are all the invited lectures submitted for publication and the 14 selected contributions, chosen out of 56 submissions by the Selection Committee. The selection was made on the basis of reports of PC members, an average of 4 per sLlbmission. All the papers are concentrated on the topics of the Meeting: Recursion Theory, Modal and Non-classical Logics, Intuitionism and Constructivism, Related Applications to Computer and Other Sciences, Life and Work of Arend Heyting. I am pleased to thank all persons and institutions that contributed to the success of the Meeting: sponsors, Programme Committee members and additional referees, the members of the Organizing Committee, our secretaries K. Lozanova and L. Nikolova, as well as K. Angelov, V. Bozhichkova, A. Ditchev, D. Dobrev, N. Dimitrov, R. Draganova, G. Gargov, N. Georgieva, M. Janchev, P. Marinov, S. Nikolova, S. Radev, I. Soskov, A. Soskova and v. Sotirov, who helped in the organization, Plenum Press and at last but not least all participants in the Meeting and contributors to this volume.
- Tapa blanda
Librería: Mispah books, Redhill, SURRE, Reino UnidoMispah books
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Como Nuevo
EUR 116,79
Envío por EUR 29,22Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Editorial: Plenum Press (1990), New York / London, 1990
Librería: Expatriate Bookshop of Denmark/John Jackson Books, Svendborg, DinamarcaExpatriate Bookshop of Denmark/John Jackson Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado
EUR 58,89
Envío por EUR 59,00Se envía de Dinamarca a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoorig.boards. Condición: Minor rubbing, VG. 26x17cm, x, 412 pp, Proceedings of the Summer School & Conference on Mathematical Logic, September 13 - 23 1988, Bulgaria. Contains 28 papers. Includes: A.S. Troelstra "On the Early History of Intuitionist Logic"; D. van Dalen "Heyting & Intuitionist Geometry"; D. de Jongh & F. Veltman…"Provability Logics for Relative Interpretability"; S. Hayashi "Constructive Mathematics & Computer-Assisted Reasoning Systems"; B. Kushner "Markov's Constructive Mathematical Analysis: The Expectations &Results"; G. Mints "Normalization Theorems for the Intuitionistic Systems" ; D. Normann "Formalizing the Notion of Total Information"; H. Oho " Structural Rules & a Logical Hierarchy"; V. Shehtman & D. Skvortsov " Semantics of Non-classical First Order Predicate Logics"; I.N. Soskov "On the Computational Power of the Logic Programs"; G. Takeuti "Some Relations among Systems for Bounded Arithmetic"; W. Veldman "A Survey of Intuitionistic Descriptive Set Theory"; A. Visser "Interpretability Logic";S.S: Wainer "Hierarchies of Provably Computable Functions"; V.M. Abrusci " Sequent Calculus for Intuitionistic Linear Propositional Logic"; D.S. Bridges "Order Isomorphisms: A Constructive Measure-Theoretic View"; C.S. Copestake "1-Generic Enumeration Degrees Below 0' "; O. Demuth "Remarks on Denjoy Sets"; W. Dzik "Lattices Adequate for Intuitionistic Predicate Logic"; W. Penczek "A Temporal Logic for Event Structures"; etc.
- Tapa blanda
- Impresión bajo demanda
Librería: Brook Bookstore On Demand, Napoli, NA, ItaliaBrook Bookstore On Demand
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 46,22
Envío por EUR 6,80Se envía de Italia a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: new. Questo è un articolo print on demand.
- Tapa blanda
- Impresión bajo demanda
Librería: Basi6 International, Irving, TX, Estados Unidos de AmericaBasi6 International
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 61,93
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 10 disponibles
Condición: Brand New. New. US edition. Print on demand title. Delivery takes 20-25 days. Excellent Customer Service.
- Más imágenes
- Tapa blanda
- Impresión bajo demanda
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,49
Envío por EUR 23,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Heyting'88 Summer School and Conference on Mathematical Logic, held September 13 - 23, 1988 in Chaika, Bulgaria, was honourably dedicated to Arend Heyting's 90th anniversary. It was organized by Sofia University 'Kliment Ohridski' o…n the occasion of its centenary and by the Bulgarian Academy of Sciences, with sponsorship of the Association for Symbolic Logic. The Meeting gathered some 115 participants from 19 countries. The present volume consists of invited and selected papers. Included are all the invited lectures submitted for publication and the 14 selected contributions, chosen out of 56 submissions by the Selection Committee. The selection was made on the basis of reports of PC members, an average of 4 per sLlbmission. All the papers are concentrated on the topics of the Meeting: Recursion Theory, Modal and Non-classical Logics, Intuitionism and Constructivism, Related Applications to Computer and Other Sciences, Life and Work of Arend Heyting. I am pleased to thank all persons and institutions that contributed to the success of the Meeting: sponsors, Programme Committee members and additional referees, the members of the Organizing Committee, our secretaries K. Lozanova and L. Nikolova, as well as K. Angelov, V. Bozhichkova, A. Ditchev, D. Dobrev, N. Dimitrov, R. Draganova, G. Gargov, N. Georgieva, M. Janchev, P. Marinov, S. Nikolova, S. Radev, I. Soskov, A. Soskova and v. Sotirov, who helped in the organization, Plenum Press and at last but not least all participants in the Meeting and contributors to this volume. 428 pp. Englisch.
- Tapa blanda
- Impresión bajo demanda
Librería: Majestic Books, Hounslow, Reino UnidoMajestic Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 81,47
Envío por EUR 7,60Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. Print on Demand pp. 430 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: THE SAINT BOOKSTORE, Southport, Reino UnidoTHE SAINT BOOKSTORE
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 69,41
Envío por EUR 21,13Se 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: Biblios, frankfurt am main, HESSE, AlemaniaBiblios
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 80,69
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. 430.
- Más imágenes
- Tapa blanda
- Impresión bajo demanda
Librería: moluna, Greven, Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 48,37
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. Heyting Session (Invited Papers).- On the Early History of Intuitionistic Logic.- Heyting and Intuitionistic Geometry.- Summer School (Invited Lectures).- Provability Logics for Relative Interpretability.- Constructiv…e Mathematics and Computer-Assisted Reas.
- Más imágenes
- Tapa blanda
- Impresión bajo demanda
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemaniabuchversandmimpf2000
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,49
Envío por EUR 60,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Heyting Session (Invited Papers).- On the Early History of Intuitionistic Logic.- Heyting and Intuitionistic Geometry.- Summer School (Invited Lectures).- Provability Logics for Relative Interpretability.- Constructive Mathematics and C…omputer-Assisted Reasoning Systems.- Markov's Constructive Mathematical Analysis: the Expextations and Results.- Normalization Theorems for the Intuitionistic Systems with Choice Principles.- Formalizing the Notion of Total Information.- Structural Rules and a Logical Hierarchy.- Semantics of Non-classical First Order Predicate Logics.- On the Computational Power of the Logic Programs.- Some Relations among Systems for Bounded Arithmetic.- A Survey of Intuitionistic Descriptive Set Theory.- Interpretability Logic.- Hierarchies of Provably Computable Functions.- Conference (Contributed Papers).- Sequent Calculus for Intuitionistic Linear Propositional Logic.- Order Isomorphisms - a Constructive Measure-Theoretic View.- 1-Generic Enumeration Degrees Below Oe'.- Remarks on Denjoy Sets.- Normal Modal Logic in Which the Heyting Proposotional Calculus Can be Embedded.- Lattices Adequate for Intutionistic Predicate Logic.- A Note on Boolean Modal Logic.- Completeness and Incompleteness in the Bimodal Base L(R, R).- A Temporal Logic for Event Structures.- Completeness of Propositional Dynamic Logic with Infinite Repeating.- An Equivalence between Polinomial Constructivity of Markov's Principle and Equality P=NP.- Effective Enumerations of Abstract Structures.- Modal Characterization of the Classes of Finite and Infinite Quasi-Ordered Sets.- Least Fixed Points in Preassociative Combinatory Algebras.- Participants, Contributors and Programme Committee Members.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 428 pp. Englisch.
