SULJE VALIKKO

Englanninkielisten kirjojen poikkeusaikata... LUE LISÄÄ

avaa valikko

H. Schwichtenberg | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 2 tuotetta
Haluatko tarkentaa hakukriteerejä?



Basic Proof Theory
A. S. Troelstra; H. Schwichtenberg
Cambridge University Press (2000)
Pehmeäkantinen kirja
56,00
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Basic Proof Theory
A. S. Troelstra; H. Schwichtenberg
CAMBRIDGE (2012)
Verkkoaineisto
122,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Basic Proof Theory
56,00 €
Cambridge University Press
Sivumäärä: 432 sivua
Asu: Pehmeäkantinen kirja
Painos: 2nd Revised edition
Julkaisuvuosi: 2000, 27.07.2000 (lisätietoa)
Kieli: Englanti
This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of formalization of first-order logic. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic (intuitionistic as well as classical); the theory of logic programming; category theory; modal logic; linear logic; first-order arithmetic and second-order logic. In each case the aim is to illustrate the methods in relatively simple situations and then apply them elsewhere in much more complex settings. There are numerous exercises throughout the text. In general, the only prerequisite is a standard course in first-order logic, making the book ideal for graduate students and beginning researchers in mathematical logic, theoretical computer science and artificial intelligence. For the new edition, many sections have been rewritten to improve clarity, new sections have been added on cut elimination, and solutions to selected exercises have been included.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa. | Tilaa jouluksi viimeistään 27.11.2024. Tuote ei välttämättä ehdi jouluksi.
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Basic Proof Theoryzoom
Näytä kaikki tuotetiedot
ISBN:
9780521779111
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste