01524nam a2200361 i 4500
UKSW025383
20220902084052.0
296627
296627
200217s2019 sz a |001 0 eng c
9783030289218
eBook
9783030289201
xx004811712
WA 35/BJ
pol
rda
WA 35/BJ
FILOZ
Kotlarski, Henryk
(1949-2008).
Autor
n 2011030987
407001
A model-theoretic approach to proof theory /
Henryk Kotlarski author ; edited by: Zofia Adamowicz, Teresa Bigorajska and Konrad Zdanowski.
Cham :
Springer,
© 2019.
XVIII, 109 stron :
ilustracje ;
24 cm.
Tekst
txt
rdacontent
Bez urządzenia pośredniczącego
n
rdamedia
Wolumin
nc
rdacarrier
Trends in Logic. Studia Logica Library,
1572-6126 ;
vol. 51
Bibliografia przy rozdziałach. Indeks.
Dostępne również w formie elektronicznej.
Adamowicz, Zofia
(1950- ).
Redaktor
n 93080021
457214
Zdanowski, Konrad.
Redaktor
n 2010014376
29956
Bigorajska, Teresa.
Redaktor
Springer Nature.
Wydawca
pbl
n 2018224467
353112
Trends in Logic
1572-6126
vol. 51
t 98062445
457216
https://doi.org/10.1007/978-3-030-28921-8
Dostęp autoryzowany na podstawie IP komputera
978-3-030-28920-1
978-3-030-28921-8
eBook
BK
0
0
0
0
WA_392
WA_392
GEN
2020-02-26
7
30.00
359168
359168
359168
2020-02-26
30.00
2020-02-26
BK