Staff View: Identity of proofs

Saved in:

Bibliographic Details
Superior document:	Stockholm studies in philosophy 22
VerfasserIn:	Widebäck, Filip
Place / Publishing House:	Stockholm : Almqvist & Wiksell, 2001
Year of Publication:	2001
Language:	English
Series:	Stockholm studies in philosophy 22 Acta Universitatis Stockholmiensis
Classification:	31.10 - Mathematische Logik. Mengenlehre
Physical Description:	85 S.; 24 cm
Notes:	Literaturverz. S. 83 - 85
Tags:	Add Tag No Tags, Be the first to tag this record!


LEADER	00917nam#a2200313zcb4500
001	990000491550504498
005	20230310214535.0
007	tu
008	021004\|2001####\|\|\|######m####\|\|\|#\|#eng#c
009	AC03532692
020			\|a 9122019405
035			\|a (AT-OBV)AC03532692
035			\|a AC03532692
035			\|a (Aleph)003523853ACC01
035			\|a (DE-599)OBVAC03532692
035			\|a (EXLNZ-43ACC_NETWORK)990035238530203331
040			\|a OAW \|b ger \|d OAW \|e rakwb
041			\|a eng
044			\|c XA-SE
084			\|a 31.10 \|2 bkl \|9 O: Automatisch aus GBV_2011-10 2012-06-07
100	1		\|a Widebäck, Filip \|4 aut
245	1	0	\|a Identity of proofs \|c Filip Widebäck
264		1	\|a Stockholm \|b Almqvist & Wiksell \|c 2001
300			\|a 85 S. \|c 24 cm
490	1		\|a Stockholm studies in philosophy \|v 22
490	0		\|a Acta Universitatis Stockholmiensis
500			\|a Literaturverz. S. 83 - 85
502			\|a Zugl. Stockholm, Univ., Diss., 2001
830		0	\|w (AT-OBV)AC01856348 \|v 22
970	1		\|c 04
ADM			\|b 2023-03-10 21:45:35 Europe/Vienna \|d 20 \|f System \|c marc21 \|a 2018-12-24 05:27:14 Europe/Vienna \|g false
HOL	8		\|b YWOAW \|h 89636.22 \|c MAG1 \|8 2214543090004498
852	8		\|b YWOAW \|c MAG1 \|h 89636.22 \|8 2214543090004498
ITM			\|9 2214543090004498 \|e 1 \|m BOOK \|b +YW546409 \|i 89636.22 \|2 MAG1 \|o 20021004 \|8 2314543080004498 \|f 02 \|p 2002-10-04 02:00:00 Europe/Vienna \|h 89636.22 \|1 YWOAW \|q 2022-08-16 17:29:54 Europe/Vienna