Logic colloquium proceedings (70 Ergebnisse)

Broschiert. Zustand: Gut. 475 Seiten Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel.); leichte altersbedingte Anbräunung des Papiers; der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. Einbandkanten sind leicht bestoßen. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 790.…

Broschiert. Zustand: Gut. 383 Seiten Das hier angebotene Buch stammt aus einer teilaufgelösten Bibliothek und kann die entsprechenden Kennzeichnungen aufweisen (Rückenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 590. …

Paperback. Zustand: Very Good. Paperback in very good condition. From the offices of Bell Northern Europe. Lecture Notes in Computer Science; 713. Minor shelfwear to the cover. Label on inside front cover; stamp on half title page. The binding is sound with clear content throughout. CM. Used.

Hardcover. Zustand: Very Good. 331 pages, hardback (publisher's yellow cloth), a very good ex-library copy (no dust-jacket) of a book in the Studies in Logic and the Foundations of Mathematics series.

Broschiert. Zustand: Gut. 484 Seiten; Das hier angebotene Buch stammt aus einer teilaufgelösten Bibliothek und kann die entsprechenden Kennzeichnungen aufweisen (Rückenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 810. …

24 x 16,5 cm. Zustand: Gut. Lecture Notes in Mathematics 500. VIII, 383 Pages ; With Illustrations Innen sauberer, guter Zustand. Softcover, Broschur mit den üblichen Bibliotheks-Markierungen, Stempeln und Einträgen, innen wie außen, siehe Bilder. (Evtl. auch Kleber- und/oder Etikettenreste, sowie -abdrücke durch abgelöste Bibliotheksschilder). Einband angestaubt und Papierbedingt leicht gebräunt. Englische Sprache - Original Paperback with Library label. Shop-soiled. Inside with Library stamps, Paper little bronzy, in good condition. English Language MIG-27-02A|S25 Sprache: Englisch Gewicht in Gramm: 560.…

hardcover. Zustand: Good.

Softcover. Zustand: Gut. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. C-01855 3540075348 Sprache: Englisch Gewicht in Gramm: 1150.

331 S./pp., Originalleineneinband (publisher's cloth binding), Bibliotheksexemplar in gutem Zustand / exlibrary in good condition (Stempel auf Titel / title stamped, Stempel auf Schnitt / edges stamped, Rückenschildchen / lettering pannel to the spine, Block gut / contents clean, keine Unterstreichungen oder Anstreichungen / no underlining or remarks, nicht in Folie eingeschlagen / not wrapped up in foil), (Studies in Logic and the Foundations of Mathematics), Sprache: englisch.…

Zustand: Poor. Volume 2. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In poor condition, suitable as a reading copy. No dust jacket. Re-bound by library. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,850grams, ISBN.…

Hardcover. Zustand: Fine. xi, 408 p. : ill. Series: Lecture notes in logic ; 19. Boards and backstrip bright, corners sharp; internally as new.690 grams.

Softcover. Zustand: Gut. 1984 edition. Ex-library with stamp and library-signature. GOOD condition, some traces of use. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. C-04407 354013901X Sprache: Englisch Gewicht in Gramm: 1150.

Hardcover. Zustand: ex library-good. Studies in Logic and the Foundations of Mathematics. 320 p. 23 cm. Yellow cloth. Ex library with labels on spine and rear pastedown, ink stamp on title. Spine label worn, some soiling to cloth.

Hardcover. Zustand: Very Good. Dust Jacket Included. 298 pages, a very good hardback in a very good dust-jacket.

Softcover. Zustand: Gut. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. C-01753 354007533X Sprache: Englisch Gewicht in Gramm: 1150.

Softcover. Zustand: Gut. Ex-library with stamp and library-signature. GOOD condition, some traces of use. Ancien Exemplaire de bibliothèque avec signature et cachet. BON état, quelques traces d'usure. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. 03 REC 9780521235433 Sprache: Englisch Gewicht in Gramm: 550.…

Softcover. Zustand: Gut. Ex-library with stamp and library-signature. GOOD condition, some traces of use. Ancien Exemplaire de bibliothèque avec signature et cachet. BON état, quelques traces d'usure. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. 03 REC 9780521235433 Sprache: Englisch Gewicht in Gramm: 550.…

hardcover. Zustand: Good. Most items will be dispatched the same or the next working day. A copy that has been read but remains in clean condition. All of the pages are intact and the cover is intact and the spine may show signs of wear. The book may have minor markings which are not specifically mentioned. Good condition book. Small tears to the dust jacket. A good copy.…

Softcover. Zustand: Gut. Ex-library with stamp and library-signature. GOOD condition, some traces of use. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. C-05045 3540139001 Sprache: Englisch Gewicht in Gramm: 1150.

320 S., Originalleineneinband (publisher's cloth binding), Bibliotheksexemplar von guter Erhaltung/fine exlibrary, keine Unterstreichungen oder Anmerkungen/no underlinings or remarks, (Studies in Logic and the Foundations of Mathematics), Sprache: englisch.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

Cloth. Zustand: Good. Zustand des Schutzumschlags: Good. Type: Book Small label inside cover.Slight tearing to head of d/j spine.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Verzeichnis der Publikationen von Kurt Schütte.- Normalfunktionen und Konstruktive Systeme von Ordinalzahlen.- Sound functors.- A study of generalized standardization in combinatory logic.- Intensionale Funktionalinterpretation der Analysis.- Non-extensional type-free theories of partial operations and classifications, I.- Kombinatorische Konstruktionen mit Beweisen und Schnittelimination.- Calculability of the primitive recursive functionals of finite type over the natural numbers.- Observations on a recent generalization of completeness theorems due to Schütte.- Strong normalization for arithmetic.- Intuitionistic completeness of a restricted second-order logic.- The real elements in a consistency proof for simple type theory I.- Church Rosser Theorem für -Kalküle mit Unendlich Langen Termen.- Über Skolemerweiterungen in der Intuitionistichen Logik mit Gleichheit.- Eine Variante des Bezeichnungssystems W(X) für Ordinalzahlen.- An upper bound for the provability of transfinite induction in systems with N-times iterated inductive definitions.- Comments on gentzen-type procedures and the classical notion of truth.- Bemerkungen zu Regel und Schema.- Infinite terms and recursion in higher types.- Consistency proofs and ordinals.- Markov's principle and Markov's rule for theores of choice sequences.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Models and equality for logical programming.- Fifth generation computer project: Current research activity and future plans.- A compositive abstraction algorithm for combinatory logic.- Linear logic and lazy computation.- The natural dynamic semantics of mini-Standard ML.- Listlog - A PROLOG extension for list processing.- Intensional negation of logic programs: Examples and implementation techniques.- Improving the execution speed of compiled Prolog with modes, clause selection, and determinism.- Simulation results of a multiprocessor PROLOG architecture based on a distributed and/or graph.- Generating efficient code from strictness annotations.- Hoisting: Lazy evaluation in a cold climate.- Inductive assertion method for logic programs.- Higher order generalization in program derivation.- Implementing algebraically specified abstract data types in an imperative programming language.- A declarative environment for concurrent logic programming.- Or-parallel execution models of Prolog.- Retractions: A functional paradigm for logic programming.- Refined strategies for semantic unification.- Extensional models for polymorphism.- A type discipline for program modules.- Theory and practice of canonical term functors in abstract data type specifications.…

Zustand: New. In English.

Zustand: New. In English.

Paperback. Zustand: Brand New. 408 pages. 8.75x6.00x1.25 inches. In Stock.

Zustand: New. In English.