319385
Brak okładki
Książka
W koszyku
Trends in Logic XIII. Gentzen's and Jaśkowski's heritage 80 years of natural deduction and sequent calculi / Ed. Andrzej Indrzejczak, Janusz Kaczmarek, Michał Zawidzki. - Łódź : Wydaw. Uniw. Łódzkiego, 2014. - IX, 269, nlb. 1, il ; 8˚.
Autor
Indrzejczak Andrzej Redakcja Kaczmarek Janusz Redakcja Zawidzki Michał Redakcja
Forma i typ
Książki
Temat
Gentzen Gerhard Jaśkowiak Stanisław
Gerhard Gentzen (1909-1945) i Stanisław Jaśkowiak (1906-1965)
Materiały z konf., Łódź, 2-5 VII 2014 r
Strefa uwag:
Adnotacja wyjaśniająca lub analiza wskazująca
Gerhard Gentzen (1909-1945) i Stanisław Jaśkowiak (1906-1965)
Materiały z konf., Łódź, 2-5 VII 2014 r
Potwierdź wykonanie raportu
Potwierdź wykonanie raportu
Potwierdź wykonanie raportu
Potwierdź wykonanie raportu
Pozycja została dodana do koszyka. Jeśli nie wiesz, do czego służy koszyk, kliknij tutaj, aby poznać szczegóły.
Nie pokazuj tego więcej