Applied proof theory : proof interpretations and their use in mathematics /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Kohlenbach, Ulrich, 1962- (Autor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Berlin : Springer, c2008.
Edice:Sprigner monographs in mathematics,
Témata:
teorie aproximací
teorie důkazu
approximation theory
proof theory
monografie
monographs
Obálka Obsah Přejít na ObalkyKnih.cz
LEADER 02127nam a22005657a 4500
001 MUB01000604402
003 CZ BrMU
005 20240904175528.0
008 091109s2008 gw ||||| |||||||||||eng d
STA |a POSLANO DO SKCR  |b 2019-04-17 
020 |a 978-3-540-77532-4 
020 |a 978-3-540-77533-1  |q (e-ISBN) 
040 |a BOD018  |b cze 
072 7 |a 51  |x Matematika  |2 Konspekt  |9 13 
080 |a 168.3  |2 MRF 
080 |a 519.65  |2 MRF 
100 1 |a Kohlenbach, Ulrich,  |d 1962-  |7 ntk20241236327  |4 aut 
245 1 0 |a Applied proof theory :  |b proof interpretations and their use in mathematics /  |c U. Kohlenbach. 
260 |a Berlin :  |b Springer,  |c c2008. 
300 |a xix, 532 s. 
490 1 |a Sprigner monographs in mathematics,  |x 1439-7382 
650 0 7 |a teorie aproximací  |7 ph126546  |2 czenas 
650 0 7 |a teorie důkazu  |7 ph126551  |2 czenas 
650 0 9 |a approximation theory  |2 eczenas 
650 0 9 |a proof theory  |2 eczenas 
655 7 |a monografie  |7 fd132842  |2 czenas 
655 9 |a monographs  |2 eczenas 
830 0 |a Sprigner monographs in mathematics,  |x 1439-7382 
CAT |a KOVAROVA  |b 02  |c 20091109  |l MUB01  |h 1503 
CAT |a KOZOVA  |b 02  |c 20091201  |l MUB01  |h 0911 
CAT |c 20091203  |l MUB01  |h 0241 
CAT |c 20091203  |l MUB01  |h 1923 
CAT |a BATCH-UPD  |b 00  |c 20100501  |l MUB01  |h 1224 
CAT |c 20101015  |l MUB01  |h 2335 
CAT |c 20101016  |l MUB01  |h 0405 
CAT |a batch  |b 00  |c 20120324  |l MUB01  |h 0131 
CAT |a BATCH  |b 00  |c 20130304  |l MUB01  |h 1000 
CAT |c 20150404  |l MUB01  |h 0427 
CAT |a BATCH  |b 00  |c 20151226  |l MUB01  |h 0040 
CAT |a VESELA  |b 02  |c 20190109  |l MUB01  |h 1140 
CAT |c 20190417  |l MUB01  |h 0933 
CAT |c 20210614  |l MUB01  |h 0942 
CAT |c 20210614  |l MUB01  |h 1931 
CAT |a BATCH  |b 00  |c 20210724  |l MUB01  |h 1151 
CAT |a POSPEL  |b 02  |c 20231115  |l MUB01  |h 2159 
CAT |a VACOVAX  |b 02  |c 20240904  |l MUB01  |h 1755 
LOW |a POSLANO DO SKCR  |b 2019-04-17 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |2 SKLAD  |b sklad  |3 M94  |5 4200515607  |8 20091109  |f 74  |f Měsíční  |g 2009-265  |r 20091201 
AVA |a INF50  |b FI  |c sklad  |d M94  |e available  |t K dispozici  |f 1  |g 0  |h N  |i 3  |j SKLAD 

Podobné jednotky