Logic, Construction, Computation (eng)
Language: English
Published by De Gruyter, 2012
- Hardcover
- New

Seller: Brook Bookstore On Demand, Napoli, NA, ItalyBrook Bookstore On Demand
AbeBooks seller since October 11, 2022
Condition: New
US$ 317.56
Quantity: Over 20 available
Add to basketSeller Inventory # 4d4303f2130b257a6be639a7ce22cf27
- Title
- Logic, Construction, Computation (eng)
- Author
- Schuster, Peter
- Publisher
- De Gruyter
- Publication year
- 2012
- Condition
- new
- Binding
- Hardcover
- Language
- English
- ISBN 10
- 3110324539
- ISBN 13
- 9783110324532
- Item weight
- 0.83 kilograms
Over the last few decades the interest of logicians and mathematicians in constructive and computational aspects of their subjects has been steadily growing, and researchers from disparate areas realized that they can benefit enormously from the mutual exchange of techniques concerned with those aspects. A key figure in this exciting development is the logician and mathematician Helmut Schwichtenberg to whom this volume is dedicated on the occasion of his 70th birthday and his turning emeritus. The volume contains 20 articles from leading experts about recent developments in Constructive set theory, Provably recursive functions, Program extraction, Theories of truth, Constructive mathematics, Classical vs. intuitionistic logic, Inductive definitions, and Continuous functionals and domains.
"Synopsis" may belong to another edition of this title.
About the Author
Ulrich Berger is a reader in computer science at Swansea University.
Hannes Diener is a researcher in mathematics at the University of Siegen.
Peter Schuster is a lecturer in mathematical logic at the University of Leeds.
Monika Seisenberger is a lecturer in computer science at Swansea University.
"About the title" may belong to another edition of this title.
Brook Bookstore On Demand
Napoli, NA, Italy
AbeBooks seller since October 11, 2022
Shipping rates from Italy to U.S.A.
| Item | 25 to 40 business days | 60 to 60 business days |
|---|---|---|
| First item | US$ 9.29 | US$ 593.47 |
Payment methods
Store description
Specialty
Print on DemandSeller's business information
Brandon Group S.R.L.
Via Vannella Gaetani 27, Brandon Group
Napoli, NA Italy 80121
Terms of sale
Account dedicated to Print on Demand titles.
CANCELLATION
You can send a cancellation request from the order page while the package has not yet been shipped. After that we cannot ensure we can retrieve the parcel but we suggest you to get in touch with us in order to verify the case.
INVOICE
You can request the invoice to be issued together with the shipment of the order or, at the latest, in the same month of the shipment.
RETURNS
If you want to return your order, please contact us for authorization or place a request on the order page. Orders returned without authorization may not be credited.
If your order presents damages or any other issue on arrival we must be advised of this within 14 days of delivery in order to find the most suitable solution for you.
Returns for Brook Bookstore (Brandon Group SRL) are only accepted in the following addresses:
Return address in the United Kingdom:
MHI
(c/o BR Books)
82 Feeder Road
Bristol
BS2 0TQ
UK
Return address in Italy (for all EU countries):
Brandon Group c/o TWS
Via Trento, 9
20067 Tribiano (MI) – Italy
Return address in Japan:
Brandon Group JP
c/o Windows, Inc.
Mr. Jiro Asami
2-12-7-504 Oshiage, Sumida-ku
Tokyo 131-0045 Japan
Return address in the USA:
TruLogic- EZI - Brook Bookstore
5401 NW 72nd ave
MIami FL 33166-4941
Return address in Australia:
Active - Ezi - - Brook Bookstore
2/2-4 Federation Way,
Moorabbin Airport
Mentone, 3194
Victoria
AUSTRALIA
Return address in Canada:
No3rd - Ezi - - Brook Bookstore
520 Ave Lepine
Dorval QC H9P 2V6
CANADA
Return address in Mexico:
Chronos - EZI - Brook Bookstore
Calle Duba 112
Parque industrial Logistik II
79526 Villa de Reyes
San Luis Potosi
*For returns from other areas please contact us in order to provide further assistance.