Verfügbarkeit: Dependence logic :

Dependence logic :: a new approach to independence friendly logic /

A systematic logical study of dependence also providing a precise treatment of independence friendly logic.

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Väänänen, J. (Jouko), 1950-
Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	Cambridge : Cambridge University Press, 2007.
Schriftenreihe:	London Mathematical Society student texts ; 70.
Schlagworte:	First-order logic. Logique du premier ordre. MATHEMATICS > Infinity. MATHEMATICS > Logic. First-order logic Mathematische Logik Electronic books.
Online-Zugang:	Volltext
Zusammenfassung:	A systematic logical study of dependence also providing a precise treatment of independence friendly logic.
Beschreibung:	1 online resource (ix, 225 pages) : illustrations
Bibliographie:	Includes bibliographical references and index.
ISBN:	9780511286858 0511286856 0511285396 9780511285394 0521700159 9780521700153 0521876591 9780521876599 0511286139 9780511286131 9780511611193 0511611196

Internformat

MARC


LEADER	00000cam a2200000 a 4500
001	ZDB-4-EBA-ocn166130893
003	OCoLC
005	20241004212047.0
006	m o d
007	cr cnu---unuuu
008	070820s2007 enka ob 001 0 eng d
040			\|a N$T \|b eng \|e pn \|c N$T \|d YDXCP \|d OCLCQ \|d NRU \|d AUD \|d UAB \|d IDEBK \|d OCLCO \|d EBLCP \|d OCLCQ \|d DEBSZ \|d OCLCQ \|d OCLCF \|d COO \|d OCLCQ \|d HEBIS \|d OCLCQ \|d XOS \|d OCLCQ \|d OCLCO \|d AU@ \|d OL$ \|d OCLCQ \|d S8J \|d OCLCQ \|d I8H \|d UX0 \|d LUN \|d OCLCQ \|d AUW \|d OCLCO \|d UKAHL \|d OCLCO \|d OCLCQ \|d OCLCO \|d OCLCL \|d SFB
015			\|a GBA736074 \|2 bnb
016	7		\|a 013737361 \|2 Uk
019			\|a 170958016 \|a 191035884 \|a 213380398 \|a 612989583 \|a 806234829 \|a 1004614675 \|a 1167573082
020			\|a 9780511286858 \|q (electronic bk.)
020			\|a 0511286856 \|q (electronic bk.)
020			\|a 0511285396
020			\|a 9780511285394
020			\|a 0521700159 \|q (paper)
020			\|a 9780521700153 \|q (paper)
020			\|a 0521876591 \|q (cloth)
020			\|a 9780521876599 \|q (cloth)
020			\|a 0511286139 \|q (electronic bk.)
020			\|a 9780511286131 \|q (electronic bk.)
020			\|a 9780511611193 \|q (ebook)
020			\|a 0511611196 \|q (ebook)
020			\|z 6610910022
020			\|z 9786610910021
035			\|a (OCoLC)166130893 \|z (OCoLC)170958016 \|z (OCoLC)191035884 \|z (OCoLC)213380398 \|z (OCoLC)612989583 \|z (OCoLC)806234829 \|z (OCoLC)1004614675 \|z (OCoLC)1167573082
050		4	\|a BC128 \|b .V33 2007eb
072		7	\|a MAT \|x 016000 \|2 bisacsh
072		7	\|a MAT \|x 018000 \|2 bisacsh
082	7		\|a 511.3 \|2 22
049			\|a MAIN
100	1		\|a Väänänen, J. \|q (Jouko), \|d 1950- \|0 http://id.loc.gov/authorities/names/n93099234
245	1	0	\|a Dependence logic : \|b a new approach to independence friendly logic / \|c Jouko Väänänen.
260			\|a Cambridge : \|b Cambridge University Press, \|c 2007.
300			\|a 1 online resource (ix, 225 pages) : \|b illustrations
336			\|a text \|b txt \|2 rdacontent
337			\|a computer \|b c \|2 rdamedia
338			\|a online resource \|b cr \|2 rdacarrier
490	1		\|a London Mathematical Society student texts ; \|v 70
504			\|a Includes bibliographical references and index.
588	0		\|a Print version record.
505	0		\|a Cover; Half-title; Series-title; Title; Copyright; Contents; Preface; 1 Introduction; 2 Preliminaries; 3 Dependence logic; 4 Examples; 5 Game theoretic semantics; 6 Model theory; 7 Complexity; 8 Team logic; Appendix Solutions to selected exercises, by Ville Nurmi; References; Index.
520			\|a A systematic logical study of dependence also providing a precise treatment of independence friendly logic.
650		0	\|a First-order logic. \|0 http://id.loc.gov/authorities/subjects/sh85048595
650		6	\|a Logique du premier ordre.
650		7	\|a MATHEMATICS \|x Infinity. \|2 bisacsh
650		7	\|a MATHEMATICS \|x Logic. \|2 bisacsh
650		7	\|a First-order logic \|2 fast
650		7	\|a Mathematische Logik \|2 gnd \|0 http://d-nb.info/gnd/4037951-6
655		0	\|a Electronic books.
655		4	\|a Electronic books.
758			\|i has work: \|a Dependence logic (Text) \|1 https://id.oclc.org/worldcat/entity/E39PCFy9GC7dGPx6RrFP7bG6YX \|4 https://id.oclc.org/worldcat/ontology/hasWork
776	0	8	\|i Print version: \|a Väänänen, J. (Jouko), 1950- \|t Dependence logic. \|d Cambridge : Cambridge University Press, 2007 \|z 9780521876599 \|z 0521876591 \|w (OCoLC)132288227
830		0	\|a London Mathematical Society student texts ; \|v 70. \|0 http://id.loc.gov/authorities/names/n84727069
856	4	0	\|l FWS01 \|p ZDB-4-EBA \|q FWS_PDA_EBA \|u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=198885 \|3 Volltext
938			\|a Askews and Holts Library Services \|b ASKH \|n AH13426680
938			\|a ProQuest Ebook Central \|b EBLB \|n EBL295763
938			\|a EBSCOhost \|b EBSC \|n 198885
938			\|a ProQuest MyiLibrary Digital eBook Collection \|b IDEB \|n 91002
938			\|a YBP Library Services \|b YANK \|n 2609441
938			\|a YBP Library Services \|b YANK \|n 2620476
938			\|a YBP Library Services \|b YANK \|n 2620556
994			\|a 92 \|b GEBAY
912			\|a ZDB-4-EBA
049			\|a DE-863

Datensatz im Suchindex

DE-BY-FWS_katkey	ZDB-4-EBA-ocn166130893
_version_	1816881652157120512
adam_text
any_adam_object
author	Väänänen, J. (Jouko), 1950-
author_GND	http://id.loc.gov/authorities/names/n93099234
author_facet	Väänänen, J. (Jouko), 1950-
author_role
author_sort	Väänänen, J. 1950-
author_variant	j v jv
building	Verbundindex
bvnumber	localFWS
callnumber-first	B - Philosophy, Psychology, Religion
callnumber-label	BC128
callnumber-raw	BC128 .V33 2007eb
callnumber-search	BC128 .V33 2007eb
callnumber-sort	BC 3128 V33 42007EB
callnumber-subject	BC - Logic
collection	ZDB-4-EBA
contents	Cover; Half-title; Series-title; Title; Copyright; Contents; Preface; 1 Introduction; 2 Preliminaries; 3 Dependence logic; 4 Examples; 5 Game theoretic semantics; 6 Model theory; 7 Complexity; 8 Team logic; Appendix Solutions to selected exercises, by Ville Nurmi; References; Index.
ctrlnum	(OCoLC)166130893
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
format	Electronic eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03886cam a2200769 a 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn166130893</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20241004212047.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cnu---unuuu</controlfield><controlfield tag="008">070820s2007 enka ob 001 0 eng d</controlfield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">N$T</subfield><subfield code="b">eng</subfield><subfield code="e">pn</subfield><subfield code="c">N$T</subfield><subfield code="d">YDXCP</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">NRU</subfield><subfield code="d">AUD</subfield><subfield code="d">UAB</subfield><subfield code="d">IDEBK</subfield><subfield code="d">OCLCO</subfield><subfield code="d">EBLCP</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">DEBSZ</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCF</subfield><subfield code="d">COO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">HEBIS</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">XOS</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">AU@</subfield><subfield code="d">OL$</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">S8J</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">I8H</subfield><subfield code="d">UX0</subfield><subfield code="d">LUN</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">AUW</subfield><subfield code="d">OCLCO</subfield><subfield code="d">UKAHL</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield><subfield code="d">SFB</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">GBA736074</subfield><subfield code="2">bnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">013737361</subfield><subfield code="2">Uk</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">170958016</subfield><subfield code="a">191035884</subfield><subfield code="a">213380398</subfield><subfield code="a">612989583</subfield><subfield code="a">806234829</subfield><subfield code="a">1004614675</subfield><subfield code="a">1167573082</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511286858</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0511286856</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0511285396</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511285394</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0521700159</subfield><subfield code="q">(paper)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780521700153</subfield><subfield code="q">(paper)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0521876591</subfield><subfield code="q">(cloth)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780521876599</subfield><subfield code="q">(cloth)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0511286139</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511286131</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511611193</subfield><subfield code="q">(ebook)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0511611196</subfield><subfield code="q">(ebook)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">6610910022</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9786610910021</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)166130893</subfield><subfield code="z">(OCoLC)170958016</subfield><subfield code="z">(OCoLC)191035884</subfield><subfield code="z">(OCoLC)213380398</subfield><subfield code="z">(OCoLC)612989583</subfield><subfield code="z">(OCoLC)806234829</subfield><subfield code="z">(OCoLC)1004614675</subfield><subfield code="z">(OCoLC)1167573082</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">BC128</subfield><subfield code="b">.V33 2007eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT</subfield><subfield code="x">016000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT</subfield><subfield code="x">018000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">22</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Väänänen, J.</subfield><subfield code="q">(Jouko),</subfield><subfield code="d">1950-</subfield><subfield code="0">http://id.loc.gov/authorities/names/n93099234</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Dependence logic :</subfield><subfield code="b">a new approach to independence friendly logic /</subfield><subfield code="c">Jouko Väänänen.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Cambridge :</subfield><subfield code="b">Cambridge University Press,</subfield><subfield code="c">2007.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (ix, 225 pages) :</subfield><subfield code="b">illustrations</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">London Mathematical Society student texts ;</subfield><subfield code="v">70</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Print version record.</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">Cover; Half-title; Series-title; Title; Copyright; Contents; Preface; 1 Introduction; 2 Preliminaries; 3 Dependence logic; 4 Examples; 5 Game theoretic semantics; 6 Model theory; 7 Complexity; 8 Team logic; Appendix Solutions to selected exercises, by Ville Nurmi; References; Index.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">A systematic logical study of dependence also providing a precise treatment of independence friendly logic.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">First-order logic.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85048595</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Logique du premier ordre.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS</subfield><subfield code="x">Infinity.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS</subfield><subfield code="x">Logic.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">First-order logic</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="2">gnd</subfield><subfield code="0">http://d-nb.info/gnd/4037951-6</subfield></datafield><datafield tag="655" ind1=" " ind2="0"><subfield code="a">Electronic books.</subfield></datafield><datafield tag="655" ind1=" " ind2="4"><subfield code="a">Electronic books.</subfield></datafield><datafield tag="758" ind1=" " ind2=" "><subfield code="i">has work:</subfield><subfield code="a">Dependence logic (Text)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCFy9GC7dGPx6RrFP7bG6YX</subfield><subfield code="4">https://id.oclc.org/worldcat/ontology/hasWork</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="a">Väänänen, J. (Jouko), 1950-</subfield><subfield code="t">Dependence logic.</subfield><subfield code="d">Cambridge : Cambridge University Press, 2007</subfield><subfield code="z">9780521876599</subfield><subfield code="z">0521876591</subfield><subfield code="w">(OCoLC)132288227</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">London Mathematical Society student texts ;</subfield><subfield code="v">70.</subfield><subfield code="0">http://id.loc.gov/authorities/names/n84727069</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="l">FWS01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=198885</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Askews and Holts Library Services</subfield><subfield code="b">ASKH</subfield><subfield code="n">AH13426680</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest Ebook Central</subfield><subfield code="b">EBLB</subfield><subfield code="n">EBL295763</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">198885</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest MyiLibrary Digital eBook Collection</subfield><subfield code="b">IDEB</subfield><subfield code="n">91002</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">2609441</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">2620476</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">2620556</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection>
genre	Electronic books.
genre_facet	Electronic books.
id	ZDB-4-EBA-ocn166130893
illustrated	Illustrated
indexdate	2024-11-27T13:16:07Z
institution	BVB
isbn	9780511286858 0511286856 0511285396 9780511285394 0521700159 9780521700153 0521876591 9780521876599 0511286139 9780511286131 9780511611193 0511611196
language	English
oclc_num	166130893
open_access_boolean
owner	MAIN DE-863 DE-BY-FWS
owner_facet	MAIN DE-863 DE-BY-FWS
physical	1 online resource (ix, 225 pages) : illustrations
psigel	ZDB-4-EBA
publishDate	2007
publishDateSearch	2007
publishDateSort	2007
publisher	Cambridge University Press,
record_format	marc
series	London Mathematical Society student texts ;
series2	London Mathematical Society student texts ;
spelling	Väänänen, J. (Jouko), 1950- http://id.loc.gov/authorities/names/n93099234 Dependence logic : a new approach to independence friendly logic / Jouko Väänänen. Cambridge : Cambridge University Press, 2007. 1 online resource (ix, 225 pages) : illustrations text txt rdacontent computer c rdamedia online resource cr rdacarrier London Mathematical Society student texts ; 70 Includes bibliographical references and index. Print version record. Cover; Half-title; Series-title; Title; Copyright; Contents; Preface; 1 Introduction; 2 Preliminaries; 3 Dependence logic; 4 Examples; 5 Game theoretic semantics; 6 Model theory; 7 Complexity; 8 Team logic; Appendix Solutions to selected exercises, by Ville Nurmi; References; Index. A systematic logical study of dependence also providing a precise treatment of independence friendly logic. First-order logic. http://id.loc.gov/authorities/subjects/sh85048595 Logique du premier ordre. MATHEMATICS Infinity. bisacsh MATHEMATICS Logic. bisacsh First-order logic fast Mathematische Logik gnd http://d-nb.info/gnd/4037951-6 Electronic books. has work: Dependence logic (Text) https://id.oclc.org/worldcat/entity/E39PCFy9GC7dGPx6RrFP7bG6YX https://id.oclc.org/worldcat/ontology/hasWork Print version: Väänänen, J. (Jouko), 1950- Dependence logic. Cambridge : Cambridge University Press, 2007 9780521876599 0521876591 (OCoLC)132288227 London Mathematical Society student texts ; 70. http://id.loc.gov/authorities/names/n84727069 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=198885 Volltext
spellingShingle	Väänänen, J. (Jouko), 1950- Dependence logic : a new approach to independence friendly logic / London Mathematical Society student texts ; Cover; Half-title; Series-title; Title; Copyright; Contents; Preface; 1 Introduction; 2 Preliminaries; 3 Dependence logic; 4 Examples; 5 Game theoretic semantics; 6 Model theory; 7 Complexity; 8 Team logic; Appendix Solutions to selected exercises, by Ville Nurmi; References; Index. First-order logic. http://id.loc.gov/authorities/subjects/sh85048595 Logique du premier ordre. MATHEMATICS Infinity. bisacsh MATHEMATICS Logic. bisacsh First-order logic fast Mathematische Logik gnd http://d-nb.info/gnd/4037951-6
subject_GND	http://id.loc.gov/authorities/subjects/sh85048595 http://d-nb.info/gnd/4037951-6
title	Dependence logic : a new approach to independence friendly logic /
title_auth	Dependence logic : a new approach to independence friendly logic /
title_exact_search	Dependence logic : a new approach to independence friendly logic /
title_full	Dependence logic : a new approach to independence friendly logic / Jouko Väänänen.
title_fullStr	Dependence logic : a new approach to independence friendly logic / Jouko Väänänen.
title_full_unstemmed	Dependence logic : a new approach to independence friendly logic / Jouko Väänänen.
title_short	Dependence logic :
title_sort	dependence logic a new approach to independence friendly logic
title_sub	a new approach to independence friendly logic /
topic	First-order logic. http://id.loc.gov/authorities/subjects/sh85048595 Logique du premier ordre. MATHEMATICS Infinity. bisacsh MATHEMATICS Logic. bisacsh First-order logic fast Mathematische Logik gnd http://d-nb.info/gnd/4037951-6
topic_facet	First-order logic. Logique du premier ordre. MATHEMATICS Infinity. MATHEMATICS Logic. First-order logic Mathematische Logik Electronic books.
url	https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=198885
work_keys_str_mv	AT vaananenj dependencelogicanewapproachtoindependencefriendlylogic

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Volltext öffnen

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge