Holdings: Topology via logic :: THWS Bibkatalog

Topology via logic:

Saved in:

Bibliographic Details
Main Author:	Vickers, Steven (Author)
Format:	Book
Language:	English
Published:	Cambridge u.a. Univ. Pr. 1989
Edition:	1. publ.
Series:	Cambridge tracts in theoretical computer science 5
Subjects:	Topologie Topology Topologischer Raum Informatik Mathematische Logik
Physical Description:	200 S. graph. Darst.
ISBN:	0521360625

Staff View

MARC


LEADER	00000nam a2200000 cb4500
001	BV004017394
003	DE-604
005	00000000000000.0
007	t
008	900918s1989 d\|\|\| \|\|\|\| 00\|\|\| engod
020			\|a 0521360625 \|9 0-521-36062-5
035			\|a (OCoLC)489928828
035			\|a (DE-599)BVBBV004017394
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
049			\|a DE-91G \|a DE-739 \|a DE-83 \|a DE-188
050		0	\|a QA611
082	0		\|a 514 \|2 19
084			\|a SK 280 \|0 (DE-625)143228: \|2 rvk
100	1		\|a Vickers, Steven \|e Verfasser \|4 aut
245	1	0	\|a Topology via logic
250			\|a 1. publ.
264		1	\|a Cambridge u.a. \|b Univ. Pr. \|c 1989
300			\|a 200 S. \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Cambridge tracts in theoretical computer science \|v 5
650		7	\|a Topologie \|2 ram
650		4	\|a Topology
650	0	7	\|a Topologischer Raum \|0 (DE-588)4137586-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Informatik \|0 (DE-588)4026894-9 \|2 gnd \|9 rswk-swf
650	0	7	\|a Topologie \|0 (DE-588)4060425-1 \|2 gnd \|9 rswk-swf
650	0	7	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|2 gnd \|9 rswk-swf
689	0	0	\|a Topologie \|0 (DE-588)4060425-1 \|D s
689	0		\|5 DE-604
689	1	0	\|a Informatik \|0 (DE-588)4026894-9 \|D s
689	1		\|8 1\p \|5 DE-604
689	2	0	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|D s
689	2		\|8 2\p \|5 DE-604
689	3	0	\|a Topologischer Raum \|0 (DE-588)4137586-5 \|D s
689	3		\|8 3\p \|5 DE-604
830		0	\|a Cambridge tracts in theoretical computer science \|v 5 \|w (DE-604)BV000754528 \|9 5
999			\|a oai:aleph.bib-bvb.de:BVB01-002518551
883	1		\|8 1\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
883	1		\|8 2\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
883	1		\|8 3\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk

Record in the Search Index

_version_	1804118257528995840
any_adam_object
author	Vickers, Steven
author_facet	Vickers, Steven
author_role	aut
author_sort	Vickers, Steven
author_variant	s v sv
building	Verbundindex
bvnumber	BV004017394
callnumber-first	Q - Science
callnumber-label	QA611
callnumber-raw	QA611
callnumber-search	QA611
callnumber-sort	QA 3611
callnumber-subject	QA - Mathematics
classification_rvk	SK 280
ctrlnum	(OCoLC)489928828 (DE-599)BVBBV004017394
dewey-full	514
dewey-hundreds	500 - Natural sciences and mathematics
dewey-ones	514 - Topology
dewey-raw	514
dewey-search	514
dewey-sort	3514
dewey-tens	510 - Mathematics
discipline	Mathematik
edition	1. publ.
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01863nam a2200529 cb4500</leader><controlfield tag="001">BV004017394</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">900918s1989 d\|\|\| \|\|\|\| 00\|\|\| engod</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0521360625</subfield><subfield code="9">0-521-36062-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)489928828</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV004017394</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA611</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">514</subfield><subfield code="2">19</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 280</subfield><subfield code="0">(DE-625)143228:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Vickers, Steven</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Topology via logic</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. publ.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge u.a.</subfield><subfield code="b">Univ. Pr.</subfield><subfield code="c">1989</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">200 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Cambridge tracts in theoretical computer science</subfield><subfield code="v">5</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Topologie</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Topology</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Topologischer Raum</subfield><subfield code="0">(DE-588)4137586-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Topologie</subfield><subfield code="0">(DE-588)4060425-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Topologie</subfield><subfield code="0">(DE-588)4060425-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Topologischer Raum</subfield><subfield code="0">(DE-588)4137586-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Cambridge tracts in theoretical computer science</subfield><subfield code="v">5</subfield><subfield code="w">(DE-604)BV000754528</subfield><subfield code="9">5</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-002518551</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection>
id	DE-604.BV004017394
illustrated	Illustrated
indexdate	2024-07-09T16:07:25Z
institution	BVB
isbn	0521360625
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-002518551
oclc_num	489928828
open_access_boolean
owner	DE-91G DE-BY-TUM DE-739 DE-83 DE-188
owner_facet	DE-91G DE-BY-TUM DE-739 DE-83 DE-188
physical	200 S. graph. Darst.
publishDate	1989
publishDateSearch	1989
publishDateSort	1989
publisher	Univ. Pr.
record_format	marc
series	Cambridge tracts in theoretical computer science
series2	Cambridge tracts in theoretical computer science
spelling	Vickers, Steven Verfasser aut Topology via logic 1. publ. Cambridge u.a. Univ. Pr. 1989 200 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Cambridge tracts in theoretical computer science 5 Topologie ram Topology Topologischer Raum (DE-588)4137586-5 gnd rswk-swf Informatik (DE-588)4026894-9 gnd rswk-swf Topologie (DE-588)4060425-1 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Topologie (DE-588)4060425-1 s DE-604 Informatik (DE-588)4026894-9 s 1\p DE-604 Mathematische Logik (DE-588)4037951-6 s 2\p DE-604 Topologischer Raum (DE-588)4137586-5 s 3\p DE-604 Cambridge tracts in theoretical computer science 5 (DE-604)BV000754528 5 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk
spellingShingle	Vickers, Steven Topology via logic Cambridge tracts in theoretical computer science Topologie ram Topology Topologischer Raum (DE-588)4137586-5 gnd Informatik (DE-588)4026894-9 gnd Topologie (DE-588)4060425-1 gnd Mathematische Logik (DE-588)4037951-6 gnd
subject_GND	(DE-588)4137586-5 (DE-588)4026894-9 (DE-588)4060425-1 (DE-588)4037951-6
title	Topology via logic
title_auth	Topology via logic
title_exact_search	Topology via logic
title_full	Topology via logic
title_fullStr	Topology via logic
title_full_unstemmed	Topology via logic
title_short	Topology via logic
title_sort	topology via logic
topic	Topologie ram Topology Topologischer Raum (DE-588)4137586-5 gnd Informatik (DE-588)4026894-9 gnd Topologie (DE-588)4060425-1 gnd Mathematische Logik (DE-588)4037951-6 gnd
topic_facet	Topologie Topology Topologischer Raum Informatik Mathematische Logik
volume_link	(DE-604)BV000754528
work_keys_str_mv	AT vickerssteven topologyvialogic

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection!

MARC

Record in the Search Index

There is no print copy available.

Similar Items