Order Total (1 Item Items):
Shipping Destination:
Kohlenbach Ulrich (72 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (72)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (61)
- As New, Fine or Near Fine (8)
- Very Good or Good (3)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (35)
- Not Print on Demand (39)
Language (2)
Free Shipping
Seller Location
Seller Rating
-
Theorie der majorisierbaren und stetigen Funktionale und ihre Anwendung bei der Extraktion von Schranken aus inkonstruktiven Beweisen : effektive Eindeutigkeitsmodule bei besten Approximationen aus ineffektiven Eindeutigkeitsbeweisen. Dissertation.
Published by Frankfurt (Main), 1990
Seller: Wissenschaftliches Antiquariat Köln Dr. Sebastian Peters UG, Köln, Germany
Seller rating 4 out of 5 stars
Broschur. Condition: gut. XXII, 278 S. : graph. Darst. ; 21 cm, Ecke leicht geknickt. Sprache: deu.
-
Logic Colloquium 2007 (Lecture Notes in Logic, Series Number 35)
Language: English
Published by Cambridge University Press, 2014
ISBN 10: 1107696771 ISBN 13: 9781107696778
Condition: New.
-
Condition: As New. Unread book in perfect condition.
-
-
Logic Colloquium 2007 (Lecture Notes in Logic, Series Number 35)
Language: English
Published by Cambridge University Press, 2014
ISBN 10: 1107696771 ISBN 13: 9781107696778
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 55.57
US$ 16.16 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Logic Colloquium 2007 (Lecture Notes in Logic)
Language: English
Published by Cambridge University Press 2014-03-06, 2014
ISBN 10: 1107696771 ISBN 13: 9781107696778
US$ 54.67
US$ 20.90 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPaperback. Condition: New.
-
US$ 59.02
US$ 20.90 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPaperback. Condition: New.
-
Logic, Language, Information, and Computation: 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings (Theoretical Computer Science and General Issues)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 61.56
US$ 16.16 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Logic, Language, Information, and Computation: 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings (Theoretical Computer Science and General Issues)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 61.56
US$ 16.16 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
-
Logic, Language, Information, and Computation : 21st International Workshop, Wollic 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 61.55
US$ 20.24 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Logic, Language, Information, and Computation : 21st International Workshop, Wollic 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 69.28
US$ 20.24 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Logic Colloquium 2007 (Lecture Notes in Logic, Series Number 35)
Language: English
Published by Cambridge University Press, 2010
ISBN 10: 0521760658 ISBN 13: 9780521760652
hardcover. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
-
Logic, Language, Information, and Computation : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings
Language: English
Published by Springer Berlin Heidelberg, 2013
ISBN 10: 3642399916 ISBN 13: 9783642399916
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 20th Workshop on Logic, Language, Information and Communication, WoLLIC 2013, held in Darmstadt, Germany, in August 2013. The 17 contributed papers presented together with 6 invited lectures were carefully reviewed and selected from 30 submissions. The scope of the workshop spans the theoretical and practical aspects of formal logic, computing and programming theory, and natural language and reasoning.
-
Logic, Language, Information, and Computation
Language: English
Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Aug 2013, 2013
ISBN 10: 3642399916 ISBN 13: 9783642399916
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware -Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 20th Workshop on Logic, Language, Information and Communication, WoLLIC 2013, held in Darmstadt, Germany, in August 2013. The 17 contributed papers presented together with 6 invited lectures were carefully reviewed and selected from 30 submissions. The scope of the workshop spans the theoretical and practical aspects of formal logic, computing and programming theory, and natural language and reasoning.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 296 pp. Englisch.
-
Logic, Language, Information, and Computation : 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings
Language: English
Published by Springer Berlin Heidelberg, 2014
ISBN 10: 3662441446 ISBN 13: 9783662441442
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 21st Workshop on Logic, Language, Information and Communication, WoLLIC 2014, held in Valparaiso, Chile, in September 2014. The 15 contributed papers presented together with 6 invited lectures were carefully reviewed and selected from 29 submissions. The focus of the workshop was on the following subjects Inter-Disciplinary Research involving Formal Logic, Computing and Programming Theory, and Natural Language and Reasoning.
-
Logic, Language, Information, and Computation
Language: English
Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Jul 2014, 2014
ISBN 10: 3662441446 ISBN 13: 9783662441442
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware -Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 21st Workshop on Logic, Language, Information and Communication, WoLLIC 2014, held in Valparaiso, Chile, in September 2014. The 15 contributed papers presented together with 6 invited lectures were carefully reviewed and selected from 29 submissions. The focus of the workshop was on the following subjects Inter-Disciplinary Research involving Formal Logic, Computing and Programming Theory, and Natural Language and Reasoning.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 260 pp. Englisch.
-
Applied Proof Theory: Proof Interpretations and their Use in Mathematics (Springer Monographs in Mathematics)
Book 51 of 187: Springer Monographs in MathematicsSeller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 131.48
US$ 16.16 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Applied Proof Theory: Proof Interpretations and their Use in Mathematics
Book 51 of 187: Springer Monographs in MathematicsUS$ 132.12
US$ 20.90 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPF. Condition: New.
-
Logic Colloquium 2007
Language: English
Published by Cambridge University Press, 2014
ISBN 10: 1107696771 ISBN 13: 9781107696778
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The Annual European Meeting of the Association for Symbolic Logic, also known as the Logic Colloquium, is among the most prestigious annual meetings in the field. The current volume, Logic Colloquium 2007, with contributions from plenary speakers and selected special session speakers, contains both expository and research papers by some of the best logicians in the world. This volume covers many areas of contemporary logic: model theory, proof theory, set theory, and computer science, as well as philosophical logic, including tutorials on cardinal arithmetic, on Pillay's conjecture, and on automatic structures. This volume will be invaluable for experts as well as those interested in an overview of central contemporary themes in mathematical logic.
-
Logic Colloquium 2007
Language: English
Published by Cambridge University Press, 2010
ISBN 10: 0521760658 ISBN 13: 9780521760652
Condition: New.
-
Logic Colloquium 2007 (Lecture Notes in Logic, Series Number 35)
Language: English
Published by Cambridge University Press, 2010
ISBN 10: 0521760658 ISBN 13: 9780521760652
Condition: New.
-
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 296 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
-
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 296 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
-
-
Applied Proof Theory: Proof Interpretations and their Use in Mathematics (Springer Monographs in Mathematics)
Book 51 of 187: Springer Monographs in MathematicsSeller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 158.83
US$ 16.16 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Logic Colloquium 2007 (Lecture Notes in Logic, Series Number 35)
Language: English
Published by Cambridge University Press, 2010
ISBN 10: 0521760658 ISBN 13: 9780521760652
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 158.84
US$ 16.16 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Logic Colloquium 2007
Language: English
Published by Cambridge University Press, 2010
ISBN 10: 0521760658 ISBN 13: 9780521760652
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 158.83
US$ 20.24 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Applied Proof Theory: Proof Interpretations and their Use in Mathematics (Springer Monographs in Mathematics)
Book 51 of 187: Springer Monographs in MathematicsUS$ 165.36
US$ 33.73 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketHardcover. Condition: Like New. Like New. book.
-
US$ 212.28
US$ 16.86 shipping
Ships from United Kingdom to U.S.A.Quantity: 2 available
Add to basketHardcover. Condition: Brand New. 1st edition. 267 pages. 9.50x6.25x0.75 inches. In Stock.
