Eine Einführung in die Beweistheorie: Normalisierung, Schnitt-Elimination und
Ø 0.0
0 Bewertungen
141,23 €
And the normalization theorems (for both NJ and NK), the sequent calculus, including cut-elimination and mid-sequent theorems, and various applications of these results. The second half examines ordinal proof.
Jetzt bei Ebay:
-
EAN:9780192895936
-
UPC:9780192895936
-
ISBN:9780192895936
-
Format:Hardback, 432 pages
-
Author:Mancosu, Paolo (Willis S. and Marion Slusser Profe
-
Book Title:An Introduction to Proof Theory: Normalization,
-
Item Height:3.1 cm
-
Item Length:22.9 cm
-
Item Weight:0.81 kg
-
Item Width:15.8 cm
-
Language:Eng
-
Publisher:Oxford University Press, USA
-
Expressversand:International Priority Shipping 16,62 EUR - Lieferung zwischen 10. June 2025 und 13. June 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, 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 Wight , Guyana , Indonesien , Malaysia , Thailand , Algerien , Angola , Benin , Burundi , Komoren , ... und weitere