Holdings: Introductory logic and sets for computer scientists

Introductory logic and sets for computer scientists:

Saved in:

Bibliographic Details
Main Author:	Nissanke, Nimal 1943- (Author)
Format:	Book
Language:	English
Published:	Harlow [u.a.] Addison-Wesley 1999
Series:	International computer science series
Subjects:	Logique informatique algèbre booléenne induction mathématique logique predicat logique propositionnelle raisonnement logique théorie jeu Computer logic Set theory Informatik Logische Programmierung Numerische Mathematik Software Engineering Mathematische Logik Mengenlehre Logik Einführung
Physical Description:	XVI, 384 S. graph. Darst.
ISBN:	0201179571

Staff View

MARC


LEADER	00000nam a2200000 c 4500
001	BV011915138
003	DE-604
005	19981229
007	t
008	980430s1999 d\|\|\| \|\|\|\| 00\|\|\| eng d
020			\|a 0201179571 \|9 0-201-17957-1
035			\|a (OCoLC)39300172
035			\|a (DE-599)BVBBV011915138
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
049			\|a DE-739 \|a DE-522 \|a DE-634
050		0	\|a QA76.9.L63
082	0		\|a 004/.01/5113 \|2 21
084			\|a SK 130 \|0 (DE-625)143216: \|2 rvk
100	1		\|a Nissanke, Nimal \|d 1943- \|e Verfasser \|0 (DE-588)121113426 \|4 aut
245	1	0	\|a Introductory logic and sets for computer scientists \|c Nimal Nissanke
264		1	\|a Harlow [u.a.] \|b Addison-Wesley \|c 1999
300			\|a XVI, 384 S. \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	0		\|a International computer science series
650		7	\|a Logique informatique \|2 ram
650		7	\|a algèbre booléenne \|2 inriac
650		7	\|a induction mathématique \|2 inriac
650		7	\|a logique predicat \|2 inriac
650		7	\|a logique propositionnelle \|2 inriac
650		7	\|a raisonnement logique \|2 inriac
650		7	\|a théorie jeu \|2 inriac
650		4	\|a Computer logic
650		4	\|a Set theory
650	0	7	\|a Informatik \|0 (DE-588)4026894-9 \|2 gnd \|9 rswk-swf
650	0	7	\|a Logische Programmierung \|0 (DE-588)4195096-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Numerische Mathematik \|0 (DE-588)4042805-9 \|2 gnd \|9 rswk-swf
650	0	7	\|a Software Engineering \|0 (DE-588)4116521-4 \|2 gnd \|9 rswk-swf
650	0	7	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Mengenlehre \|0 (DE-588)4074715-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Logik \|0 (DE-588)4036202-4 \|2 gnd \|9 rswk-swf
655		7	\|8 1\p \|0 (DE-588)4151278-9 \|a Einführung \|2 gnd-content
689	0	0	\|a Logische Programmierung \|0 (DE-588)4195096-3 \|D s
689	0		\|5 DE-604
689	1	0	\|a Software Engineering \|0 (DE-588)4116521-4 \|D s
689	1		\|5 DE-604
689	2	0	\|a Informatik \|0 (DE-588)4026894-9 \|D s
689	2	1	\|a Logik \|0 (DE-588)4036202-4 \|D s
689	2	2	\|a Mengenlehre \|0 (DE-588)4074715-3 \|D s
689	2		\|8 2\p \|5 DE-604
689	3	0	\|a Mengenlehre \|0 (DE-588)4074715-3 \|D s
689	3	1	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|D s
689	3		\|8 3\p \|5 DE-604
689	4	0	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|D s
689	4	1	\|a Numerische Mathematik \|0 (DE-588)4042805-9 \|D s
689	4		\|8 4\p \|5 DE-604
999			\|a oai:aleph.bib-bvb.de:BVB01-008053637
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
883	1		\|8 4\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk

Record in the Search Index

_version_	1804126503293681664
any_adam_object
author	Nissanke, Nimal 1943-
author_GND	(DE-588)121113426
author_facet	Nissanke, Nimal 1943-
author_role	aut
author_sort	Nissanke, Nimal 1943-
author_variant	n n nn
building	Verbundindex
bvnumber	BV011915138
callnumber-first	Q - Science
callnumber-label	QA76
callnumber-raw	QA76.9.L63
callnumber-search	QA76.9.L63
callnumber-sort	QA 276.9 L63
callnumber-subject	QA - Mathematics
classification_rvk	SK 130
ctrlnum	(OCoLC)39300172 (DE-599)BVBBV011915138
dewey-full	004/.01/5113
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	004 - Computer science
dewey-raw	004/.01/5113
dewey-search	004/.01/5113
dewey-sort	14 11 45113
dewey-tens	000 - Computer science, information, general works
discipline	Informatik Mathematik
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02788nam a2200721 c 4500</leader><controlfield tag="001">BV011915138</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19981229 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">980430s1999 d\|\|\| \|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0201179571</subfield><subfield code="9">0-201-17957-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)39300172</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011915138</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-739</subfield><subfield code="a">DE-522</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.L63</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004/.01/5113</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Nissanke, Nimal</subfield><subfield code="d">1943-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)121113426</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Introductory logic and sets for computer scientists</subfield><subfield code="c">Nimal Nissanke</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Harlow [u.a.]</subfield><subfield code="b">Addison-Wesley</subfield><subfield code="c">1999</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVI, 384 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="0" ind2=" "><subfield code="a">International computer science series</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logique informatique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">algèbre booléenne</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">induction mathématique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique predicat</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique propositionnelle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">raisonnement logique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">théorie jeu</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Set theory</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">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Numerische Mathematik</subfield><subfield code="0">(DE-588)4042805-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</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="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="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><subfield code="0">(DE-588)4151278-9</subfield><subfield code="a">Einführung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</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">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" 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="2" ind2="1"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="2"><subfield code="a">Mengenlehre</subfield><subfield code="0">(DE-588)4074715-3</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">Mengenlehre</subfield><subfield code="0">(DE-588)4074715-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="1"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</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="689" ind1="4" 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="4" ind2="1"><subfield code="a">Numerische Mathematik</subfield><subfield code="0">(DE-588)4042805-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2=" "><subfield code="8">4\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-008053637</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><datafield tag="883" ind1="1" ind2=" "><subfield code="8">4\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>
genre	1\p (DE-588)4151278-9 Einführung gnd-content
genre_facet	Einführung
id	DE-604.BV011915138
illustrated	Illustrated
indexdate	2024-07-09T18:18:29Z
institution	BVB
isbn	0201179571
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-008053637
oclc_num	39300172
open_access_boolean
owner	DE-739 DE-522 DE-634
owner_facet	DE-739 DE-522 DE-634
physical	XVI, 384 S. graph. Darst.
publishDate	1999
publishDateSearch	1999
publishDateSort	1999
publisher	Addison-Wesley
record_format	marc
series2	International computer science series
spelling	Nissanke, Nimal 1943- Verfasser (DE-588)121113426 aut Introductory logic and sets for computer scientists Nimal Nissanke Harlow [u.a.] Addison-Wesley 1999 XVI, 384 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier International computer science series Logique informatique ram algèbre booléenne inriac induction mathématique inriac logique predicat inriac logique propositionnelle inriac raisonnement logique inriac théorie jeu inriac Computer logic Set theory Informatik (DE-588)4026894-9 gnd rswk-swf Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Numerische Mathematik (DE-588)4042805-9 gnd rswk-swf Software Engineering (DE-588)4116521-4 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Mengenlehre (DE-588)4074715-3 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf 1\p (DE-588)4151278-9 Einführung gnd-content Logische Programmierung (DE-588)4195096-3 s DE-604 Software Engineering (DE-588)4116521-4 s Informatik (DE-588)4026894-9 s Logik (DE-588)4036202-4 s Mengenlehre (DE-588)4074715-3 s 2\p DE-604 Mathematische Logik (DE-588)4037951-6 s 3\p DE-604 Numerische Mathematik (DE-588)4042805-9 s 4\p DE-604 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 4\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk
spellingShingle	Nissanke, Nimal 1943- Introductory logic and sets for computer scientists Logique informatique ram algèbre booléenne inriac induction mathématique inriac logique predicat inriac logique propositionnelle inriac raisonnement logique inriac théorie jeu inriac Computer logic Set theory Informatik (DE-588)4026894-9 gnd Logische Programmierung (DE-588)4195096-3 gnd Numerische Mathematik (DE-588)4042805-9 gnd Software Engineering (DE-588)4116521-4 gnd Mathematische Logik (DE-588)4037951-6 gnd Mengenlehre (DE-588)4074715-3 gnd Logik (DE-588)4036202-4 gnd
subject_GND	(DE-588)4026894-9 (DE-588)4195096-3 (DE-588)4042805-9 (DE-588)4116521-4 (DE-588)4037951-6 (DE-588)4074715-3 (DE-588)4036202-4 (DE-588)4151278-9
title	Introductory logic and sets for computer scientists
title_auth	Introductory logic and sets for computer scientists
title_exact_search	Introductory logic and sets for computer scientists
title_full	Introductory logic and sets for computer scientists Nimal Nissanke
title_fullStr	Introductory logic and sets for computer scientists Nimal Nissanke
title_full_unstemmed	Introductory logic and sets for computer scientists Nimal Nissanke
title_short	Introductory logic and sets for computer scientists
title_sort	introductory logic and sets for computer scientists
topic	Logique informatique ram algèbre booléenne inriac induction mathématique inriac logique predicat inriac logique propositionnelle inriac raisonnement logique inriac théorie jeu inriac Computer logic Set theory Informatik (DE-588)4026894-9 gnd Logische Programmierung (DE-588)4195096-3 gnd Numerische Mathematik (DE-588)4042805-9 gnd Software Engineering (DE-588)4116521-4 gnd Mathematische Logik (DE-588)4037951-6 gnd Mengenlehre (DE-588)4074715-3 gnd Logik (DE-588)4036202-4 gnd
topic_facet	Logique informatique algèbre booléenne induction mathématique logique predicat logique propositionnelle raisonnement logique théorie jeu Computer logic Set theory Informatik Logische Programmierung Numerische Mathematik Software Engineering Mathematische Logik Mengenlehre Logik Einführung
work_keys_str_mv	AT nissankenimal introductorylogicandsetsforcomputerscientists

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