Lectures on Mathematical Logic, Volume II - Lecturers on Mathematical Logic - Walter Felscher - Grāmatas - Taylor & Francis Ltd - 9780367398583 - 2019. gada 5. septembris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Walter Felscher
Lectures on Mathematical Logic, Volume II - Lecturers on Mathematical Logic 1. izdevums

Cena
€ 103,49

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 18. sept. - . gada 2. okt.
Saņemiet paziņojumus par jauniem Walter Felscher izdevumiem

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

Pieejams arī kā:

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.

330 pages

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2019. gada 5. septembris
ISBN13 9780367398583
Izdevēji Taylor & Francis Ltd
Lapas 336
Izmēri 150 × 220 × 10 mm   ·   620 g
Valoda Angļu  

Vairāk no Walter Felscher

Rādīt visu

Vairāk no tā paša izdevēja

Skatīt visus Walter Felscher