Gdańsk Politechnika

Narutowicza 11/12

 

Pozycje tego autora w naszej księgarni:

Wyniki wyszukiwania
Znaleziono 2 pasujące rekordy dla kryteriów wyszukiwania
CERES and Fast Cut-Elimination, Rukhaia Mikheil
About Cut-Elimination in Schematic Proofs, Rukhaia Mikheil

Gentzen's cut-elimination theorem is one of the most important theorems of logic. Removing cuts from formal proofs corresponds to the elimination of intermediary ... więcej

Gentzen's Hauptsatz (cut-elimination theorem) is the cornerstone in proof theory. It leads to analytic proofs. But in the systems, having induction as ... więcej

 
 
 

Newsletter

Newsletter
Zapisz Wypisz

Klikając "Zapisz" zgadzasz się na przesyłanie na udostępniony adres e-mail informacji handlowych, tj. zwłaszcza o ofertach, promocjach w formie dedykowanego newslettera.

Płatności

Kanały płatności

Księgarnia PWN Gdańsk akceptuje płatności:

  • płatność elektroniczna eCard (karta płatnicza, ePrzelew)
  • za pobraniem - przy odbiorze przesyłki należność pobiera listonosz lub kurier