Order Total (1 Item Items):
Shipping Destination:
Tugue (28 results)
Author:
tugue
Refine with Advanced Search
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (28)
- 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 (15)
- As New, Fine or Near Fine (3)
- Very Good or Good (7)
- Fair or Poor (No further results match this refinement)
- As Described (3)
Binding
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (1)
- Seller-Supplied Images (14)
- Not Print on Demand (20)
Language (3)
Free Shipping
- Free Shipping to U.S.A. (No further results match this refinement)
Seller Location
Seller Rating
-
Soft cover. Condition: Very Good. A little shelf wear to covers. Otherwise a square, tight, unmarked book.
-
Paperback. Condition: Very Good.
-
Logic Symposia, Hakone, 1979, 1980: Proceedings of Conferences Held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 Lecture Notes in Mathematics, 891
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germany
Seller rating 5 out of 5 stars
Broschiert. Condition: Gut. 394 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: 670.
-
Softcover. 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-01534 3540111611 Sprache: Englisch Gewicht in Gramm: 1050.
-
Mathematical Logic and Applications: Proceedings of the Logic Meeting Held in Kyoto, 1987 (Lecture Notes in Mathematics) [Oct 01, 1989] Logic Meeting (1987 Kyoto, Japan); Slaman, T. A.; Shinoda, J.; Tugue, T. and Tugue, T.
Seller: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. Minor shelfwear to covers and extremities of book, previous owners signature on title page, otherwise fine.
-
Softcover. Ex-library with stamp and library-signature. GOOD condition, some traces of use. C-03613 3540515275 Sprache: Englisch Gewicht in Gramm: 550.
-
Logic Symposia, Hakone, 1979, 1980: Proceedings of Conferences Held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 (Lecture Notes in Mathematics, 891)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 41.28
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
-
Condition: New. pp. 236.
-
Mathematical Logic and Applications: Proceedings of the Logic Meeting held in Kyoto, 1987 (Lecture Notes in Mathematics, 1388)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 46.36
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
-
Hard cover. Condition: Good. No jacket. For French readers. Cover is sunned from the top and outer edge. The spine and part of the back cover are also sunned, none affecting any legibility. The top and bottom corner edges are bumped. Spine is slightly cocked, but binding is secure. inside is clean and unmarked.
-
Logic Symposia, Hakone, 1979, 1980 : Proceedings of Conferences Held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980
Language: English
Published by Springer, Springer Vieweg, 1981
ISBN 10: 3540111611 ISBN 13: 9783540111610
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Various kinds of Aronszajn tree with no subtree of a different kind.- On set theories in toposes.- A representation for Spector second order classes in computation theories on two types.- Precipitousness of the ideal of thin sets on a measurable cardinal.- Axiom systems of nonstandard set theory.- Semi-formal finitist proof of the transfinite induction in an initial segment of Cantor's second number class.- On the length of proofs in a formal system of recursive arithmetic.- Homogeneous formulas and definability theorems.- Boolean valued combinatorics.- Undecidability of extensions of the monadic first-order theory of successor and two-dimensional finite automata.- Sections and envelopes of type 2 objects.- Heyting valued universes of intuitionistic set theory.- Independence of a problem in elementary analysis from set theory.- Intuitionistic theories and toposes.- The Hahn-Banach theorem and a restricted inductive definition.
-
Mathematical Logic and Applications : Proceedings of the Logic Meeting held in Kyoto, 1987
Language: English
Published by Springer, Springer Vieweg, 1989
ISBN 10: 3540515275 ISBN 13: 9783540515272
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - These proceedings include the papers presented at the logic meeting held at the Research Institute for Mathematical Sciences, Kyoto University, in the summer of 1987. The meeting mainly covered the current research in various areas of mathematical logic and its applications in Japan. Several lectures were also presented by logicians from other countries, who visited Japan in the summer of 1987.
-
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 408 | Sprache: Englisch | Produktart: Bücher | Various kinds of Aronszajn tree with no subtree of a different kind.- On set theories in toposes.- A representation for Spector second order classes in computation theories on two types.- Precipitousness of the ideal of thin sets on a measurable cardinal.- Axiom systems of nonstandard set theory.- Semi-formal finitist proof of the transfinite induction in an initial segment of Cantor's second number class.- On the length of proofs in a formal system of recursive arithmetic.- Homogeneous formulas and definability theorems.- Boolean valued combinatorics.- Undecidability of extensions of the monadic first-order theory of successor and two-dimensional finite automata.- Sections and envelopes of type 2 objects.- Heyting valued universes of intuitionistic set theory.- Independence of a problem in elementary analysis from set theory.- Intuitionistic theories and toposes.- The Hahn-Banach theorem and a restricted inductive definition.
-
Paperback. Condition: Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Paperback. Condition: Like New. Like New. book.
-
paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Logic Symposia : Hakone 1979, 1980 , proceedings of conferences held in Hakone, Japan, March 21 - 24, 1979 and February 4 - 7, 1980. ed. by G. H. Müller ., Lecture notes in mathematics , Vol. 891
Language: German
Published by Berlin , Heidelberg , New York : Springer,, 1981
ISBN 10: 3540111611 ISBN 13: 9783540111610
Seller: Die Wortfreunde - Antiquariat Wirthwein Matthias Wirthwein, Mannheim, Germany
Seller rating 5 out of 5 stars
kart. XI, 394 S. , 25 cm 1981. Neuwertiges Exemplar. Sprache: Deutsch.
-
Logic Symposia, Hakone, 1979, 1980: Proceedings of Conferences Held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 (Lecture Notes in Mathematics, 891, Band 891)
Seller: Versandantiquariat Felix Mücke, Grasellenbach - Hammelbach, Germany
Seller rating 5 out of 5 stars
paperback. Condition: Befriedigend. 408 Seiten; Artikel stammt aus Nichtraucherhaushalt! Q18784 Sprache: Deutsch Gewicht in Gramm: 1.
-
Logic Symposia, Hakone, 1979, 1980
Language: English
Published by Springer Berlin Heidelberg Nov 1981, 1981
ISBN 10: 3540111611 ISBN 13: 9783540111610
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Various kinds of Aronszajn tree with no subtree of a different kind.- On set theories in toposes.- A representation for Spector second order classes in computation theories on two types.- Precipitousness of the ideal of thin sets on a measurable cardinal.- Axiom systems of nonstandard set theory.- Semi-formal finitist proof of the transfinite induction in an initial segment of Cantor's second number class.- On the length of proofs in a formal system of recursive arithmetic.- Homogeneous formulas and definability theorems.- Boolean valued combinatorics.- Undecidability of extensions of the monadic first-order theory of successor and two-dimensional finite automata.- Sections and envelopes of type 2 objects.- Heyting valued universes of intuitionistic set theory.- Independence of a problem in elementary analysis from set theory.- Intuitionistic theories and toposes.- The Hahn-Banach theorem and a restricted inductive definition. 408 pp. Englisch.
-
Condition: New. Print on Demand pp. 236 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
-
Mathematical Logic and Applications
Language: English
Published by Springer Berlin Heidelberg Aug 1989, 1989
ISBN 10: 3540515275 ISBN 13: 9783540515272
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -These proceedings include the papers presented at the logic meeting held at the Research Institute for Mathematical Sciences, Kyoto University, in the summer of 1987. The meeting mainly covered the current research in various areas of mathematical logic and its applications in Japan. Several lectures were also presented by logicians from other countries, who visited Japan in the summer of 1987. 236 pp. Englisch.
-
Condition: New. PRINT ON DEMAND pp. 236.
-
Logic Symposia, Hakone, 1979, 1980
Language: English
Published by Springer Berlin Heidelberg, 1981
ISBN 10: 3540111611 ISBN 13: 9783540111610
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Various kinds of Aronszajn tree with no subtree of a different kind.- On set theories in toposes.- A representation for Spector second order classes in computation theories on two types.- Precipitousness of the ideal of thin sets on a measurable cardinal.- .
-
Mathematical Logic and Applications
Language: English
Published by Springer Berlin Heidelberg, 1989
ISBN 10: 3540515275 ISBN 13: 9783540515272
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. These proceedings include the papers presented at the logic meeting held at the Research Institute for Mathematical Sciences, Kyoto University, in the summer of 1987. The meeting mainly covered the current research in various areas of mathematical logic and.
-
Logic Symposia, Hakone, 1979, 1980
Language: English
Published by Springer, Springer Vieweg Nov 1981, 1981
ISBN 10: 3540111611 ISBN 13: 9783540111610
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Various kinds of Aronszajn tree with no subtree of a different kind.- On set theories in toposes.- A representation for Spector second order classes in computation theories on two types.- Precipitousness of the ideal of thin sets on a measurable cardinal.- Axiom systems of nonstandard set theory.- Semi-formal finitist proof of the transfinite induction in an initial segment of Cantor's second number class.- On the length of proofs in a formal system of recursive arithmetic.- Homogeneous formulas and definability theorems.- Boolean valued combinatorics.- Undecidability of extensions of the monadic first-order theory of successor and two-dimensional finite automata.- Sections and envelopes of type 2 objects.- Heyting valued universes of intuitionistic set theory.- Independence of a problem in elementary analysis from set theory.- Intuitionistic theories and toposes.- The Hahn-Banach theorem and a restricted inductive definition.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 408 pp. Englisch.
-
Mathematical Logic and Applications
Language: English
Published by Springer, Springer Vieweg Aug 1989, 1989
ISBN 10: 3540515275 ISBN 13: 9783540515272
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -These proceedings include the papers presented at the logic meeting held at the Research Institute for Mathematical Sciences, Kyoto University, in the summer of 1987. The meeting mainly covered the current research in various areas of mathematical logic and its applications in Japan. Several lectures were also presented by logicians from other countries, who visited Japan in the summer of 1987.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 236 pp. Englisch.
