Reflections on the foundations of mathematics : univalent foundations, set theory and general thoughts /

Uloženo v:
Podrobná bibliografie
Další autoři: Centrone, Stefania, 1975- (Editor), Kant, Deborah (Editor), Sarikaya, Deniz (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Cham : Springer, 2019
Edice:Synthese library. Studies in epistemology, logic, methodology, and philosophy of science ; 407
Témata:
teorie množin
logika
matematika
filozofie matematiky
set theory
logic
mathematics
philosophy of mathematics
kolektivní monografie
collective monographs
Obálka Obsah Přejít na ObalkyKnih.cz
LEADER 02097nam a22005177i 4500
001 MUB01006494650
003 CZ BrMU
005 20211220112022.0
008 211217s2019 sz ||||| |||||||||||eng d
STA |a POSLANO DO SKCR  |b 2022-01-03 
020 |a 978-3-030-15657-2 
040 |a BOD022  |b cze  |e rda 
072 7 |a 510  |x Obecné úvahy o matematice  |2 Konspekt  |9 13 
080 |a 510.22  |2 MRF 
080 |a 16  |2 MRF 
080 |a 51  |2 MRF 
080 |a 510.21  |2 MRF 
080 |a (048.8:082)  |2 MRF 
245 0 0 |a Reflections on the foundations of mathematics :  |b univalent foundations, set theory and general thoughts /  |c Stefania Centrone, Deborah Kant, Deniz Sarikayaeditors 
264 1 |a Cham :  |b Springer,  |c 2019 
300 |a xxviii, 494 stran 
336 |a text  |b txt  |2 rdacontent 
337 |a bez média  |b n  |2 rdamedia 
338 |a svazek  |b nc  |2 rdacarrier 
490 1 |a Synthese library. Studies in epistemology, logic, methodology, and philosophy of science ;  |v 407 
650 0 7 |a teorie množin  |7 ph126563  |2 czenas 
650 0 7 |a logika  |7 ph122436  |2 czenas 
650 0 7 |a matematika  |7 ph117231  |2 czenas 
650 0 7 |a filozofie matematiky  |7 ph135376  |2 czenas 
650 0 9 |a set theory  |2 eczenas 
650 0 9 |a logic  |2 eczenas 
650 0 9 |a mathematics  |2 eczenas 
650 0 9 |a philosophy of mathematics  |2 eczenas 
655 7 |a kolektivní monografie  |7 fd501537  |2 czenas 
655 9 |a collective monographs  |2 eczenas 
700 1 |a Centrone, Stefania,  |d 1975-  |7 uk2017938683  |4 edt 
700 1 |a Kant, Deborah  |4 edt 
700 1 |a Sarikaya, Deniz  |4 edt 
830 0 |a Synthese library. Studies in epistemology, logic, methodology, and philosophy of science ;  |v 407 
CAT |a PUTNOVA  |b 02  |c 20211217  |l MUB01  |h 1057 
CAT |a FUKSOVA  |b 02  |c 20211220  |l MUB01  |h 1120 
CAT |c 20220103  |l MUB01  |h 1155 
LOW |a POSLANO DO SKCR  |b 2022-01-03 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 ESF  |a Ekonomicko-správní fakulta  |2 KE  |b Katedra ekonomie  |3 84097  |5 4200484097  |8 20211217  |f 77  |f Dlouhodobá  |g 240/21  |r 20211217 
AVA |a ECO50  |b ESF  |c Katedra ekonomie  |d 84097  |e unavailable  |t Není k dispozici  |f 1  |g 1  |h N  |i 0  |j KE 

Podobné jednotky