Verfügbarkeit: Dependence logic

Dependence logic: theory and applications

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Abramsky, Samson 1953- (HerausgeberIn), Kontinen, Juha (HerausgeberIn), Väänänen, Jouko 1950- (HerausgeberIn), Vollmer, Heribert 1964- (HerausgeberIn)
Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	[Cham] Birkhäuser [2016]
Schlagworte:	Mathematics Logic Mathematical logic Mathematical Logic and Foundations Mathematical Logic and Formal Languages Mathematik
Online-Zugang:	BTU01 FHR01 FRO01 TUM01 UBM01 UBT01 UBW01 UEI01 UPA01 Volltext
Beschreibung:	1 Online-Ressource (XIV, 276 Seiten, 23 illus)
ISBN:	9783319318035
DOI:	10.1007/978-3-319-31803-5

Internformat

MARC


LEADER	00000nmm a2200000zc 4500
001	BV043650591
003	DE-604
005	20220311
007	cr\|uuu---uuuuu
008	160701s2016 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d
020			\|a 9783319318035 \|c Online \|9 978-3-319-31803-5
024	7		\|a 10.1007/978-3-319-31803-5 \|2 doi
035			\|a (ZDB-2-SMA)978-3-319-31803-5
035			\|a (OCoLC)953097555
035			\|a (DE-599)BVBBV043650591
040			\|a DE-604 \|b ger \|e rda
041	0		\|a eng
049			\|a DE-91 \|a DE-19 \|a DE-20 \|a DE-739 \|a DE-634 \|a DE-898 \|a DE-861 \|a DE-703 \|a DE-824 \|a DE-83
082	0		\|a 511.3 \|2 23
084			\|a MAT 000 \|2 stub
245	1	0	\|a Dependence logic \|b theory and applications \|c Samson Abramsky, Juha Kontinen, Jouko Väänänen, Heribert Vollmer, editors
264		1	\|a [Cham] \|b Birkhäuser \|c [2016]
264		4	\|c © 2016
300			\|a 1 Online-Ressource (XIV, 276 Seiten, 23 illus)
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
650		4	\|a Mathematics
650		4	\|a Logic
650		4	\|a Mathematical logic
650		4	\|a Mathematical Logic and Foundations
650		4	\|a Mathematical Logic and Formal Languages
650		4	\|a Mathematik
700	1		\|a Abramsky, Samson \|d 1953- \|0 (DE-588)142172561 \|4 edt
700	1		\|a Kontinen, Juha \|4 edt
700	1		\|a Väänänen, Jouko \|d 1950- \|0 (DE-588)121630544 \|4 edt
700	1		\|a Vollmer, Heribert \|d 1964- \|0 (DE-588)121026027 \|4 edt
776	0	8	\|i Erscheint auch als \|n Druckausgabe \|z 978-3-319-31801-1
856	4	0	\|u https://doi.org/10.1007/978-3-319-31803-5 \|x Verlag \|z URL des Erstveröffentlichers \|3 Volltext
912			\|a ZDB-2-SMA
940	1		\|q ZDB-2-SMA_2016
999			\|a oai:aleph.bib-bvb.de:BVB01-029064198
966	e		\|u https://doi.org/10.1007/978-3-319-31803-5 \|l BTU01 \|p ZDB-2-SMA \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-31803-5 \|l FHR01 \|p ZDB-2-SMA \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-31803-5 \|l FRO01 \|p ZDB-2-SMA \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-31803-5 \|l TUM01 \|p ZDB-2-SMA \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-31803-5 \|l UBM01 \|p ZDB-2-SMA \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-31803-5 \|l UBT01 \|p ZDB-2-SMA \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-31803-5 \|l UBW01 \|p ZDB-2-SMA \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-31803-5 \|l UEI01 \|p ZDB-2-SMA \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-31803-5 \|l UPA01 \|p ZDB-2-SMA \|x Verlag \|3 Volltext

Datensatz im Suchindex

_version_	1804176398182514688
any_adam_object
author2	Abramsky, Samson 1953- Kontinen, Juha Väänänen, Jouko 1950- Vollmer, Heribert 1964-
author2_role	edt edt edt edt
author2_variant	s a sa j k jk j v jv h v hv
author_GND	(DE-588)142172561 (DE-588)121630544 (DE-588)121026027
author_facet	Abramsky, Samson 1953- Kontinen, Juha Väänänen, Jouko 1950- Vollmer, Heribert 1964-
building	Verbundindex
bvnumber	BV043650591
classification_tum	MAT 000
collection	ZDB-2-SMA
ctrlnum	(ZDB-2-SMA)978-3-319-31803-5 (OCoLC)953097555 (DE-599)BVBBV043650591
dewey-full	511.3
dewey-hundreds	500 - Natural sciences and mathematics
dewey-ones	511 - General principles of mathematics
dewey-raw	511.3
dewey-search	511.3
dewey-sort	3511.3
dewey-tens	510 - Mathematics
discipline	Mathematik
doi_str_mv	10.1007/978-3-319-31803-5
format	Electronic eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02538nmm a2200577zc 4500</leader><controlfield tag="001">BV043650591</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20220311 </controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">160701s2016 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319318035</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-31803-5</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-31803-5</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SMA)978-3-319-31803-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)953097555</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043650591</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Dependence logic</subfield><subfield code="b">theory and applications</subfield><subfield code="c">Samson Abramsky, Juha Kontinen, Jouko Väänänen, Heribert Vollmer, editors</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">[Cham]</subfield><subfield code="b">Birkhäuser</subfield><subfield code="c">[2016]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2016</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XIV, 276 Seiten, 23 illus)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Foundations</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Abramsky, Samson</subfield><subfield code="d">1953-</subfield><subfield code="0">(DE-588)142172561</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kontinen, Juha</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Väänänen, Jouko</subfield><subfield code="d">1950-</subfield><subfield code="0">(DE-588)121630544</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Vollmer, Heribert</subfield><subfield code="d">1964-</subfield><subfield code="0">(DE-588)121026027</subfield><subfield code="4">edt</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druckausgabe</subfield><subfield code="z">978-3-319-31801-1</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-31803-5</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SMA</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SMA_2016</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029064198</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-31803-5</subfield><subfield code="l">BTU01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-31803-5</subfield><subfield code="l">FHR01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-31803-5</subfield><subfield code="l">FRO01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-31803-5</subfield><subfield code="l">TUM01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-31803-5</subfield><subfield code="l">UBM01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-31803-5</subfield><subfield code="l">UBT01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-31803-5</subfield><subfield code="l">UBW01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-31803-5</subfield><subfield code="l">UEI01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-31803-5</subfield><subfield code="l">UPA01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection>
id	DE-604.BV043650591
illustrated	Not Illustrated
indexdate	2024-07-10T07:31:33Z
institution	BVB
isbn	9783319318035
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-029064198
oclc_num	953097555
open_access_boolean
owner	DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-20 DE-739 DE-634 DE-898 DE-BY-UBR DE-861 DE-703 DE-824 DE-83
owner_facet	DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-20 DE-739 DE-634 DE-898 DE-BY-UBR DE-861 DE-703 DE-824 DE-83
physical	1 Online-Ressource (XIV, 276 Seiten, 23 illus)
psigel	ZDB-2-SMA ZDB-2-SMA_2016
publishDate	2016
publishDateSearch	2016
publishDateSort	2016
publisher	Birkhäuser
record_format	marc
spelling	Dependence logic theory and applications Samson Abramsky, Juha Kontinen, Jouko Väänänen, Heribert Vollmer, editors [Cham] Birkhäuser [2016] © 2016 1 Online-Ressource (XIV, 276 Seiten, 23 illus) txt rdacontent c rdamedia cr rdacarrier Mathematics Logic Mathematical logic Mathematical Logic and Foundations Mathematical Logic and Formal Languages Mathematik Abramsky, Samson 1953- (DE-588)142172561 edt Kontinen, Juha edt Väänänen, Jouko 1950- (DE-588)121630544 edt Vollmer, Heribert 1964- (DE-588)121026027 edt Erscheint auch als Druckausgabe 978-3-319-31801-1 https://doi.org/10.1007/978-3-319-31803-5 Verlag URL des Erstveröffentlichers Volltext
spellingShingle	Dependence logic theory and applications Mathematics Logic Mathematical logic Mathematical Logic and Foundations Mathematical Logic and Formal Languages Mathematik
title	Dependence logic theory and applications
title_auth	Dependence logic theory and applications
title_exact_search	Dependence logic theory and applications
title_full	Dependence logic theory and applications Samson Abramsky, Juha Kontinen, Jouko Väänänen, Heribert Vollmer, editors
title_fullStr	Dependence logic theory and applications Samson Abramsky, Juha Kontinen, Jouko Väänänen, Heribert Vollmer, editors
title_full_unstemmed	Dependence logic theory and applications Samson Abramsky, Juha Kontinen, Jouko Väänänen, Heribert Vollmer, editors
title_short	Dependence logic
title_sort	dependence logic theory and applications
title_sub	theory and applications
topic	Mathematics Logic Mathematical logic Mathematical Logic and Foundations Mathematical Logic and Formal Languages Mathematik
topic_facet	Mathematics Logic Mathematical logic Mathematical Logic and Foundations Mathematical Logic and Formal Languages Mathematik
url	https://doi.org/10.1007/978-3-319-31803-5
work_keys_str_mv	AT abramskysamson dependencelogictheoryandapplications AT kontinenjuha dependencelogictheoryandapplications AT vaananenjouko dependencelogictheoryandapplications AT vollmerheribert dependencelogictheoryandapplications

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Volltext öffnen

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge