Scedrov a (32 risultati)
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)
HOMER, Steven; Nerode, Anil; Platek, Richard A.; Sacks, Gerald E.; Scedrov, Andre
- Brossura
Da: G. & J. CHESTERS, TAMWORTH, Regno UnitoG. & J. CHESTERS
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 13,34
EUR 8,17 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Soft cover. Condizione: Very Good. 162 pages, a very good plus paperback, ex-university library [3540527346].
- Altre immagini
- Brossura
Da: Rothwell & Dunworth (ABA, ILAB), Dulverton, Regno UnitoRothwell & Dunworth (ABA, ILAB)
Contatta il venditoreVenditore con 5 stelleCondizione: Usato
EUR 12,02
EUR 15,75 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
8vo. Original printed card covers (softback) (VG). Pp. 162 (pages tanned; previous owner's neat inscription on front endpaper).
- Altre immagini
Annals of pure and applied logic (Formerly: Annals of Mathematical Logic). Volume 32, Number 3, November 1986
BUCHHOLZ W., CARTMELL J., DEKKER J. C. E., GUREVICH Y., SHELAH S., MURLY P. S., SCEDROV A.
Editore: Amsterdam - 1986, 1986
- Brossura
Da: Sylvain Paré, Montolieu, FranciaSylvain Paré
Contatta il venditoreVenditore con 5 stelleCondizione: Usato
EUR 10,00
EUR 15,20 spedizioneSpedito da Francia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloEd. 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 artic…le.
- Altre immagini
Annals of pure and applied logic (Formerly: Annals of Mathematical Logic). Volume 32, Number 1, September 1986
BLASS A., GUREVICH Y., DOWNEY R. G., FLAGG R. C., FRIEDMAN H., PILLAY A., POINT F., SCEDROV A.
Editore: Amsterdam - 1986, 1986
- Brossura
Da: Sylvain Paré, Montolieu, FranciaSylvain Paré
Contatta il venditoreVenditore con 5 stelleCondizione: Usato
EUR 10,00
EUR 15,20 spedizioneSpedito da Francia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloEd. 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 artic…le.
- Altre immagini
Editore: Amsterdam - 1986, 1986
- Brossura
Da: Sylvain Paré, Montolieu, FranciaSylvain Paré
Contatta il venditoreVenditore con 5 stelleCondizione: Usato
EUR 10,00
EUR 15,20 spedizioneSpedito da Francia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloEd. 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 artic…le.
- Altre immagini
Annals of pure and applied logic (Formerly: Annals of Mathematical Logic). Volume 27, Number 1, August 1984
FRIEDMAN H., SCEDROV A., PEARCE J., VANDER HOEVEN G., MOERDIJK I.
Editore: Amsterdam - 1984, 1984
- Brossura
Da: Sylvain Paré, Montolieu, FranciaSylvain Paré
Contatta il venditoreVenditore con 5 stelleCondizione: Usato
EUR 10,00
EUR 15,20 spedizioneSpedito da Francia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloEd. 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 artic…le.
- Altre immagini
Annals of pure and applied logic (Formerly: Annals of Mathematical Logic). Volume 25, Number 2, November 1983
BALDWIN S., FRIEDMAN H. M., SCEDROV A., SIMPSON S. G., SMITH R. L., SHELAH S.
Editore: Amsterdam - 1983, 1983
- Brossura
Da: Sylvain Paré, Montolieu, FranciaSylvain Paré
Contatta il venditoreVenditore con 5 stelleCondizione: Usato
EUR 10,00
EUR 15,20 spedizioneSpedito da Francia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloEd. 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 artic…le.
- Altre immagini
Logic and Computer Science
Andre Scedrov, Steven Homer, Anil Nerode, Richard A. Platek, Gerald E. Sacks
Lingua: Inglese
Editore: Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 1990
- Brossura
Da: Rarewaves.com USA, London, LONDO, Regno UnitoRarewaves.com USA
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 49,29
Spedizione gratuitaSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Paperback. Condizione: 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, intuiti…onistic logic and PROLOG programming.
- Altre immagini
Logic and Computer Science. Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme Italy June 20-28 1988.
Homer, Steven; Nerode, Anil; Platek, Richard A.; Sacks, Gerald E.; Scedrov, Andre
- Brossura
Da: Antiquariat Bookfarm, Löbnitz, GermaniaAntiquariat Bookfarm
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 12,00
EUR 40,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Softcover. Condizione: 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-01582 3540527346 Sprache: Englisch Gewicht in Gramm: 550.
- Altre immagini
Software Security -- Theories and Systems : Theories and Systems : Tokyo, Japan, November 2002 : Revised Papers
Okada, M. (EDT); Pierce, B.; Scedrov, A. (EDT); Tokuda, H. (EDT); Yomezawa (EDT)
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 61,34
EUR 2,29 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
- Rilegato
Da: -OnTimeBooks-, Phoenix, AZ, U.S.A.-OnTimeBooks-
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 65,12
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Condizione: 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! Ship…ped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.
- Rilegato
Da: Chiron Media, Wallingford, Regno UnitoChiron Media
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 52,04
EUR 18,07 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Hardcover. Condizione: New.
- Rilegato
Da: Majestic Books, Hounslow, Regno UnitoMajestic Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 62,43
EUR 7,58 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 3 disponibili
Condizione: New. pp. 316 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam.
- Altre immagini
Software Security -- Theories and Systems : Theories and Systems : Tokyo, Japan, November 2002 : Revised Papers
Okada, M. (EDT); Pierce, B.; Scedrov, A. (EDT); Tokuda, H. (EDT); Yomezawa (EDT)
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 75,11
EUR 2,29 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Altre immagini
Software Security -- Theories and Systems : Theories and Systems : Tokyo, Japan, November 2002 : Revised Papers
Okada, M. (EDT); Pierce, B.; Scedrov, A. (EDT); Tokuda, H. (EDT); Yomezawa (EDT)
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 60,53
EUR 17,50 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Harvey Friedman's Research on the Foundations of Mathematics.
[FRIEDMAN, Harvey 1948-] HARRINGTON, L.A.; MORLEY, M. D.; SCEDROV, A. & S. G. SIMPSON (eds.):
- Rilegato
- Prima edizione
Da: Ted Kottler, Bookseller, Redondo Beach, CA, U.S.A.Ted Kottler, Bookseller
Contatta il venditoreVenditore con 3 stelleCondizione: Usato - Quasi ottimo
EUR 67,13
EUR 11,04 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: Near Fine. No Jacket. 1st Edition. FIRST EDITION. Original cloth. Near Fine. Studies in Logic and the Foundations of Mathematics 117.
- Altre immagini
Harvey Friedman's Research on the Foundations of Mathematics
Harrington L.A., Morley M.D., Scedrov A., Simpson S.G. (ed.)
Lingua: Inglese
Editore: North-Holland Publishing Company, Amsterdam - New York - Oxford, 1985
- Rilegato
- Prima edizione
Da: Oxfam Bookshop Gent, Gent, BelgioOxfam Bookshop Gent
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 50,00
EUR 27,00 spedizioneSpedito da Belgio a U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: 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 n…umbers, stamps and stickers. Otherwise a good/very good copy.
- Rilegato
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 77,98
EUR 3,47 spedizioneSpedito in U.S.A.Quantità: 3 disponibili
Condizione: New. pp. 316.
- Altre immagini
- Rilegato
Da: Rarewaves.com USA, London, LONDO, Regno UnitoRarewaves.com USA
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 84,45
Spedizione gratuitaSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Hardback. Condizione: 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 shoul…d 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.
- Altre immagini
Software Security -- Theories and Systems : Theories and Systems : Tokyo, Japan, November 2002 : Revised Papers
Okada, M. (EDT); Pierce, B.; Scedrov, A. (EDT); Tokuda, H. (EDT); Yomezawa (EDT)
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 67,20
EUR 17,50 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
- Rilegato
Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 74,53
EUR 9,95 spedizioneSpedito da Germania a U.S.A.Quantità: 3 disponibili
Condizione: New. pp. 316.
- Rilegato
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 74,90
EUR 13,98 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
- Altre immagini
Logic and Computer Science
Andre Scedrov, Steven Homer, Anil Nerode, Richard A. Platek, Gerald E. Sacks
Lingua: Inglese
Editore: Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 1990
- Brossura
Da: Rarewaves.com UK, London, Regno UnitoRarewaves.com UK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 33,97
EUR 75,85 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Paperback. Condizione: 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, intuiti…onistic logic and PROLOG programming.
The Journal of Symbolic Logic | Vol. 57; No. 4; December 1992 | ISSN 0022-4812
Aczel, P.; Boolos, G.; Buchholz,W.; Burgess, J.P.; Enderton, Herbert B.; Foreman, M.; Friedman, SY D.; Jager, Gerhard; Knight, Julia; Makkai, Michael; Scedrov, Andre; Shore, Richard A.; van Benthem, Johan {editors}
Editore: Association for Symbolic logic, Inc.; ICSU, Illinois, 61820, 1992
- Brossura
- Prima edizione
Da: Attic Books, cheltenham, GLOS, Regno UnitoAttic Books
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Ottimo
EUR 38,46
EUR 23,34 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCard Covers. Condizione: 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.
- Altre immagini
- Brossura
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 50,40
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Taschenbuch. Condizione: 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 | Verantwo…rtliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Altre immagini
- Brossura
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 72,85
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Taschenbuch. Condizione: 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 Pers…on für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Altre immagini
- Rilegato
Da: Rarewaves.com UK, London, Regno UnitoRarewaves.com UK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 78,65
EUR 75,85 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Hardback. Condizione: 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 shoul…d 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.
- Altre immagini
- Rilegato
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 152,51
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Gebunden. Condizione: New.
- Rilegato
- Print on Demand
Da: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 67,46
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: Brand New. New. US edition. Print on demand title. Delivery takes 20-25 days. Excellent Customer Service.
- Altre immagini
- Brossura
- Print on Demand
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 26,39
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Condizione: 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 paper…s: S. Homer: The Isomorphism Conje.
