The logic of categories of partial functions and its applications / Adam Obtulowicz
Saved in:
| Superior document: | Dissertationes mathematicae 241 |
|---|---|
| VerfasserIn: | |
| Place / Publishing House: | Warszawa : Panstwowe Wydawnictwo Naukowe, 1986 |
| Year of Publication: | 1986 |
| Language: | German |
| Series: | Dissertationes mathematicae
241 |
| Subjects: | |
| Physical Description: | 169 S. |
| Notes: | Literaturverz. S. [157] - 159 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| LEADER | 01613nam#a2200433zcb4500 | ||
|---|---|---|---|
| 001 | 990001908170504498 | ||
| 005 | 20230428195314.0 | ||
| 007 | tu | ||
| 008 | 970826|1986####|||###########|||#|#ger#c | ||
| 009 | AC02058516 | ||
| 020 | |a 8301064544 | ||
| 035 | |a (AT-OBV)AC02058516 | ||
| 035 | |a AC02058516 | ||
| 035 | |a (Aleph)000075773ACC01 | ||
| 035 | |a (DE-599)OBVAC02058516 | ||
| 035 | |a (EXLNZ-43ACC_NETWORK)990000757730203331 | ||
| 040 | |a RET |b ger |d OAW |e rakwb | ||
| 041 | |a ger | ||
| 044 | |c XA-PL | ||
| 084 | |a SI 390 |2 rvk |9 O: Automatisch aus BVB_2013-06 2013-03-05 | ||
| 100 | 1 | |a Obtulowicz, Adam |4 aut | |
| 245 | 1 | 0 | |a The logic of categories of partial functions and its applications |c Adam Obtulowicz |
| 264 | 1 | |a Warszawa |b Panstwowe Wydawnictwo Naukowe |c 1986 | |
| 300 | |a 169 S. | ||
| 490 | 1 | |a Dissertationes mathematicae |v 241 | |
| 500 | |a Literaturverz. S. [157] - 159 | ||
| 650 | 0 | |a Categories (Mathematics) |z Automatisch aus GBV_2011-10 2012-05-15 | |
| 650 | 0 | |a Logic, Symbolic and mathematical |z Automatisch aus GBV_2011-10 2012-05-15 | |
| 650 | 0 | |a Functions |z Automatisch aus GBV_2011-10 2012-05-15 | |
| 689 | 0 | 0 | |a Kategorie |g Mathematik |D s |0 (DE-588)4129930-9 |
| 689 | 0 | 1 | |a Mathematische Logik |D s |0 (DE-588)4037951-6 |
| 689 | 0 | |5 AT-OBV |5 Automatisch aus BVB_2013-06 2013-03-05 | |
| 689 | 1 | 0 | |a Partielle Funktion |A f |
| 689 | 1 | 1 | |a Kategorie |g Mathematik |D s |0 (DE-588)4129930-9 |
| 689 | 1 | |5 AT-OBV |5 Automatisch aus BVB_2013-06 2013-03-05 | |
| 689 | 2 | 0 | |a Kategorientheorie |D s |0 (DE-588)4120552-2 |
| 689 | 2 | 1 | |a Logik |D s |0 (DE-588)4036202-4 |
| 689 | 2 | |5 AT-OBV |5 Automatisch aus BVB_2013-06 2013-03-05 | |
| 830 | 0 | |w (AT-OBV)AC00094393 |v 241 | |
| 970 | 1 | |c 23 | |
| ADM | |b 2024-05-13 13:06:19 Europe/Vienna |d 20 |f System |c marc21 |a 2018-12-24 09:52:49 Europe/Vienna |g false | ||
| HOL | 8 | |b YWOAW |h 84784.241 |c MAG1 |8 2222398560004498 | |
| 852 | 8 | |b YWOAW |c MAG1 |h 84784.241 |8 2222398560004498 | |
| ITM | |9 2222398560004498 |e 1 |m BOOK |b +YW15084702 |i 84784.241 |2 MAG1 |o 19990909 |8 2322398550004498 |f 02 |p 2009-09-11 02:00:00 Europe/Vienna |h 84784.241 |1 YWOAW |q 2022-09-25 22:04:06 Europe/Vienna | ||