The logic of categories of partial functions and its applications

The logic of categories of partial functions and its applications / Adam Obtulowicz

Saved in:
Bibliographic Details
Superior document:Dissertationes mathematicae 241
VerfasserIn:
Obtulowicz, Adam
Place / Publishing House:Warszawa : Panstwowe Wydawnictwo Naukowe, 1986
Year of Publication:1986
Language:German
Series:Dissertationes mathematicae 241
Subjects:
Kategorie Mathematik (DE-588)4129930-9 Mathematische Logik (DE-588)4037951-6
Partielle Funktion Kategorie Mathematik (DE-588)4129930-9
Kategorientheorie (DE-588)4120552-2 Logik (DE-588)4036202-4
Physical Description:169 S.
Notes:Literaturverz. S. [157] - 159
Tags: Add Tag
No Tags, Be the first to tag this record!
id 990001908170504498
ctrlnum AC02058516
(AT-OBV)AC02058516
(Aleph)000075773ACC01
(DE-599)OBVAC02058516
(EXLNZ-43ACC_NETWORK)990000757730203331
collection bib_alma
institution YWOAW
building MAG1
record_format marc
spelling Obtulowicz, Adam aut
<<The>> logic of categories of partial functions and its applications Adam Obtulowicz
Warszawa Panstwowe Wydawnictwo Naukowe 1986
169 S.
Dissertationes mathematicae 241
Literaturverz. S. [157] - 159
Categories (Mathematics) Automatisch aus GBV_2011-10 2012-05-15
Logic, Symbolic and mathematical Automatisch aus GBV_2011-10 2012-05-15
Functions Automatisch aus GBV_2011-10 2012-05-15
Kategorie Mathematik s (DE-588)4129930-9
Mathematische Logik s (DE-588)4037951-6
AT-OBV Automatisch aus BVB_2013-06 2013-03-05
Partielle Funktion f
Kategorientheorie s (DE-588)4120552-2
Logik s (DE-588)4036202-4
(AT-OBV)AC00094393 241
YWOAW MAG1 84784.241 2222398560004498
language German
format Book
author Obtulowicz, Adam
spellingShingle Obtulowicz, Adam
The logic of categories of partial functions and its applications
Dissertationes mathematicae
Kategorie (DE-588)4129930-9
Mathematische Logik (DE-588)4037951-6
Partielle Funktion
Kategorientheorie (DE-588)4120552-2
Logik (DE-588)4036202-4
author_facet Obtulowicz, Adam
author_variant a o ao
author_role VerfasserIn
author_sort Obtulowicz, Adam
title The logic of categories of partial functions and its applications
title_full The logic of categories of partial functions and its applications Adam Obtulowicz
title_fullStr The logic of categories of partial functions and its applications Adam Obtulowicz
title_full_unstemmed The logic of categories of partial functions and its applications Adam Obtulowicz
title_auth The logic of categories of partial functions and its applications
title_new The logic of categories of partial functions and its applications
title_sort logic of categories of partial functions and its applications
series Dissertationes mathematicae
series2 Dissertationes mathematicae
publisher Panstwowe Wydawnictwo Naukowe
publishDate 1986
physical 169 S.
isbn 8301064544
callnumber-raw 84784.241
callnumber-search 84784.241
topic Kategorie (DE-588)4129930-9
Mathematische Logik (DE-588)4037951-6
Partielle Funktion
Kategorientheorie (DE-588)4120552-2
Logik (DE-588)4036202-4
topic_facet Kategorie
Mathematische Logik
Partielle Funktion
Kategorientheorie
Logik
geographic_facet Automatisch aus GBV_2011-10 2012-05-15
illustrated Not Illustrated
work_keys_str_mv AT obtulowiczadam thelogicofcategoriesofpartialfunctionsanditsapplications
status_str n
ids_txt_mv (AT-OBV)AC02058516
AC02058516
(Aleph)000075773ACC01
(DE-599)OBVAC02058516
(EXLNZ-43ACC_NETWORK)990000757730203331
hol852bOwn_txt_mv YWOAW
hol852hSignatur_txt_mv 84784.241
hol852cSonderstandort_txt_mv MAG1
itmData_txt_mv 2009-09-11 02:00:00 Europe/Vienna
barcode_str_mv +YW15084702
callnumbers_txt_mv 84784.241
inventoryNumbers_str_mv 84784.241
materialTypes_str_mv BOOK
permanentLibraries_str_mv YWOAW
permanentLocations_str_mv MAG1
inventoryDates_str_mv 19990909
createdDates_str_mv 2009-09-11 02:00:00 Europe/Vienna
holdingIds_str_mv 2222398560004498
hierarchy_parent_id AC00094393
hierarchy_parent_title Dissertationes mathematicae 241
hierarchy_sequence 241
is_hierarchy_id AC02058516
is_hierarchy_title <<The>> logic of categories of partial functions and its applications
container_title Dissertationes mathematicae 241
container_reference AC00094393
_version_ 1798966363548549120
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01613nam#a2200433zcb4500</leader><controlfield tag="001">990001908170504498</controlfield><controlfield tag="005">20230428195314.0</controlfield><controlfield tag="007">tu</controlfield><controlfield tag="008">970826|1986####|||###########|||#|#ger#c</controlfield><controlfield tag="009">AC02058516</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">8301064544</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(AT-OBV)AC02058516</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">AC02058516</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Aleph)000075773ACC01</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)OBVAC02058516</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EXLNZ-43ACC_NETWORK)990000757730203331</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">RET</subfield><subfield code="b">ger</subfield><subfield code="d">OAW</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="c">XA-PL</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SI 390</subfield><subfield code="2">rvk</subfield><subfield code="9">O: Automatisch aus BVB_2013-06 2013-03-05</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Obtulowicz, Adam</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The logic of categories of partial functions and its applications</subfield><subfield code="c">Adam Obtulowicz</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Warszawa</subfield><subfield code="b">Panstwowe Wydawnictwo Naukowe</subfield><subfield code="c">1986</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">169 S.</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Dissertationes mathematicae</subfield><subfield code="v">241</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. [157] - 159</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Categories (Mathematics)</subfield><subfield code="z">Automatisch aus GBV_2011-10 2012-05-15</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="z">Automatisch aus GBV_2011-10 2012-05-15</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Functions</subfield><subfield code="z">Automatisch aus GBV_2011-10 2012-05-15</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Kategorie</subfield><subfield code="g">Mathematik</subfield><subfield code="D">s</subfield><subfield code="0">(DE-588)4129930-9</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Mathematische Logik</subfield><subfield code="D">s</subfield><subfield code="0">(DE-588)4037951-6</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">AT-OBV</subfield><subfield code="5">Automatisch aus BVB_2013-06 2013-03-05</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Partielle Funktion</subfield><subfield code="A">f</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Kategorie</subfield><subfield code="g">Mathematik</subfield><subfield code="D">s</subfield><subfield code="0">(DE-588)4129930-9</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">AT-OBV</subfield><subfield code="5">Automatisch aus BVB_2013-06 2013-03-05</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Kategorientheorie</subfield><subfield code="D">s</subfield><subfield code="0">(DE-588)4120552-2</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Logik</subfield><subfield code="D">s</subfield><subfield code="0">(DE-588)4036202-4</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">AT-OBV</subfield><subfield code="5">Automatisch aus BVB_2013-06 2013-03-05</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="w">(AT-OBV)AC00094393</subfield><subfield code="v">241</subfield></datafield><datafield tag="970" ind1="1" ind2=" "><subfield code="c">23</subfield></datafield><datafield tag="ADM" ind1=" " ind2=" "><subfield code="b">2024-05-13 13:06:19 Europe/Vienna</subfield><subfield code="d">20</subfield><subfield code="f">System</subfield><subfield code="c">marc21</subfield><subfield code="a">2018-12-24 09:52:49 Europe/Vienna</subfield><subfield code="g">false</subfield></datafield><datafield tag="HOL" ind1="8" ind2=" "><subfield code="b">YWOAW</subfield><subfield code="h">84784.241</subfield><subfield code="c">MAG1</subfield><subfield code="8">2222398560004498</subfield></datafield><datafield tag="852" ind1="8" ind2=" "><subfield code="b">YWOAW</subfield><subfield code="c">MAG1</subfield><subfield code="h">84784.241</subfield><subfield code="8">2222398560004498</subfield></datafield><datafield tag="ITM" ind1=" " ind2=" "><subfield code="9">2222398560004498</subfield><subfield code="e">1</subfield><subfield code="m">BOOK</subfield><subfield code="b">+YW15084702</subfield><subfield code="i">84784.241</subfield><subfield code="2">MAG1</subfield><subfield code="o">19990909</subfield><subfield code="8">2322398550004498</subfield><subfield code="f">02</subfield><subfield code="p">2009-09-11 02:00:00 Europe/Vienna</subfield><subfield code="h">84784.241</subfield><subfield code="1">YWOAW</subfield><subfield code="q">2022-09-25 22:04:06 Europe/Vienna</subfield></datafield></record></collection>

Similar Items