Order Total (1 Item Items):
Shipping Destination:
Scedrov a (30 results)
Author:
scedrov a
Refine with Advanced Search
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (30)
- 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 (17)
- As New, Fine or Near Fine (4)
- Very Good or Good (3)
- Fair or Poor (No further results match this refinement)
- As Described (6)
Binding
Collectible Attributes
- First Edition (3)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (21)
- Not Print on Demand (27)
Language (2)
Free Shipping
Seller Location
Seller Rating
-
Soft cover. Condition: Very Good. 162 pages, a very good plus paperback, ex-university library [3540527346].
-
LOGIC AND COMPUTER SCIENCE Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) Held at Montecatini Terme 1988 (Lecture Notes in Mathematics 1429)
Language: English
Published by Springer, 1990. 9783540527343, 1990
ISBN 10: 3540527346 ISBN 13: 9783540527343
Seller: Rothwell & Dunworth (ABA, ILAB), Dulverton, United Kingdom
Seller rating 5 out of 5 stars
8vo. Original printed card covers (softback) (VG). Pp. 162 (pages tanned; previous owner's neat inscription on front endpaper).
-
Annals of pure and applied logic (Formerly: Annals of Mathematical Logic). Volume 32, Number 3, November 1986
Published by Amsterdam - 1986, 1986
Ed. North-Holland, Amsterdam - 1986, in-8, broché, 105 pages (table des matières sur la photo) Bon état - Pour les envois hors de France, la tafication Ğlivre & brochureğ pour les frais de port a disparue.Les frais de port annoncés correspondent à une moyenne. Ils seront calculés au plus juste en fonction du poids de votre article.
-
Annals of pure and applied logic (Formerly: Annals of Mathematical Logic). Volume 32, Number 1, September 1986
Published by Amsterdam - 1986, 1986
Ed. North-Holland, Amsterdam - 1986, in-8, broché, 109 pages (table des matières sur la photo) Bon état - Pour les envois hors de France, la tafication Ğlivre & brochureğ pour les frais de port a disparue.Les frais de port annoncés correspondent à une moyenne. Ils seront calculés au plus juste en fonction du poids de votre article.
-
Annals of pure and applied logic (Formerly: Annals of Mathematical Logic). Volume 30, Number 2, February 1986
Published by Amsterdam - 1986, 1986
Ed. North-Holland, Amsterdam - 1986, in-8, broché, 104 pages (table des matières sur la photo) Bon état - Pour les envois hors de France, la tafication Ğlivre & brochureğ pour les frais de port a disparue.Les frais de port annoncés correspondent à une moyenne. Ils seront calculés au plus juste en fonction du poids de votre article.
-
Annals of pure and applied logic (Formerly: Annals of Mathematical Logic). Volume 27, Number 1, August 1984
Published by Amsterdam - 1984, 1984
Ed. North-Holland, Amsterdam - 1984, in-8, broché, 107 pages (table des matières sur la photo) Bon état - Pour les envois hors de France, la tafication Ğlivre & brochureğ pour les frais de port a disparue.Les frais de port annoncés correspondent à une moyenne. Ils seront calculés au plus juste en fonction du poids de votre article.
-
Annals of pure and applied logic (Formerly: Annals of Mathematical Logic). Volume 25, Number 2, November 1983
Published by Amsterdam - 1983, 1983
Ed. North-Holland, Amsterdam - 1983, in-8, broché, 110 pages (table des matières sur la photo) Bon état - Pour les envois hors de France, la tafication Ğlivre & brochureğ pour les frais de port a disparue.Les frais de port annoncés correspondent à une moyenne. Ils seront calculés au plus juste en fonction du poids de votre article.
-
Logic and Computer Science
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 1990
ISBN 10: 3540527346 ISBN 13: 9783540527343
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New. 1990 ed. The courses given at the 1st CIME Summer school of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five expository papers and cover such topics as isomorphism conjecture and its generalization, intuitionistic logic and PROLOG programming.
-
Condition: As New. Unread book in perfect condition.
-
Harvey Friedman's Research on the Foundations of Mathematics (STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS)
Language: English
Published by Elsevier Science Ltd, 1985
ISBN 10: 0444878343 ISBN 13: 9780444878342
Condition: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.
-
Condition: New. pp. 316 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam.
-
Categories, Allegories: Volume 39 (North-Holland Mathematical Library)
Language: English
Published by North Holland 1990-11-08, 1990
ISBN 10: 0444703683 ISBN 13: 9780444703682
£ 43.30
£ 15.49 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketHardcover. Condition: New.
-
-
Software Security -- Theories and Systems : Theories and Systems : Tokyo, Japan, November 2002 : Revised Papers
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Harvey Friedman's Research on the Foundations of Mathematics.
Language: English
Published by Amsterdam: North-Holland, 1985., 1985
ISBN 10: 0444878343 ISBN 13: 9780444878342
Seller: Ted Kottler, Bookseller, Redondo Beach, CA, U.S.A.
Seller rating 3 out of 5 stars
First Edition
Hardcover. Condition: Near Fine. No Jacket. 1st Edition. FIRST EDITION. Original cloth. Near Fine. Studies in Logic and the Foundations of Mathematics 117.
-
Harvey Friedman's Research on the Foundations of Mathematics
Language: English
Published by North-Holland Publishing Company, Amsterdam - New York - Oxford, 1985
ISBN 10: 0444878343 ISBN 13: 9780444878342
First Edition
Hardcover. Condition: Good. No Jacket. 1st Edition. xvi - 408 pp. North-Holland Publishing Company, Amsterdam - New York - Oxford 1985. First Edition. Hardcover. Studies in Logic and the Foundations of Mathematics - Volume 117. Yellow linen cover. Clean and unmarked inside. Ex-Lib of the Library of the Ghent University: usual numbers, stamps and stickers. Otherwise a good/very good copy.
-
Condition: New. pp. 316.
-
Categories, Allegories
Language: English
Published by Elsevier Science and Technology, US, 1990
ISBN 10: 0444703683 ISBN 13: 9780444703682
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Seller rating 5 out of 5 stars
Hardback. Condition: New. General concepts and methods that occur throughout mathematics - and now also in theoretical computer science - are the subject of this book. It is a thorough introduction to Categories, emphasizing the geometric nature of the subject and explaining its connections to mathematical logic. The book should appeal to the inquisitive reader who has seen some basic topology and algebra and would like to learn and explore further.The first part contains a detailed treatment of the fundamentals of Geometric Logic, which combines four central ideas: natural transformations, sheaves, adjoint functors, and topoi. A special feature of the work is a general calculus of relations presented in the second part. This calculus offers another, often more amenable framework for concepts and methods discussed in part one. Some aspects of this approach find their origin in the relational calculi of Peirce and Schroeder from the last century, and in the 1940's in the work of Tarski and others on relational algebras. The representation theorems discussed are an original feature of this approach.
-
Software Security -- Theories and Systems : Theories and Systems : Tokyo, Japan, November 2002 : Revised Papers
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
Condition: New. pp. 316.
-
Categories, Allegories (Volume 39) (North-Holland Mathematical Library, Volume 39)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 62.32
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Logic and Computer Science
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 1990
ISBN 10: 3540527346 ISBN 13: 9783540527343
Paperback. Condition: New. 1990 ed. The courses given at the 1st CIME Summer school of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five expository papers and cover such topics as isomorphism conjecture and its generalization, intuitionistic logic and PROLOG programming.
-
The Journal of Symbolic Logic | Vol. 57; No. 4; December 1992 | ISSN 0022-4812
Published by Association for Symbolic logic, Inc.; ICSU, Illinois, 61820, 1992
First Edition
Card Covers. Condition: Fine. First Edition. - 252 mm. Printed card covers. Illustrated. Diagrams. Logic equations. Theorems. Lemmas. Proofs. Pp. 1154-1544; viii. Includes abstracts, members, notices and errata. Very mild wear to cover and first few pages o/w fine.
-
Taschenbuch. Condition: Neu. Tools and Methods of Program Analysis | 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers | Vladimir Itsykson (u. a.) | Taschenbuch | Communications in Computer and Information Science | xviii | Englisch | 2017 | Springer | EAN 9783319717333 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Taschenbuch. Condition: Neu. Logic, Language, Information, and Computation | 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings | Helle Hvid Hansen (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxxviii | Englisch | 2023 | Springer | EAN 9783031397837 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Categories, Allegories
Language: English
Published by Elsevier Science and Technology, US, 1990
ISBN 10: 0444703683 ISBN 13: 9780444703682
Hardback. Condition: New. General concepts and methods that occur throughout mathematics - and now also in theoretical computer science - are the subject of this book. It is a thorough introduction to Categories, emphasizing the geometric nature of the subject and explaining its connections to mathematical logic. The book should appeal to the inquisitive reader who has seen some basic topology and algebra and would like to learn and explore further.The first part contains a detailed treatment of the fundamentals of Geometric Logic, which combines four central ideas: natural transformations, sheaves, adjoint functors, and topoi. A special feature of the work is a general calculus of relations presented in the second part. This calculus offers another, often more amenable framework for concepts and methods discussed in part one. Some aspects of this approach find their origin in the relational calculi of Peirce and Schroeder from the last century, and in the 1940's in the work of Tarski and others on relational algebras. The representation theorems discussed are an original feature of this approach.
-
Gebunden. Condition: New.
-
Logic and Computer Science
Language: English
Published by Springer Berlin Heidelberg, 1990
ISBN 10: 3540527346 ISBN 13: 9783540527343
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five expository papers: S. Homer: The Isomorphism Conje.
-
Buch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - General concepts and methods that occur throughout mathematics - and now also in theoretical computer science - are the subject of this book. It is a thorough introduction to Categories, emphasizing the geometric nature of the subject and explaining its connections to mathematical logic. The book should appeal to the inquisitive reader who has seen some basic topology and algebra and would like to learn and explore further.The first part contains a detailed treatment of the fundamentals of Geometric Logic, which combines four central ideas: natural transformations, sheaves, adjoint functors, and topoi. A special feature of the work is a general calculus of relations presented in the second part. This calculus offers another, often more amenable framework for concepts and methods discussed in part one. Some aspects of this approach find their origin in the relational calculi of Peirce and Schroeder from the last century, and in the 1940's in the work of Tarski and others on relational algebras. The representation theorems discussed are an original feature of this approach.
-
Taschenbuch. Condition: Neu. Software Security -- Theories and Systems | Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers | Mitsuhiro Okada (u. a.) | Taschenbuch | xii | Englisch | 2003 | Springer | EAN 9783540007081 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.
