Vi flyttar från butik till nätet - så funkar det framåt
Lectures on Mathematical Logic, Volume II | 1:a upplagan
- Häftad, Engelska, 2019
- Författare: Walter Felscher
- Betyg:
687
kr
Skickas inom 1-3 vardagar
Onlinelager
I lager hos leverantör
Vill du sälja den här boken?
Sälj den här bokenBeskrivning
In this volume, logic starts from the observation that in everyday arguments, as brought forward by say a lawyer, statements are transformed linguistically, connecting them in formal ways irrespective of their contents. Understanding such arguments as deductive situations, or "sequents" in the technical terminology, the transformations between them can be expressed as logical rules. The book concludes with the algorithms producing the results of Gentzen's midsequent theorem and Herbrand's theorem for prenex formulas.
Om denna bok
Lectures on Mathematical Logic, Volume II av Walter Felscher är en Häftad bok med 330 sidor på Engelska. Detta är den 1:a upplagan som utgavs 2019 av Taylor & Francis Ltd.
Spara pengar – köp begagnad från Campusbokhandeln
Köp Lectures on Mathematical Logic, Volume II begagnad från Campusbokhandeln och spara upp till 25% jämfört med nypris. Du kan bevaka den här boken så får du ett mail så fort vi får in den i lager som begagnad.
Genom att köpa & sälja begagnat sänker du kostnaden för studier både för dig och nästa student samtidigt som du gör nytta för klimatet.
Produktinformation
Kategori:
Matematik & statistik
Bandtyp:
Häftad
Språk:
Engelska
ISBN:
9780367398583
Upplaga:
1
Utgiven:
2019-09-05
Förlag:
Taylor & Francis Ltd
Sidantal:
330