Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.

Beweistheorie: Sequenzrechnen und verwandte Formalismen (diskrete Mathematik und

Ø 0.0

0 Bewertungen

61,24 €

Although sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic and natural deduction systems. It focuses on sequent calculi for various non-classical logics, from intuitionistic logic to relevance logic, linear logic, and modal logic.

Jetzt bei Ebay:

Zum Angebot *

EAN:

9781032920771
UPC:

9781032920771
ISBN:

9781032920771
Format:

Paperback, 386 pages
Author:

Katalin Bimbo
Item Height:

3.23 cm
Item Length:

23.4 cm
Item Weight:

0.58 kg
Item Width:

15.6 cm
Language:

Eng
Publisher:

Chapman & Hall/CRC

Expressversand:

International Priority Shipping 12,55 EUR - Lieferung zwischen 21. July 2025 und 23. July 2025 (bei heutigem Zahlungseingang)
Versand nach:

Großbritannien, Österreich, Belgien, Bulgarien, Republik Kroatien, Zypern, Tschechische Republik, Dänemark, Estland, Finnland, Frankreich, Deutschland, Griechenland, Ungarn, Irland, Italien, Lettland, Litauen, Luxemburg, Malta, Niederlande, Polen, Portugal, Rumänien, Slowakei, Slowenien, Schweden, Australien, USA, Bahrain, Kanada, Brasilien, Japan, Neuseeland, China, Hongkong, Norwegen, Mexiko, Singapur, Südkorea, Schweiz, Taiwan, Bangladesch, Belize, Bermuda, Bolivien, Barbados, Brunei Darussalam, Kaimaninseln, Dominica, Ecuador, Ägypten, Guernsey, Gibraltar, Guadeloupe, Grenada, Französisch-Guayana, Island, Jersey, Jordanien, Kambodscha, St. Kitts und Nevis, St. Lucia, Liechtenstein, Sri Lanka, Macau, Monaco, Malediven, Montserrat, Martinique, Nicaragua, Oman, Pakistan, Peru, Paraguay, Réunion, Turks- und Caicosinseln, Saudi-Arabien, Südafrika, Vereinigte Arabische Emirate, Ukraine, Chile, Kolumbien, Costa Rica, Dominikanische Republik, Guatemala, Honduras, Jamaika, Kuwait, Panama, Philippinen, Katar, El Salvador, Trinidad und Tobago, , Vietnam
Versand ausgeschlossen:

Isle of Man , Anguilla , Antigua und Barbuda , Aruba , Bahamas , Puerto Rico , Guyana , Algerien , Angola , Kongo, Demokratische Republik , ... und weitere