A model-theoretic approach to proof theory / Henryk Kotlarski author ; edited by: Zofia Adamowicz, Teresa Bigorajska and Konrad Zdanowski.
By: Kotlarski, Henryk [Autor].
Contributor(s): Adamowicz, Zofia [Redaktor] | Zdanowski, Konrad [Redaktor] | Bigorajska, Teresa [Redaktor] | Springer Nature [Wydawca].
Material type: BookSeries: Trends in Logic: vol. 51Publisher: Cham : Springer, © 2019Description: XVIII, 109 stron : ilustracje ; 24 cm.Content type: Tekst Media type: Bez urządzenia pośredniczącego Carrier type: WoluminISBN: 9783030289218; 9783030289201.Online resources: Dostęp autoryzowany na podstawie IP komputera Dostępne również w formie elektronicznej.Item type | Current location | Home library | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Książka | Biblioteka UKSW - Dewajtis Magazyn I - Dewajtis | Biblioteka UKSW - Dewajtis | 359168 | Available | 359168 |
Total holds: 0
Bibliografia przy rozdziałach. Indeks.
Dostępne również w formie elektronicznej.