-
- Australia
- Canada
- United Kingdom
- United States
- Afghanistan
- Albania
- Algeria
- American Samoa
- Andorra
- Angola
- Anguilla
- Antarctica
- Antigua and Barbuda
- Argentina
- Armenia
- Aruba
- Ascension Island
- Australia
- Austria
- Azerbaijan
- Bahamas
- Bahrain
- Bangladesh
- Barbados
- Belarus
- Belgium
- Belize
- Benin
- Bermuda
- Bhutan
- Bolivia
- Bosnia and Herzegovina
- Botswana
- Bouvet Island
- Brazil
- British Indian Ocean Territory
- Brunei Darussalam
- Bulgaria
- Burkina Faso
- Burundi
- Cambodia
- Cameroon
- Canada
- Cape Verde
- Cayman Islands
- Central African Republic
- Chad
- Chile
- China
- Christmas Island
- Cocos (Keeling) Islands
- Colombia
- Comoros
- Congo, The Democratic Republic of the
- Congo, Republic of
- Cook Islands
- Costa Rica
- Cote d'Ivoire
- Croatia/Hrvatska
- Cuba
- Cyprus
- Czech Republic
- Denmark
- Djibouti
- Dominica
- Dominican Republic
- Timor-Leste
- Ecuador
- Egypt
- El Salvador
- Equatorial Guinea
- Eritrea
- Estonia
- Ethiopia
- Falkland Islands (Malvinas)
- Faroe Islands
- Fiji
- Finland
- France
- French Guiana
- French Polynesia
- French Southern Territories
- Gabon
- Gambia
- Georgia
- Germany
- Ghana
- Gibraltar
- Greece
- Greenland
- Grenada
- Guadeloupe
- Guam
- Guatemala
- Guernsey
- Guinea
- Guinea-Bissau
- Guyana
- Haiti
- Heard and McDonald Islands
- Holy See (Vatican City State)
- Honduras
- Hong Kong
- Hungary
- Iceland
- India
- Indonesia
- Iran, Islamic Republic of
- Iraq
- Ireland
- Isle of Man
- Israel
- Italy
- Jamaica
- Japan
- Jersey
- Jordan
- Kazakhstan
- Kenya
- Kiribati
- Korea, Democratic People's Republic
- Korea, Republic of
- Kuwait
- Kyrgyzstan
- Lao People's Democratic Republic
- Latvia
- Lebanon
- Lesotho
- Liberia
- Libyan Arab Jamahiriya
- Liechtenstein
- Lithuania
- Luxembourg
- Montenegro
- Macau
- Macedonia, The Former Yugoslav Republic of
- Madagascar
- Malawi
- Malaysia
- Maldives
- Mali
- Malta
- Marshall Islands
- Martinique
- Mauritania
- Mauritius
- Mayotte
- Mexico
- Micronesia, Federal State of
- Moldova, Republic of
- Monaco
- Mongolia
- Montserrat
- Morocco
- Mozambique
- Myanmar
- Namibia
- Nauru
- Nepal
- Netherlands
- Netherlands Antilles
- New Caledonia
- New Zealand
- Nicaragua
- Niger
- Nigeria
- Niue
- Norfolk Island
- Northern Mariana Islands
- Norway
- Oman
- Pakistan
- Palau
- Palestinian Territories
- Panama
- Papua New Guinea
- Paraguay
- Peru
- Philippines
- Pitcairn Island
- Poland
- Portugal
- Puerto Rico
- Qatar
- Reunion Island
- Romania
- Serbia
- Russian Federation
- Rwanda
- Saint Kitts and Nevis
- Saint Lucia
- Saint Vincent and the Grenadines
- San Marino
- Sao Tome and Principe
- Saudi Arabia
- Senegal
- Seychelles
- Sierra Leone
- Singapore
- Slovak Republic
- Slovenia
- Solomon Islands
- Somalia
- South Africa
- South Georgia and the South Sandwich Islands
- Spain
- Sri Lanka
- Saint Helena
- Saint Pierre and Miquelon
- Sudan
- Suriname
- Svalbard and Jan Mayen Islands
- Swaziland
- Sweden
- Switzerland
- Syrian Arab Republic
- Taiwan
- Tajikistan
- Tanzania
- Thailand
- Togo
- Tokelau
- Tonga
- Trinidad and Tobago
- Tunisia
- Turkey
- Turkmenistan
- Turks and Caicos Islands
- Tuvalu
- United States Minor Outlying Islands
- Uganda
- Ukraine
- United Arab Emirates
- United Kingdom
- United States
- Uruguay
- Uzbekistan
- Vanuatu
- Venezuela
- Vietnam
- Virgin Islands, British
- Virgin Islands, U.S.
- Wallis and Futuna Islands
- Western Sahara
- Western Samoa
- Yemen
- Yugoslavia
- Zambia
- Zimbabwe
- Gift certificates
- Academic eBooks
- My account
- Help
- Wishlist
- Feedback
- Sign up
The Leading eBooks Store Online
for your Apple or Android device, Nook, Kobo, PC, Mac, Sony Reader...
Most popular at the top
Mathematical Problems from Applied Logic Iby Dov M. Gabbay; Sergei S. Goncharov; Michael Zakharyaschev
Springer-Verlag New York Inc 2006; US$ 195.00Presents chapters from selected logicians. This work provides an overview of open problems and perspectives in such fields as non-standard inferences in description logics, logic of provability, logical dynamics, and computability theory. It contains contributions concerning the role of logic. more...
Logic Colloquium 2005by Costas Dimitracopoulos; Ludomir Newelski; Dag Normann
Cambridge University Press 2007; US$ 78.00Surveys, tutorials, and selected research papers on recent advances in logic. more...
Logic Colloquium '87by H.-D. Ebbinghaus; J. Fernandez-Prida; M. Garrido; D. Lascar; M. Rodriguez Artalejo
Elsevier Science & Technology 1989; US$ 145.00Fourteen papers presented at the 1987 European Summer Meeting of the Association for Symbolic Logic are collected in this volume. The main areas covered by the conference were Logic, Set Theory, Recursion Theory, Model Theory, Logic for Computer Science and Semantics of Natural Languages. more...
Logic Colloquium '88by R. Ferro; C. Bonotto; S. Valentini; A. Zanardo
Elsevier 1989; US$ 165.00The result of the European Summer Meeting of the Association for Symbolic Logic, this volume gives an overview of the latest developments in most of the major fields of logic being actively pursued today. As well as selected papers, the two panel discussions are also included, on ``Trends in Logic'' and ``The Teaching of Logic''. more...
Towards Mathematical Philosophyby Vincent F. Hendricks; Daniele Mundici
Springer 2008; US$ 209.00Logical investigations in cognitive science have successfully utilized methods and systems of belief revision, non-monotonic logic and dynamic epistemic logic. This title deals with focal issues of belief revision. It contains a collection of articles applying methods of logic or, more generally, of mathematics to solve problems. more...
Logic and the Foundations of Game and Decision Theory (LOFT 7)by Giacomo Bonanno; Wiebe van der Hoek; Michael Wooldridge
Amsterdam University Press 2008; US$ 57.50Collection of revised papers originally presented at the 7th Conference on Logic and the Foundations of Game and Decision Theory (LOFT2006). more...
Mathematical logic in Latin Americaby A.I. Arruda; N. C. A. De Costa; R. Chuaqui
Elsevier 2000; US$ 250.00Provability, Computability and Reflection more...
Mathematical logic and foundations of set theoryby Yehoshua Bar-Hill
Elsevier Science & Technology 2000; US$ 250.00Provability, Computability and Reflection more...
Logic colloquium '69by R.O. Gandy; C. M. E. Yates
Elsevier Science & Technology 2000; US$ 250.00Provability, Computability and Reflection more...
Advances in Linear Logicby Jean-Yves Girard; Yves Lafont; Laurent Regnier
Cambridge University Press 1995; US$ 79.00This volume gives an overview of linear logic that will be useful to mathematicians and computer scientists working in this area. more...
