Matthias Baaz (116 results)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 21.29
£ 2.00 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller4-star sellerCondition: New
£ 23.36
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 23.32
£ 2.00 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Language: English
Published by A K Peters/CRC Press, 2005
- Softcover
Seller: Green Ink Booksellers, Hay-on-Wye, POWYS, United KingdomGreen Ink Booksellers
Contact seller5-star sellerCondition: Used - Very good
£ 14.00
£ 12.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: Very Good. - Minor shelfwear - ow Clean bright tight book 504 pages.
More images- Softcover
Seller: Rarewaves.com USA, London, LONDO, United KingdomRarewaves.com USA
Contact seller5-star sellerCondition: New
£ 29.26
Free ShippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Paperback. Condition: New.
- Hardcover
Seller: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, United KingdomHay-on-Wye Booksellers
Contact seller4-star sellerCondition: Used - Very good
£ 8.70
£ 25.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: Very Good. Some minor shelf wear otherwise in a very good condition, content is excellent throughout.
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
£ 18.53
£ 15.49 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
PF. Condition: New.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 24.45
£ 11.29 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In English.
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 21.01
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
£ 23.65
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Language: English
Published by A K Peters/CRC Press, 2005
- Softcover
Seller: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, United KingdomHay-on-Wye Booksellers
Contact seller4-star sellerCondition: Used - Very good
£ 15.10
£ 25.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: Very Good. Unused. A few light scratches and minor shelf wear on cover. Content is fine.
Logic Colloquium '01 : Proceedings Of The Annual European Summer Meeting Of The Association For Symbolic Logic, Held In Vienna, Austria, August 6-11, 2001
Baaz, Matthias; Friedman, Sy D. (EDT); Krajicek, Jan; Logic Colloquium (2001 Vienna, Austria)
Language: English
Published by A K Peters/CRC Press, 2005
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 45.43
£ 2.00 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Language: English
Published by A K Peters/CRC Press, 2005
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller4-star sellerCondition: New
£ 47.50
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Logic Colloquium '01 : Proceedings Of The Annual European Summer Meeting Of The Association For Symbolic Logic, Held In Vienna, Austria, August 6-11, 2001
Baaz, Matthias; Friedman, Sy D. (EDT); Krajicek, Jan; Logic Colloquium (2001 Vienna, Austria)
Language: English
Published by A K Peters/CRC Press, 2005
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 47.62
£ 2.00 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Hardcover
Seller: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, United KingdomHay-on-Wye Booksellers
Contact seller4-star sellerCondition: Used - Very good
£ 25.00
£ 25.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: Very Good. New/unused condition with small scuffs and scratches to the cover. The content is in new condition.
Language: English
Published by A.K. Peters, Limited, 2005
- Softcover
Seller: Books Puddle, Woodside, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 53.48
£ 3.02 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 504.
- Hardcover
- First Edition
Seller: Samuel S Lin, Etobicoke, ON, CanadaSamuel S Lin
Contact seller5-star sellerCondition: Used - Fine
£ 52.95
£ 4.46 shippingShips from Canada to U.S.A.Quantity: 1 available
Hardcover. Condition: Fine. No Jacket. 1st Edition. 486 pages. Hardcover without dust jacket as issued. Lecture Notes in Logic. A like new fine copy.
Language: English
Published by A K Peters/CRC Press, 2005
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 48.33
£ 14.94 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In English.
Logic Colloquium '01 : Proceedings Of The Annual European Summer Meeting Of The Association For Symbolic Logic, Held In Vienna, Austria, August 6-11, 2001
Baaz, Matthias; Friedman, Sy D. (EDT); Krajicek, Jan; Logic Colloquium (2001 Vienna, Austria)
Language: English
Published by A K Peters/CRC Press, 2005
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
£ 48.12
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Logic Colloquium '01 : Proceedings Of The Annual European Summer Meeting Of The Association For Symbolic Logic, Held In Vienna, Austria, August 6-11, 2001
Baaz, Matthias; Friedman, Sy D. (EDT); Krajicek, Jan; Logic Colloquium (2001 Vienna, Austria)
Language: English
Published by A K Peters/CRC Press, 2005
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 48.32
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
Language: English
Published by A K Peters Ltd, 2005
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 59.08
£ 12.50 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. illustrated edition. 496 pages. 8.75x6.00x1.25 inches. In Stock.
More imagesLanguage: English
Published by Cambridge University Press, Cambridge,, 2011
- Hardcover
- First Edition
Seller: Burwood Books, Wickham Market, United KingdomBurwood Books
Contact seller5-star sellerAssociation member: PBFA
Condition: Used - Fine
£ 50.00
£ 22.50 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Hardcover. Condition: Fine. First Edition. Hardback. Large 8vo. pp 540. 27 by 19 cms. Illustrated laminate boards issued without dust jacket. Fine.
Logic Colloquium '01 : Proceedings Of The Annual European Summer Meeting Of The Association For Symbolic Logic, Held In Vienna, Austria, August 6-11, 2001
Baaz, Matthias; Friedman, Sy D. (EDT); Krajicek, Jan; Logic Colloquium (2001 Vienna, Austria)
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 73.86
£ 2.00 shippingShips within U.S.A.Quantity: 1 available
Condition: As New. Unread book in perfect condition.
Kurt Godel and the Foundations of Mathematics : Horizons of Truth
Baaz, Matthias (EDT); Papadimitriou, Christos H. (EDT); Putnam, Hilary W. (EDT); Scott, Dana S. (EDT); Harper, Charles L., Jr. (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 77.36
£ 2.00 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller4-star sellerCondition: New
£ 79.42
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 53.61
£ 30.10 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - ThisvolumecontainsthepaperspresentedattheNinthInternationalC- ferenceonLogicforProgramming,Arti cialIntelligence,andReasoning(LPAR 2002),heldonOctober14 18,2002,attheUniversityofTbilisi(Georgia),- getherwiththeThirdInternationalWorkshoponImplementationofLogics. Therewere68submissions,ofwhicheightbelongedtothespecialsubmission categoryofexperimentalpapers,intendedtodescribeimplementationsorc- parisonsofsystems,orexperimentswithsystems. Eachsubmissionwasreviewed byatleastthreeprogramcommitteemembersandanelectronicprogramc- mitteemeetingwasheldviatheInternet. Thenumberofsubmissionsandshort reviewingperiodcausedalargeamountofwork,andweareverygratefultothe other22PCmembersfortheire ciencyandforthequalityoftheirreviewsand discussions. Finally,thecommitteedecidedtoaccept30papers. Theprogramme alsoincludesthreeinvitedlecturesandapostersession. Apartfromtheprogrammecomittee,wewouldalsoliketothanktheother people who made LPAR 2002 possible: the additional referees, and the local arrangementschairsKhimuriRhukia,KotePhakadze,GelaChankvetadze,and JemalAntidze. TheInternet-basedsubmissionsoftwareandtheprogramcommitteedisc- sionsoftwarewereprovidedbythesecondco-chair. August2002 MatthiasBaaz AndreiVoronkov ConferenceOrganization ProgramChairs MatthiasBaaz(TechnischeUniversit atWien) AndreiVoronkov(UniversityofManchester) ProgramCommittee ElviraAlbert(UniversidadPolitecnicadeValencia) FranzBaader(TechnischeUniversit atDresden) MauriceBruynooghe(KatholiekeUniversiteitLeuven) PatrickCousot(ENSParis) MaartendeRijke(UniversityofAmsterdam) HaraldGanzinger(Max-PlanckInstitut,Saarbruc ken) JeanGoubault-Larrecq(ENSdeCachan) MikiHermann(EcolePolytechnique) MatejaJamnik(UniversityofCambridge) NeilJones(KøbenhavnsUniversitet) DeepakKapur(UniversityofNewMexico) MaurizioLenzerini(Universit`adiRoma LaSapienza ) GiorgioLevi(Universit`adiPisa) LeonidLibkin(UniversityofToronto) RobertNieuwenhuis(TechnicalUniversityofCatalonia) LeszekPacholski(WroclawskiUniwersytet) MichelParigot(Universit eParis7) PavelPudlak(MathematicalInstitute,Prague) CarstenSchuermann(YaleUniversity) J orgSiekmann(DFKISaarbruc ken) WolfgangThomas(RWTHAachen) MichaelZakharyaschev(King sCollege) LocalOrganization KhimuriRhukia KotePhakadze GelaChankvetadze JemalAntidze VIII ConferenceOrganization ListofReferees GianlucaAmato CarlosAreces M. Arenas OferArieli RobertoBarbuti ChristophBenzmueller MartaBilkova BrunoBlanchet AlexandreBoisseau AhmedBouajjani DmitriChubarov PabloCordero VeroniqueCortier AgostinoDovier RachidEchahed MorenoFalaschi C`esarFerri OlivierGasquet BernhardGramlich Jos eManuelG omez PhilippedeGroote RainerHaehnle JiriHanika JuanHeguiabehere JoseHernandez-Orallo ThomasHillenbrand JoeHurd EmilJerabek ValentinJijkoun KonstantinKorovin G. Lakemeyer DominiqueLarchey-Wendling OlivierLaurent StefanLeue LuigiLiquori ChristofLoeding CarstenLutz ChristopherLynch PatrickMaier PaoloMancarella FlorenceMaraninchi MaartenMarx Jesus Medina EricaMelis AntoineMin e RalfM oller PaulinDeNaurois HansdeNivelle MichaelNorrish ManuelOjeda-Aciego NikolayPelov GuyPerrier ReinhardPichler ChristopherPollett Germ anPuebla Jean-PierreRessayre ChristianRetor e AlexandreRiazanov MichalRossler PaulRozi`ere NikitaSakhanenko UlrikeSattler StefanSchlobach ManfredSchmidt-Schauß KonradSlind Anni-YasminTurhan ChristianUrban WimVanhoof YdeVenema So eVerbaeten UweWaldmann KlausWeich ClausPeterWirth StefanWoehrle ConferenceOrganization IX ConferencesprecedingLPAR2001 RCLP 90,Irkutsk,SovietUnion RCLP 91,Leningrad,SovietUnion,aboardtheship MichailLomonosov LPAR 92,St. Petersburg,Russia,aboardtheship MichailLomonosov LPAR 93,St. Petersburg,Russia LPAR 94,Kiev,Ukraine,aboardtheship MarshalKoshevoi LPAR 99,Tbilisi,RepublicofGeorgia LPAR2000,ReunionIsland,France LPAR2001,Havana,Cuba TableofContents ImprovingOn-DemandStrategyAnnotations . . . . . . . . . . . . . . . . . . . . . . . . . 1 M. Alpuente,S. Escobar,B. Gramlich,S. Lucas First-OrderLogicasaConstraintProgrammingLanguage. . . . . . . . . . . . . . …
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
£ 65.86
£ 15.49 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
Paperback. Condition: New.
- Hardcover
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.Grand Eagle Retail
Contact seller5-star sellerCondition: New
£ 85.78
Free ShippingShips within U.S.A.Quantity: 1 available
Hardcover. Condition: new. Hardcover. A compilation of papers presented at the 2001 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '01 includes surveys and research articles from some of the world's preeminent logicians. Two long articles are based on tutorials given at the meeting and present accessible expositions of research in two active areas of logic, geometric model theory and descriptive set theory of group actions. The remaining articles cover seperate research topics in many areas of mathematical logic, including applications in Computer Science, Proof Theory, Set Theory, Model Theory, Computability Theory, and aspects of Philosophy. This collection will be of interest not only to specialists in mathematical logic, but also to philosophical logicians, historians of logic, computer scientists, formal linguists and mathematicians in the areas of algebra, abstract analysis and topology. A number of the articles are aimed at non-specialists and serve as good introductions for graduate students. A compilation of papers presented at the 2001 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '01 includes surveys and research articles from some of the world's preeminent logicians Shipping may be from multiple locations in the US or from the UK, depending on stock availability.…
Logic Colloquium '01 : Proceedings Of The Annual European Summer Meeting Of The Association For Symbolic Logic, Held In Vienna, Austria, August 6-11, 2001
Baaz, Matthias; Friedman, Sy D. (EDT); Krajicek, Jan; Logic Colloquium (2001 Vienna, Austria)
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 83.74
£ 2.00 shippingShips within U.S.A.Quantity: 1 available
Condition: New.
Kurt Godel and the Foundations of Mathematics : Horizons of Truth
Baaz, Matthias (EDT); Papadimitriou, Christos H. (EDT); Putnam, Hilary W. (EDT); Scott, Dana S. (EDT); Harper, Charles L., Jr. (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 68.34
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
