Scedrov a (30 resultados)
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
- Tapa blanda
Librería: G. & J. CHESTERS, TAMWORTH, , Reino UnidoG. & J. CHESTERS
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 13,23
Envío por EUR 8,10Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Soft cover. Condición: Very Good. 162 pages, a very good plus paperback, ex-university library [3540527346].
- Tapa blanda
Librería: Rothwell & Dunworth (ABA, ILAB), Dulverton, Reino UnidoRothwell & Dunworth (ABA, ILAB)
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado
EUR 11,92
Envío por EUR 14,47Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
8vo. Original printed card covers (softback) (VG). Pp. 162 (pages tanned; previous owner's neat inscription on front endpaper).
Editorial: Amsterdam - 1986 1986
- Tapa blanda
Librería: Sylvain Paré, Montolieu, FranciaSylvain Paré
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado
EUR 10,00
Envío por EUR 15,20Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
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 artic…le.
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.
Editorial: Amsterdam - 1984 1984
- Tapa blanda
Librería: Sylvain Paré, Montolieu, FranciaSylvain Paré
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado
EUR 10,00
Envío por EUR 15,20Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
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 artic…le.
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.
Editorial: Amsterdam - 1983 1983
- Tapa blanda
Librería: Sylvain Paré, Montolieu, FranciaSylvain Paré
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado
EUR 10,00
Envío por EUR 15,20Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
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 artic…le.
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.
Editorial: Amsterdam - 1986 1986
- Tapa blanda
Librería: Sylvain Paré, Montolieu, FranciaSylvain Paré
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado
EUR 10,00
Envío por EUR 15,20Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
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 artic…le.
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.
Editorial: Amsterdam - 1986 1986
- Tapa blanda
Librería: Sylvain Paré, Montolieu, FranciaSylvain Paré
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado
EUR 10,00
Envío por EUR 15,20Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
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 artic…le.
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
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 44,50
Envío por EUR 2,28Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: As New. Unread book in perfect condition.
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
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 46,58
Envío por EUR 2,28Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: New.
Logic and Computer Science
Andre Scedrov, Steven Homer, Anil Nerode, Richard A. Platek, Gerald E. Sacks
Idioma: Inglés
Editorial: Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE 1990
- Tapa blanda
Librería: Rarewaves.com USA, London, LONDO, Reino UnidoRarewaves.com USA
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 48,93
Gastos de envío gratisSe envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Paperback. Condición: 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, intuitio…nistic logic and PROLOG programming.
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)
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 60,64
Envío por EUR 2,28Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
- Tapa dura
Librería: Majestic Books, Hounslow, , Reino UnidoMajestic Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 61,97
Envío por EUR 7,52Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 3 disponibles
Condición: New. pp. 316 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam.
- Tapa dura
Librería: Chiron Media, Wallingford, , Reino UnidoChiron Media
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 51,62
Envío por EUR 17,93Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Hardcover. Condición: New.
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)
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 74,48
Envío por EUR 2,28Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
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)
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 60,03
Envío por EUR 17,36Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: 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.):
- Tapa dura
- Primera edición
Librería: Ted Kottler, Bookseller, Redondo Beach, CA, Estados Unidos de AmericaTed Kottler, Bookseller
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Muy bueno
EUR 66,64
Envío por EUR 10,96Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardcover. Condición: Near Fine. No Jacket. 1st Edition. FIRST EDITION. Original cloth. Near Fine. Studies in Logic and the Foundations of Mathematics 117.
Más imágenesHarvey Friedman's Research on the Foundations of Mathematics
Harrington L.A., Morley M.D., Scedrov A., Simpson S.G. (ed.)
Idioma: Inglés
Editorial: North-Holland Publishing Company, Amsterdam - New York - Oxford 1985
- Tapa dura
- Primera edición
Librería: Oxfam Bookshop Gent, Gent, , BelgicaOxfam Bookshop Gent
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 50,00
Envío por EUR 27,00Se envía de Belgica a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardcover. Condición: 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 nu…mbers, stamps and stickers. Otherwise a good/very good copy.
- Tapa dura
Librería: Books Puddle, New York, NY, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 76,95
Envío por EUR 3,44Se envía dentro de Estados Unidos de AmericaCantidad disponible: 3 disponibles
Condición: New. pp. 316.
- Tapa dura
Librería: Rarewaves.com USA, London, LONDO, Reino UnidoRarewaves.com USA
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 83,27
Gastos de envío gratisSe envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Hardback. Condición: 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
Okada, M. (EDT); Pierce, B.; Scedrov, A. (EDT); Tokuda, H. (EDT); Yomezawa (EDT)
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 66,66
Envío por EUR 17,36Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
- Tapa dura
Librería: Biblios, frankfurt am main, HESSE, AlemaniaBiblios
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 73,13
Envío por EUR 9,95Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 3 disponibles
Condición: New. pp. 316.
- Tapa dura
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 74,29
Envío por EUR 13,86Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
Logic and Computer Science
Andre Scedrov, Steven Homer, Anil Nerode, Richard A. Platek, Gerald E. Sacks
Idioma: Inglés
Editorial: Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE 1990
- Tapa blanda
Librería: Rarewaves.com UK, London, Reino UnidoRarewaves.com UK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 33,69
Envío por EUR 75,23Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Paperback. Condición: 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, intuitio…nistic 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}
Editorial: Association for Symbolic logic, Inc.; ICSU, Illinois, 61820 1992
- Tapa blanda
- Primera edición
Librería: Attic Books, cheltenham, GLOS, Reino UnidoAttic Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Excelente
EUR 38,15
Envío por EUR 23,15Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Card Covers. Condición: 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.
Más imágenes- Tapa blanda
Librería: preigu, Osnabrück, Alemaniapreigu
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 50,25
Envío por EUR 70,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Taschenbuch. Condición: 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, Tie…rgartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Tapa blanda
Librería: preigu, Osnabrück, Alemaniapreigu
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 50,35
Envío por EUR 70,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Taschenbuch. Condición: 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 | Verantwor…tliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Tapa blanda
Librería: preigu, Osnabrück, Alemaniapreigu
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 72,75
Envío por EUR 70,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Taschenbuch. Condición: 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 Perso…n für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Tapa dura
Librería: Rarewaves.com UK, London, Reino UnidoRarewaves.com UK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 78,00
Envío por EUR 75,23Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Hardback. Condición: 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.
- Tapa dura
Librería: moluna, Greven, , Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 152,51
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Gebunden. Condición: New.
- Tapa blanda
- Impresión bajo demanda
Librería: moluna, Greven, , Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 26,39
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: 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.
