Normal view MARC view ISBD view

A model-theoretic approach to proof theory / Henryk Kotlarski author ; edited by: Zofia Adamowicz, Teresa Bigorajska and Konrad Zdanowski.

By: Kotlarski, Henryk, (1949-2008) [Autor].
Contributor(s): Adamowicz, Zofia, (1950- ) [Redaktor] | Zdanowski, Konrad [Redaktor] | Bigorajska, Teresa [Redaktor] | Springer Nature [Wydawca].
Material type: materialTypeLabelBookSeries: 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 Książka Biblioteka Główna UKSW - Dewajtis
Magazyn
Biblioteka Główna UKSW - Dewajtis
359168 Available 359168
Total holds: 0

Bibliografia przy rozdziałach. Indeks.

Dostępne również w formie elektronicznej.

Powered by Koha