Afbeelding 1 van 8
Proofs and Types by Jean-Yves Girard: Used - Cambridge Tracts in Theoretical CS
Objectstaat:
Prijs:
US $180,00
OngeveerEUR 167,61
- Nu kopenProofs and Types by Jean-Yves Girard: Used - Cambridge Tracts in Theoretical CS
Beste voorstel:
Verzendkosten:
Bevindt zich in: Randolph, New Jersey, Verenigde Staten
Levering:
Geschatte levering tussen ma, 24 jun en wo, 26 jun tot 43230
Retourbeleid:
30 dagen om te retourneren. Koper betaalt voor retourzending. Details bekijken- voor meer informatie over retourzendingen
Betalingen:
Winkel met vertrouwen
Verkopergegevens
- 100% positive feedback
Ingeschreven als zakelijke verkoper
De verkoper neemt de volledige verantwoordelijkheid voor deze aanbieding.
eBay-objectnummer:176385121043
Specificaties
- Objectstaat
- Pages
- 192
- Book Title
- Proofs and Types
- ISBN
- 9780521371810
- Subject Area
- Computers, Mathematics
- Publication Name
- Proofs and Types
- Item Length
- 10 in
- Publisher
- Cambridge University Press
- Subject
- Programming Languages / General, Calculus
- Publication Year
- 1989
- Series
- Cambridge Tracts in Theoretical Computer Science Ser.
- Type
- Textbook
- Format
- Hardcover
- Language
- English
- Item Height
- 0.6 in
- Item Width
- 7.1 in
- Item Weight
- 17.6 Oz
- Number of Pages
- 192 Pages
Over dit product
Product Information
This text is an outgrowth of notes prepared by J. Y. Girard for a course at the University of Paris VII. It deals with the mathematical background of the application to computer science of aspects of logic (namely the correspondence between proposition & types). Combined with the conceptual perspectives of Girard's ideas, this sheds light on both the traditional logic material & its prospective applications to computer science. The book covers a very active & exciting research area, & it will be essential reading for all those working in logic & computer science.
Product Identifiers
Publisher
Cambridge University Press
ISBN-10
0521371813
ISBN-13
9780521371810
eBay Product ID (ePID)
1422955
Product Key Features
Publication Name
Proofs and Types
Format
Hardcover
Language
English
Subject
Programming Languages / General, Calculus
Publication Year
1989
Series
Cambridge Tracts in Theoretical Computer Science Ser.
Type
Textbook
Subject Area
Computers, Mathematics
Number of Pages
192 Pages
Dimensions
Item Length
10 in
Item Height
0.6 in
Item Width
7.1 in
Item Weight
17.6 Oz
Additional Product Features
Series Volume Number
Series Number 7
Lc Classification Number
Qa9.5 .G57 1989
Copyright Date
1989
Target Audience
College Audience
Dewey Decimal
005.13/1
Dewey Edition
19
Objectbeschrijving van de verkoper
De verkoper neemt de volledige verantwoordelijkheid voor deze aanbieding.
eBay-objectnummer:176385121043
Verzending en verwerking
Objectlocatie:
Randolph, New Jersey, Verenigde Staten
Wordt verzonden naar:
Afghanistan, Albanië, Algerije, Andorra, Angola, Anguilla, Antigua en Barbuda, Argentinië, Armenië, Aruba, Australië, Azerbeidzjan, Bahama's, Bahrein, Bangladesh, België, Belize, Benin, Bermuda, Bhutan, Bolivia, Bosnië en Herzegovina, Botswana, Brazilië, Brunei Darussalam, Bulgarije, Burkina Faso, Burundi, Cambodja, Canada, Centraal-Afrikaanse Republiek, Chili, China, Colombia, Costa Rica, Cyprus, Democratische Republiek Congo, Denemarken, Djibouti, Dominicaanse Republiek, Duitsland, Ecuador, Egypte, El Salvador, Equatoriaal-Guinea, Eritrea, Estland, Ethiopië, Fiji, Filipijnen, Finland, Frankrijk, Gabon, Gambia, Georgië, Ghana, Gibraltar, Grenada, Griekenland, Groenland, Guatemala, Guinee, Guinee-Bissau, Guyana, Haïti, Honduras, Hongarije, Hongkong, IJsland, Ierland, India, Indonesië, Israël, Italië, Ivoorkust, Jamaica, Japan, Jemen, Jordanië, Kaaimaneilanden, Kaapverdische eilanden, Kameroen, Kazachstan, Kenia, Kirgizië, Kiribati, Koeweit, Kroatië, Laos, Lesotho, Letland, Libanon, Liberia, Liechtenstein, Litouwen, Luxemburg, Macau, Macedonië, Madagaskar, Malawi, Maldiven, Maleisië, Mali, Malta, Marokko, Mauritanië, Mauritius, Mexico, Moldavië, Monaco, Mongolië, Montenegro, Montserrat, Mozambique, Namibië, Nauru, Nederland, Nepal, Nicaragua, Nieuw-Zeeland, Niger, Nigeria, Noorwegen, Oeganda, Oezbekistan, Oman, Oostenrijk, Pakistan, Panama, Papoea-Nieuw-Guinea, Paraguay, Peru, Polen, Portugal, Qatar, Republiek Congo, Roemenië, Rwanda, Saint Kitts en Nevis, Saint Lucia, Saint Vincent en de Grenadines, San Marino, Saudi-Arabië, Senegal, Servië, Seychellen, Sierra Leone, Singapore, Slovenië, Slowakije, Solomoneilanden, Spanje, Sri Lanka, Suriname, Swaziland, Tadzjikistan, Taiwan, Tanzania, Thailand, Togo, Tonga, Trinidad en Tobago, Tsjaad, Tsjechië, Tunesië, Turkije, Turkmenistan, Turks- en Caicoseilanden, Uruguay, Vanuatu, Vaticaanstad, Verenigd Koninkrijk, Verenigde Arabische Emiraten, Verenigde Staten, Vietnam, Wallis en Futuna, Westelijk Samoa, Zambia, Zimbabwe, Zuid-Afrika, Zuid-Korea, Zweden, Zwitserland
Uitgesloten:
Barbados, Frans-Guyana, Frans-Polynesië, Guadeloupe, Libië, Martinique, Nieuw-Caledonië, Oekraïne, Russische Federatie, Réunion, Venezuela
| Verzending en verwerking | Tot | Service | Levering*Zie opmerkingen over levering |
|---|---|---|---|
| US $4,87 (ongeveer EUR 4,53) | Verenigde Staten | Voordelige verzending (USPS Media MailTM) | Geschatte levering tussen ma, 24 jun en wo, 26 jun tot 43230 |
| Verwerkingstijd |
|---|
| Wordt doorgaans binnen 1 werkdag na ontvangst van betaling verzonden. |
| Belasting |
|---|
| Er kunnen belastingen van toepassing zijn tijdens Betalen. Meer weten?Lees meer over het betalen van belastingen op eBay-aankopen. |
Btw voor objectnr.176385121043
Btw voor objectnr.176385121043
Verkoper berekent btw op objecten die naar de volgende staten worden verzonden:
| Staat/provincie | Btw-tarief |
|---|
Retourbeleid
| Nadat u het object hebt ontvangen, kunt u contact opnemen met de verkoper binnen | Terugbetaling wordt verstrekt als | Kosten voor retourzending |
|---|---|---|
| 30 dagen | Geld terug | Koper betaalt voor retourzending |
De koper is verantwoordelijk voor de kosten van de retourzending.
| Details retourbeleid |
|---|
| Retourzendingen geaccepteerd |
Betalingsgegevens
Betalingsmethoden
Ingeschreven als zakelijke verkoper
Feedback verkoper (3.534)
k***e (251)- Feedback gegeven door koper.
Afgelopen maand
Geverifieerde aankoop
Perfect…shipped so fast too!!
e***2 (983)- Feedback gegeven door koper.
Afgelopen maand
Geverifieerde aankoop
Great price and Super Seller. 13 Stars.
j***i (1033)- Feedback gegeven door koper.
Afgelopen maand
Geverifieerde aankoop
Fast shipping and an incredible deal on a beautiful sweater. Thank you!