Holdings: Dual Tableaux :: THWS Bibkatalog

Dual Tableaux: foundations, methodology, case studies

Saved in:

Bibliographic Details
Main Authors:	Orłowska, Ewa 1935- (Author), Golińska-Pilarek, Joanna 1976- (Author)
Format:	Electronic eBook
Language:	English
Published:	Dordrecht [u.a.] Springer 2011
Series:	Trends in logic 33
Subjects:	Mathematische Logik Deduktion Logikkalkül
Online Access:	BTU01 TUM01 UBA01 UBM01 UBT01 UBW01 UER01 UPA01 Volltext
Physical Description:	1 Online-Ressource (XVI, 523 S.) graph. Darst.
ISBN:	9789400700048 9789400700055
DOI:	10.1007/978-94-007-0005-5

Staff View

MARC


LEADER	00000nmm a2200000 cb4500
001	BV039821514
003	DE-604
005	20160129
007	cr\|uuu---uuuuu
008	120120s2011 gw \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d
020			\|a 9789400700048 \|9 978-94-007-0004-8
020			\|a 9789400700055 \|c Online \|9 978-94-007-0005-5
024	7		\|a 10.1007/978-94-007-0005-5 \|2 doi
035			\|a (OCoLC)780368158
035			\|a (DE-599)BVBBV039821514
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
044			\|a gw \|c XA-DE-BE
049			\|a DE-634 \|a DE-20 \|a DE-703 \|a DE-19 \|a DE-91 \|a DE-29 \|a DE-739 \|a DE-384 \|a DE-83
082	0		\|a 511.3
084			\|a CC 2600 \|0 (DE-625)17610: \|2 rvk
084			\|a 510 \|2 sdnb
084			\|a MAT 000 \|2 stub
100	1		\|a Orłowska, Ewa \|d 1935- \|e Verfasser \|0 (DE-588)122556100 \|4 aut
245	1	0	\|a Dual Tableaux \|b foundations, methodology, case studies \|c Ewa Orlowska ; Joanna Golińska-Pilarek
264		1	\|a Dordrecht [u.a.] \|b Springer \|c 2011
300			\|a 1 Online-Ressource (XVI, 523 S.) \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	1		\|a Trends in logic \|v 33
650	0	7	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Deduktion \|0 (DE-588)4011271-8 \|2 gnd \|9 rswk-swf
650	0	7	\|a Logikkalkül \|0 (DE-588)4353514-8 \|2 gnd \|9 rswk-swf
689	0	0	\|a Deduktion \|0 (DE-588)4011271-8 \|D s
689	0	1	\|a Logikkalkül \|0 (DE-588)4353514-8 \|D s
689	0		\|5 DE-604
689	1	0	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|D s
689	1		\|8 1\p \|5 DE-604
700	1		\|a Golińska-Pilarek, Joanna \|d 1976- \|e Verfasser \|0 (DE-588)1176732110 \|4 aut
830		0	\|a Trends in logic \|v 33 \|w (DE-604)BV043326888 \|9 33
856	4	0	\|u https://doi.org/10.1007/978-94-007-0005-5 \|x Verlag \|z URL des Erstveröffentlichers \|3 Volltext
912			\|a ZDB-2-SMA
999			\|a oai:aleph.bib-bvb.de:BVB01-024681630
883	1		\|8 1\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
966	e		\|u https://doi.org/10.1007/978-94-007-0005-5 \|l BTU01 \|p ZDB-2-SMA \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-94-007-0005-5 \|l TUM01 \|p ZDB-2-SMA \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-94-007-0005-5 \|l UBA01 \|p ZDB-2-SMA \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-94-007-0005-5 \|l UBM01 \|p ZDB-2-SMA \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-94-007-0005-5 \|l UBT01 \|p ZDB-2-SMA \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-94-007-0005-5 \|l UBW01 \|p ZDB-2-SMA \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-94-007-0005-5 \|l UER01 \|p ZDB-2-SMA \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-94-007-0005-5 \|l UPA01 \|p ZDB-2-SMA \|x Verlag \|3 Volltext

Record in the Search Index

_version_	1804148756702035968
any_adam_object
author	Orłowska, Ewa 1935- Golińska-Pilarek, Joanna 1976-
author_GND	(DE-588)122556100 (DE-588)1176732110
author_facet	Orłowska, Ewa 1935- Golińska-Pilarek, Joanna 1976-
author_role	aut aut
author_sort	Orłowska, Ewa 1935-
author_variant	e o eo j g p jgp
building	Verbundindex
bvnumber	BV039821514
classification_rvk	CC 2600
classification_tum	MAT 000
collection	ZDB-2-SMA
ctrlnum	(OCoLC)780368158 (DE-599)BVBBV039821514
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 Philosophie
doi_str_mv	10.1007/978-94-007-0005-5
format	Electronic eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02688nmm a2200601 cb4500</leader><controlfield tag="001">BV039821514</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160129 </controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">120120s2011 gw \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789400700048</subfield><subfield code="9">978-94-007-0004-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789400700055</subfield><subfield code="c">Online</subfield><subfield code="9">978-94-007-0005-5</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-94-007-0005-5</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)780368158</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV039821514</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-634</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="0">(DE-625)17610:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">510</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Orłowska, Ewa</subfield><subfield code="d">1935-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)122556100</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Dual Tableaux</subfield><subfield code="b">foundations, methodology, case studies</subfield><subfield code="c">Ewa Orlowska ; Joanna Golińska-Pilarek</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Dordrecht [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XVI, 523 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">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="490" ind1="1" ind2=" "><subfield code="a">Trends in logic</subfield><subfield code="v">33</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="650" ind1="0" ind2="7"><subfield code="a">Deduktion</subfield><subfield code="0">(DE-588)4011271-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logikkalkül</subfield><subfield code="0">(DE-588)4353514-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Deduktion</subfield><subfield code="0">(DE-588)4011271-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Logikkalkül</subfield><subfield code="0">(DE-588)4353514-8</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">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</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="700" ind1="1" ind2=" "><subfield code="a">Golińska-Pilarek, Joanna</subfield><subfield code="d">1976-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1176732110</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Trends in logic</subfield><subfield code="v">33</subfield><subfield code="w">(DE-604)BV043326888</subfield><subfield code="9">33</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-94-007-0005-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="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-024681630</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="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-94-007-0005-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-94-007-0005-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-94-007-0005-5</subfield><subfield code="l">UBA01</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-94-007-0005-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-94-007-0005-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-94-007-0005-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-94-007-0005-5</subfield><subfield code="l">UER01</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-94-007-0005-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.BV039821514
illustrated	Not Illustrated
indexdate	2024-07-10T00:12:12Z
institution	BVB
isbn	9789400700048 9789400700055
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-024681630
oclc_num	780368158
open_access_boolean
owner	DE-634 DE-20 DE-703 DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-29 DE-739 DE-384 DE-83
owner_facet	DE-634 DE-20 DE-703 DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-29 DE-739 DE-384 DE-83
physical	1 Online-Ressource (XVI, 523 S.) graph. Darst.
psigel	ZDB-2-SMA
publishDate	2011
publishDateSearch	2011
publishDateSort	2011
publisher	Springer
record_format	marc
series	Trends in logic
series2	Trends in logic
spelling	Orłowska, Ewa 1935- Verfasser (DE-588)122556100 aut Dual Tableaux foundations, methodology, case studies Ewa Orlowska ; Joanna Golińska-Pilarek Dordrecht [u.a.] Springer 2011 1 Online-Ressource (XVI, 523 S.) graph. Darst. txt rdacontent c rdamedia cr rdacarrier Trends in logic 33 Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Deduktion (DE-588)4011271-8 gnd rswk-swf Logikkalkül (DE-588)4353514-8 gnd rswk-swf Deduktion (DE-588)4011271-8 s Logikkalkül (DE-588)4353514-8 s DE-604 Mathematische Logik (DE-588)4037951-6 s 1\p DE-604 Golińska-Pilarek, Joanna 1976- Verfasser (DE-588)1176732110 aut Trends in logic 33 (DE-604)BV043326888 33 https://doi.org/10.1007/978-94-007-0005-5 Verlag URL des Erstveröffentlichers Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk
spellingShingle	Orłowska, Ewa 1935- Golińska-Pilarek, Joanna 1976- Dual Tableaux foundations, methodology, case studies Trends in logic Mathematische Logik (DE-588)4037951-6 gnd Deduktion (DE-588)4011271-8 gnd Logikkalkül (DE-588)4353514-8 gnd
subject_GND	(DE-588)4037951-6 (DE-588)4011271-8 (DE-588)4353514-8
title	Dual Tableaux foundations, methodology, case studies
title_auth	Dual Tableaux foundations, methodology, case studies
title_exact_search	Dual Tableaux foundations, methodology, case studies
title_full	Dual Tableaux foundations, methodology, case studies Ewa Orlowska ; Joanna Golińska-Pilarek
title_fullStr	Dual Tableaux foundations, methodology, case studies Ewa Orlowska ; Joanna Golińska-Pilarek
title_full_unstemmed	Dual Tableaux foundations, methodology, case studies Ewa Orlowska ; Joanna Golińska-Pilarek
title_short	Dual Tableaux
title_sort	dual tableaux foundations methodology case studies
title_sub	foundations, methodology, case studies
topic	Mathematische Logik (DE-588)4037951-6 gnd Deduktion (DE-588)4011271-8 gnd Logikkalkül (DE-588)4353514-8 gnd
topic_facet	Mathematische Logik Deduktion Logikkalkül
url	https://doi.org/10.1007/978-94-007-0005-5
volume_link	(DE-604)BV043326888
work_keys_str_mv	AT orłowskaewa dualtableauxfoundationsmethodologycasestudies AT golinskapilarekjoanna dualtableauxfoundationsmethodologycasestudies

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Get full text

MARC

Record in the Search Index

There is no print copy available.

Similar Items