Basic Proof Theory

Autor A. S. Troelstra, H. Schwichtenberg

Basic Proof Theory - A. S. Troelstra,H. Schwichtenberg Nedostupné

Basic Proof Theory

Autor A. S. Troelstra, H. Schwichtenberg

0.0 z 5 hvězdiček 0 hodnocení čtenářů

Kniha ( měkká vazba )

    • Produkt je nedostupný.
E-shopové listy

Při zaslání zboží balíčkem

K nákupu nad 99 Kč dárek zdarma v hodnotě 19 Kč

E-shopové listy

Let na měsíc

Při zaslání zboží balíčkem

K nákupu nad 999 Kč dárek zdarma v hodnotě 299 Kč

Let na měsíc

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;… Přejít na celý popis

Legendární brožky od HOSTu? Již od 99 Kč Oblíbená letní akce zpět! Paperbacky z nakladatelství HOST teď koupíte na e-shopu i v prodejnách za ceny od 99 Kč! Více informací

K tomuto produktu zákazníci kupují

Popis Hodnocení 0.0 z 5 hvězdiček 0 Vývoj ceny

Popis

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.

Sdílet

autoři
A. S. Troelstra | H. Schwichtenberg
kategorie
Knihy » Cizojazyčná literatura » English literature » Nonfiction » Information Technology
Témata
Nakladatel
Cambridge
Rozměr
153 x 229 x 26
jazyk
angličtina
Vazba
měkká vazba
Hmotnost
642 g
isbn
978-0-521-77911-1
Počet stran
432
datum vydání
27.07.2000
ean
9780521779111

Hodnocení a recenze čtenářů Nápověda

0.0 z 5 0 hodnocení čtenářů

0× 5 hvězdiček 0× 4 hvězdičky 0× 3 hvězdičky 0× 2 hvězdičky 0× 1 hvezdička

Přidejte své hodnocení knihy

Načíst další hodnocení

Zobrazit všechna hodnocení

Přidat hodnocení

Vývoj ceny

Vývoj ceny Nápověda

Získejte přehled o vývoji ceny za posledních 60 dní.

Maloobchodní cena Minimální prodejní cena: 0 Kč Nápověda

Články, které stojí za pozornost

Zobrazit blog

Články, které stojí za pozornost