Name: Basic proof theory Cambridge university press
Brand: Cambridge University Press
Availability: InStock

Basic proof theory Cambridge university press

Literatura obcojęzyczna Cambridge University Press

268,96 zł

Promocja dla Ciebie!

Najlepszą ofertę ma Libristo.pl w cenie 268,96 zł

Idź do sklepu

Przeszukaliśmy całą bazę sklepów internetowych w bazie aby odszukać świetną ofertę dla Ciebie. Basic proof theory Cambridge university press Cambridge University Press z kategorii literatura obcojęzyczna kupisz w cenie 268,96 zł w sklepie Libristo.pl. Wyświetlona cena 268,96 zł nie zawiera ewentualnych kosztów wysyłki.

Zobacz wszystkie oferty ...

Cechy:
Literatura obcojęzyczna
Cambridge University Press
9780521779111
miękka
432
2000

Opis Basic proof theory Cambridge university press

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.

Specyfikacja produktu

Specyfikacja Basic proof theory Cambridge university press
Kategoria	Literatura obcojęzyczna
Marka	Cambridge University Press
ISBN	9780521779111
Oprawa	miękka
Ilość stron	432
Rok wydania	2000
Aktualnych ofert	1
Najniższa cena	268,96 zł
Najwyższa cena	268,96 zł
W bazie od	17.07.2024
Data aktualizacji	16.09.2024
Opinia użytkowników	-
Nasza recenzja	-
Rekomendacja sklepu	Libristo.pl

Historia cen

Funkcjonalność monitorowania historii cen pozwala na podejmowanie mądrych decyzji zakupowych.

nie udało się nam pozyskać archiwalnych danych cenowych dla produktu Basic proof theory Cambridge university press (Literatura obcojęzyczna). Proszę spróbuj ponownie w późniejszym czasie.

Recenzje / opinie

Nabyłeś ten produkt? Daj znać innym, co o nim myślisz.

Nie mamy jeszcze opinii na temat Basic proof theory Cambridge university press. Czy chciałbyś dodać pierwszą recenzję?

Znalezione oferty w bazie

Ewentualne koszty dostawy dla Basic proof theory Cambridge university press Cambridge University Press nie są wkalkulowane w ceny prezentowanych poniżej ofert. Przed wytypowaniem miejsca, gdzie zrealizujesz transakcję, zorientuj się w ocenach firmy i dodaj do prezentowanej ceny możliwy koszt dostawy. Lista sklepów z ofertami jest stale uaktualniana co jakiś czas, około raz na kilka / kilkanaście minut.

Basic proof theory Cambridge university press (idź do Libristo.pl)

★★★★★

268,96 zł

Kategoria w sklepie Libristo.pl: Literatura obcojęzyczna Cambridge University Press

Produkty powiązane