Verfügbarkeit: Computational logic and set theory

Computational logic and set theory: applying formalized logic to analysis

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Schwartz, Jacob T. 1930-2009 (VerfasserIn), Cantone, Domenico (VerfasserIn), Omodeo, Eugenio (VerfasserIn)
Format:	Elektronisch E-Book
Sprache:	Undetermined
Veröffentlicht:	London Springer 2011
Schlagworte:	Analysis Computational logic Mengenlehre Electronic book text
Online-Zugang:	BTU01 FHA01 FHM01 FHN01 FKE01 UBA01 UBG01 UBM01 UBR01 UBT01 UBW01 UBY01 UPA01 Volltext https://nbn-resolving.org/urn:nbn:de:1111-20110715106 http://www.springerlink.com/content/978-0-85729-808-9
Beschreibung:	Lizenzpflichtig
Beschreibung:	XVII, 416 S. Ill., graph. Darst.
ISBN:	9780857298089
DOI:	10.1007/978-0-85729-808-9

Internformat

MARC


LEADER	00000nmm a2200000zc 4500
001	BV039154694
003	DE-604
005	20111124
007	cr\|uuu---uuuuu
008	110722s2011 \|\|\|\| o\|\|u\| \|\|\|\|\|\|und d
015			\|a 11,O08 \|2 dnb
020			\|a 9780857298089 \|c Online \|9 978-0-85729-808-9
024	7		\|a 10.1007/978-0-85729-808-9 \|2 doi
024	7		\|a urn:nbn:de:1111-20110715106 \|2 urn
024	3		\|a 9780857298089
035			\|a (OCoLC)753264043
035			\|a (DE-599)DNB1013566181
040			\|a DE-604 \|b ger
041			\|a und
049			\|a DE-473 \|a DE-M347 \|a DE-20 \|a DE-703 \|a DE-19 \|a DE-Aug4 \|a DE-92 \|a DE-384 \|a DE-355 \|a DE-859 \|a DE-739 \|a DE-706 \|a DE-634
084			\|a ST 125 \|0 (DE-625)143586: \|2 rvk
100	1		\|a Schwartz, Jacob T. \|d 1930-2009 \|e Verfasser \|0 (DE-588)140165908 \|4 aut
245	1	0	\|a Computational logic and set theory \|b applying formalized logic to analysis \|c Jacob T. Schwartz ; Domenico Cantone ; Omodeo G. Eugenio
264		1	\|a London \|b Springer \|c 2011
300			\|a XVII, 416 S. \|b Ill., graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
500			\|a Lizenzpflichtig
650	0	7	\|a Analysis \|0 (DE-588)4001865-9 \|2 gnd \|9 rswk-swf
650	0	7	\|a Computational logic \|0 (DE-588)4255672-7 \|2 gnd \|9 rswk-swf
650	0	7	\|a Mengenlehre \|0 (DE-588)4074715-3 \|2 gnd \|9 rswk-swf
653			\|a Electronic book text
689	0	0	\|a Computational logic \|0 (DE-588)4255672-7 \|D s
689	0	1	\|a Mengenlehre \|0 (DE-588)4074715-3 \|D s
689	0	2	\|a Analysis \|0 (DE-588)4001865-9 \|D s
689	0		\|5 DE-604
700	1		\|a Cantone, Domenico \|e Verfasser \|4 aut
700	1		\|a Omodeo, Eugenio \|e Verfasser \|4 aut
776	0	8	\|i Erscheint auch als \|n Druckausgabe \|z 978-0-85729-807-2
856	4	0	\|u https://doi.org/10.1007/978-0-85729-808-9 \|x Verlag \|3 Volltext
856	4		\|u https://nbn-resolving.org/urn:nbn:de:1111-20110715106 \|x Resolving-System
856	4		\|u http://www.springerlink.com/content/978-0-85729-808-9 \|x Verlag
912			\|a ZDB-2-SCS
999			\|a oai:aleph.bib-bvb.de:BVB01-024172372
966	e		\|u https://doi.org/10.1007/978-0-85729-808-9 \|l BTU01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-0-85729-808-9 \|l FHA01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-0-85729-808-9 \|l FHM01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-0-85729-808-9 \|l FHN01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-0-85729-808-9 \|l FKE01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-0-85729-808-9 \|l UBA01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-0-85729-808-9 \|l UBG01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-0-85729-808-9 \|l UBM01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-0-85729-808-9 \|l UBR01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-0-85729-808-9 \|l UBT01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-0-85729-808-9 \|l UBW01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-0-85729-808-9 \|l UBY01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-0-85729-808-9 \|l UPA01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext

Datensatz im Suchindex

_version_	1804148000309641216
any_adam_object
author	Schwartz, Jacob T. 1930-2009 Cantone, Domenico Omodeo, Eugenio
author_GND	(DE-588)140165908
author_facet	Schwartz, Jacob T. 1930-2009 Cantone, Domenico Omodeo, Eugenio
author_role	aut aut aut
author_sort	Schwartz, Jacob T. 1930-2009
author_variant	j t s jt jts d c dc e o eo
building	Verbundindex
bvnumber	BV039154694
classification_rvk	ST 125
collection	ZDB-2-SCS
ctrlnum	(OCoLC)753264043 (DE-599)DNB1013566181
discipline	Informatik
doi_str_mv	10.1007/978-0-85729-808-9
format	Electronic eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03227nmm a2200661zc 4500</leader><controlfield tag="001">BV039154694</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20111124 </controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">110722s2011 \|\|\|\| o\|\|u\| \|\|\|\|\|\|und d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">11,O08</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780857298089</subfield><subfield code="c">Online</subfield><subfield code="9">978-0-85729-808-9</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-0-85729-808-9</subfield><subfield code="2">doi</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">urn:nbn:de:1111-20110715106</subfield><subfield code="2">urn</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9780857298089</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)753264043</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1013566181</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">und</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 125</subfield><subfield code="0">(DE-625)143586:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Schwartz, Jacob T.</subfield><subfield code="d">1930-2009</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)140165908</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Computational logic and set theory</subfield><subfield code="b">applying formalized logic to analysis</subfield><subfield code="c">Jacob T. Schwartz ; Domenico Cantone ; Omodeo G. Eugenio</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London</subfield><subfield code="b">Springer</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVII, 416 S.</subfield><subfield code="b">Ill., 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="500" ind1=" " ind2=" "><subfield code="a">Lizenzpflichtig</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Analysis</subfield><subfield code="0">(DE-588)4001865-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Computational logic</subfield><subfield code="0">(DE-588)4255672-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mengenlehre</subfield><subfield code="0">(DE-588)4074715-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Electronic book text</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Computational logic</subfield><subfield code="0">(DE-588)4255672-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Mengenlehre</subfield><subfield code="0">(DE-588)4074715-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Analysis</subfield><subfield code="0">(DE-588)4001865-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Cantone, Domenico</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Omodeo, Eugenio</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</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-0-85729-807-2</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-0-85729-808-9</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="u">https://nbn-resolving.org/urn:nbn:de:1111-20110715106</subfield><subfield code="x">Resolving-System</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="u">http://www.springerlink.com/content/978-0-85729-808-9</subfield><subfield code="x">Verlag</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-024172372</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-0-85729-808-9</subfield><subfield code="l">BTU01</subfield><subfield code="p">ZDB-2-SCS</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-0-85729-808-9</subfield><subfield code="l">FHA01</subfield><subfield code="p">ZDB-2-SCS</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-0-85729-808-9</subfield><subfield code="l">FHM01</subfield><subfield code="p">ZDB-2-SCS</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-0-85729-808-9</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-2-SCS</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-0-85729-808-9</subfield><subfield code="l">FKE01</subfield><subfield code="p">ZDB-2-SCS</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-0-85729-808-9</subfield><subfield code="l">UBA01</subfield><subfield code="p">ZDB-2-SCS</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-0-85729-808-9</subfield><subfield code="l">UBG01</subfield><subfield code="p">ZDB-2-SCS</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-0-85729-808-9</subfield><subfield code="l">UBM01</subfield><subfield code="p">ZDB-2-SCS</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-0-85729-808-9</subfield><subfield code="l">UBR01</subfield><subfield code="p">ZDB-2-SCS</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-0-85729-808-9</subfield><subfield code="l">UBT01</subfield><subfield code="p">ZDB-2-SCS</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-0-85729-808-9</subfield><subfield code="l">UBW01</subfield><subfield code="p">ZDB-2-SCS</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-0-85729-808-9</subfield><subfield code="l">UBY01</subfield><subfield code="p">ZDB-2-SCS</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-0-85729-808-9</subfield><subfield code="l">UPA01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection>
id	DE-604.BV039154694
illustrated	Illustrated
indexdate	2024-07-10T00:00:10Z
institution	BVB
isbn	9780857298089
language	Undetermined
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-024172372
oclc_num	753264043
open_access_boolean
owner	DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-19 DE-BY-UBM DE-Aug4 DE-92 DE-384 DE-355 DE-BY-UBR DE-859 DE-739 DE-706 DE-634
owner_facet	DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-19 DE-BY-UBM DE-Aug4 DE-92 DE-384 DE-355 DE-BY-UBR DE-859 DE-739 DE-706 DE-634
physical	XVII, 416 S. Ill., graph. Darst.
psigel	ZDB-2-SCS
publishDate	2011
publishDateSearch	2011
publishDateSort	2011
publisher	Springer
record_format	marc
spelling	Schwartz, Jacob T. 1930-2009 Verfasser (DE-588)140165908 aut Computational logic and set theory applying formalized logic to analysis Jacob T. Schwartz ; Domenico Cantone ; Omodeo G. Eugenio London Springer 2011 XVII, 416 S. Ill., graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lizenzpflichtig Analysis (DE-588)4001865-9 gnd rswk-swf Computational logic (DE-588)4255672-7 gnd rswk-swf Mengenlehre (DE-588)4074715-3 gnd rswk-swf Electronic book text Computational logic (DE-588)4255672-7 s Mengenlehre (DE-588)4074715-3 s Analysis (DE-588)4001865-9 s DE-604 Cantone, Domenico Verfasser aut Omodeo, Eugenio Verfasser aut Erscheint auch als Druckausgabe 978-0-85729-807-2 https://doi.org/10.1007/978-0-85729-808-9 Verlag Volltext https://nbn-resolving.org/urn:nbn:de:1111-20110715106 Resolving-System http://www.springerlink.com/content/978-0-85729-808-9 Verlag
spellingShingle	Schwartz, Jacob T. 1930-2009 Cantone, Domenico Omodeo, Eugenio Computational logic and set theory applying formalized logic to analysis Analysis (DE-588)4001865-9 gnd Computational logic (DE-588)4255672-7 gnd Mengenlehre (DE-588)4074715-3 gnd
subject_GND	(DE-588)4001865-9 (DE-588)4255672-7 (DE-588)4074715-3
title	Computational logic and set theory applying formalized logic to analysis
title_auth	Computational logic and set theory applying formalized logic to analysis
title_exact_search	Computational logic and set theory applying formalized logic to analysis
title_full	Computational logic and set theory applying formalized logic to analysis Jacob T. Schwartz ; Domenico Cantone ; Omodeo G. Eugenio
title_fullStr	Computational logic and set theory applying formalized logic to analysis Jacob T. Schwartz ; Domenico Cantone ; Omodeo G. Eugenio
title_full_unstemmed	Computational logic and set theory applying formalized logic to analysis Jacob T. Schwartz ; Domenico Cantone ; Omodeo G. Eugenio
title_short	Computational logic and set theory
title_sort	computational logic and set theory applying formalized logic to analysis
title_sub	applying formalized logic to analysis
topic	Analysis (DE-588)4001865-9 gnd Computational logic (DE-588)4255672-7 gnd Mengenlehre (DE-588)4074715-3 gnd
topic_facet	Analysis Computational logic Mengenlehre
url	https://doi.org/10.1007/978-0-85729-808-9 https://nbn-resolving.org/urn:nbn:de:1111-20110715106 http://www.springerlink.com/content/978-0-85729-808-9
work_keys_str_mv	AT schwartzjacobt computationallogicandsettheoryapplyingformalizedlogictoanalysis AT cantonedomenico computationallogicandsettheoryapplyingformalizedlogictoanalysis AT omodeoeugenio computationallogicandsettheoryapplyingformalizedlogictoanalysis

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