Petkov petio (22 Ergebnisse)
Verlag: Plenum Press, New York, NY, 1990
- Hardcover
Anbieter: Book Bear, West Brookfield, MA, USABook Bear
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenVerbandsmitglied: SNEAB
Zustand: Gebraucht - Gut
EUR 22,81
EUR 4,31 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Cloth. Zustand: Very Good. Zustand des Schutzumschlags: Printed Boards. 412 pp. Tightly bound. Lower corners lightly bumped. Text is Free of Markings. Fading to cloth on spine.
- Hardcover
- Erstausgabe
Anbieter: Atticus Books, Toronto, ON, KanadaAtticus Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht - Gut bis sehr gut
EUR 39,22
EUR 6,88 VersandVersand von Kanada nach USAAnzahl: 1 verfügbar
Hardcover. Zustand: Near Fine. No Jacket. 1st Edition.
- Softcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,69
EUR 2,28 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
- Softcover
Anbieter: Basi6 International, Irving, TX, USABasi6 International
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 60,58
Versand gratisVersand innerhalb von USAAnzahl: 10 verfügbar
Zustand: Brand New. New. Delivery takes 25-30 days. Excellent Customer Service.
- Softcover
Anbieter: California Books, Miami, FL, USACalifornia Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 60,61
Versand gratisVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
- Softcover
Anbieter: Chiron Media, Wallingford, Vereinigtes KönigreichChiron Media
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 57,57
EUR 18,08 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Paperback. Zustand: New.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 61,07
EUR 13,98 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 60,55
EUR 17,51 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
- Softcover
Anbieter: Books Puddle, New York, NY, USABooks Puddle
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 80,90
EUR 3,45 VersandVersand innerhalb von USAAnzahl: 4 verfügbar
Zustand: New. pp. 430.
Weitere Bilder- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,40
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: 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.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 59,97
EUR 63,67 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: 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 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.
- Softcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 126,23
EUR 17,51 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: As New. Unread book in perfect condition.
- Softcover
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes KönigreichMispah books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht - Wie neu
EUR 116,62
EUR 29,18 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Paperback. Zustand: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
- Softcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 147,83
EUR 2,28 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: As New. Unread book in perfect condition.
Verlag: Plenum Press (1990), New York / London, 1990
Anbieter: Expatriate Bookshop of Denmark/John Jackson Books, Svendborg, DänemarkExpatriate Bookshop of Denmark/John Jackson Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 57,93
EUR 59,00 VersandVersand von Dänemark nach USAAnzahl: 1 verfügbar
In den Warenkorborig.boards. Zustand: 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 "P…rovability 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.
- Softcover
- Print-on-Demand
Anbieter: Brook Bookstore On Demand, Napoli, NA, ItalienBrook Bookstore On Demand
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 46,22
EUR 6,80 VersandVersand von Italien nach USAAnzahl: Mehr als 20 verfügbar
Zustand: new. Questo è un articolo print on demand.
- Softcover
- Print-on-Demand
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, DeutschlandBuchWeltWeit Ludwig Meier e.K.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 23,00 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Taschenbuch. Zustand: 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' on…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.
- Softcover
- Print-on-Demand
Anbieter: Majestic Books, Hounslow, Vereinigtes KönigreichMajestic Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 80,15
EUR 7,59 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 4 verfügbar
Zustand: 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.
- Softcover
- Print-on-Demand
Anbieter: THE SAINT BOOKSTORE, Southport, Vereinigtes KönigreichTHE SAINT BOOKSTORE
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 69,31
EUR 21,10 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Paperback / softback. Zustand: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
- Softcover
- Print-on-Demand
Anbieter: Biblios, frankfurt am main, HESSE, DeutschlandBiblios
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 80,69
EUR 9,95 VersandVersand von Deutschland nach USAAnzahl: 4 verfügbar
Zustand: New. PRINT ON DEMAND pp. 430.
- Softcover
- Print-on-Demand
Anbieter: moluna, Greven, Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 48,37
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
Zustand: 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.- Constructive…Mathematics and Computer-Assisted Reas.
- Softcover
- Print-on-Demand
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschlandbuchversandmimpf2000
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 60,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: 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 Com…puter-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.
