319385
No cover
Book
In basket
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˚.
Author
Indrzejczak Andrzej Redakcja Kaczmarek Janusz Redakcja Zawidzki Michał Redakcja
Form of Work
Książki
Subject
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
Notes:
Summary, etc.
Gerhard Gentzen (1909-1945) i Stanisław Jaśkowiak (1906-1965)
Materiały z konf., Łódź, 2-5 VII 2014 r
Confirm report execution
Confirm report execution
Confirm report execution
Confirm report execution
The item has been added to the basket. If you don't know what the basket is for, click here for details.
Do not show it again