From sets and types to topology and analysis : towards practicable foundations for constructive mathematics /
Uložené v:
| Hlavný autor: | |
|---|---|
| Ďalší autori: | , |
| Médium: | Kniha |
| Jazyk: | English |
| Vydavateľské údaje: |
Oxford :
Clarendon Press,
2005
|
| Vydanie: | 1st ed. |
| Edícia: | Oxford logic guides. 48
|
| Predmet: | |
| ISBN: | 0198566514 |
| On-line prístup: |
|
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
MARC
| LEADER | 00000nam a2200000 4500 | ||
|---|---|---|---|
| 003 | SK-BrCVT | ||
| 005 | 20230207155452.0 | ||
| 006 | a####e######000#0# | ||
| 008 | 070220s2005 xxk####e######000#0#eng d | ||
| 020 | |a 0198566514 | ||
| 035 | |a CVTIDW1387364 | ||
| 040 | |b slo |c CVT |a CVTI SR |e AACR2 | ||
| 041 | 0 | |a eng | |
| 044 | |a xxk | ||
| 080 | |a 510.25 |2 UDC-MRF | ||
| 080 | |a 515.1 |2 UDC-MRF | ||
| 100 | 1 | |a Rathjen, Michael |4 aut | |
| 242 | 1 | 0 | |a Od množín a druhov k topológii a analýze |b základy konštruktívnej matematiky využiteľné v praxi |y slo |
| 245 | 1 | 0 | |a From sets and types to topology and analysis : |b towards practicable foundations for constructive mathematics / |c Authors: Michael Rathjen ... [et al.] ; edited by: Laura Crosilla, Peter Schuster |
| 250 | |a 1st ed. | ||
| 260 | |a Oxford : |b Clarendon Press, |c 2005 | ||
| 300 | |a XIX, 350 s. : |b grafy, lit., obr., tab. ; | ||
| 490 | 0 | |a Oxford logic guides. 48 | |
| 500 | |a Oxford science publications | ||
| 653 | 1 | |a teória množín |a syntéza |a priestor |a dimenzia | |
| 655 | 7 | |a sprievodcovia |2 SNKPH |9 35233 | |
| 700 | 1 | |a Crosilla, Laura |4 edt | |
| 700 | 1 | |a Schuster, Peter |4 edt | |
| 760 | 1 | |t Oxford logic guides | |
| 852 | |a CVTISR |b 1 | ||
| 910 | |a BA002 |b A600556 | ||
| 919 | |a 0-19-856651-4 | ||
| 974 | |a katarina.repata |f Knihy |b cvti cvti | ||
| 992 | |a ASP | ||
| 999 | |c 145002 |d 145002 | ||