Logic, computation, hierarchies /

Logic, computation, hierarchies / / edited by Vasco Brattka, Hannes Diener, Dieter Spreen.

Show other versions (1)
Saved in:
Bibliographic Details
Superior document:Ontos mathematical logic, volume 4
TeilnehmendeR:
Selivanov, Victor,
Brattka, Vasco, 1966-
Diener, Hannes,
Spreen, Dieter,
Place / Publishing House:Boston : : De Gruyter,, [2014]
2014
Year of Publication:2014
Language:English
Series:Ontos mathematical logic ; v. 4.
Online Access:
Physical Description:1 online resource (423 pages) :; illustrations.
Tags: Add Tag
No Tags, Be the first to tag this record!
id 5001652547
ctrlnum (MiAaPQ)5001652547
(Au-PeEL)EBL1652547
(CaPaEBR)ebr11006242
(CaONFJC)MIL806143
(OCoLC)890071023
collection bib_alma
record_format marc
spelling Logic, computation, hierarchies / edited by Vasco Brattka, Hannes Diener, Dieter Spreen.
Boston : De Gruyter, [2014]
2014
1 online resource (423 pages) : illustrations.
text rdacontent
computer rdamedia
online resource rdacarrier
Ontos mathematical logic, 2198-2341 ; volume 4
Includes bibliographical references and index.
Description based on print version record.
Electronic reproduction. Ann Arbor, MI : ProQuest, 2016. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Logic, Symbolic and mathematical Congresses.
Algebra, Boolean Congresses.
Quasi-metric spaces Congresses.
Petri nets Congresses.
Set theory Congresses.
Electronic books.
Selivanov, Victor, honouree.
Brattka, Vasco, 1966- editor.
Diener, Hannes, editor.
Spreen, Dieter, editor.
Print version: Logic, computation, hierarchies. Boston : De Gruyter, [2014] x, 413 pages ; 24 cm. Ontos mathematical logic ; volume 4 9781614517832 (OCoLC)ocn888956446 (DLC)11006242
ProQuest (Firm)
Ontos mathematical logic ; v. 4.
https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=1652547 Click to View
language English
format eBook
author2 Selivanov, Victor,
Brattka, Vasco, 1966-
Diener, Hannes,
Spreen, Dieter,
author_facet Selivanov, Victor,
Brattka, Vasco, 1966-
Diener, Hannes,
Spreen, Dieter,
author2_variant v s vs
v b vb
h d hd
d s ds
author2_role TeilnehmendeR
TeilnehmendeR
TeilnehmendeR
TeilnehmendeR
author_sort Selivanov, Victor,
title Logic, computation, hierarchies /
spellingShingle Logic, computation, hierarchies /
Ontos mathematical logic,
title_full Logic, computation, hierarchies / edited by Vasco Brattka, Hannes Diener, Dieter Spreen.
title_fullStr Logic, computation, hierarchies / edited by Vasco Brattka, Hannes Diener, Dieter Spreen.
title_full_unstemmed Logic, computation, hierarchies / edited by Vasco Brattka, Hannes Diener, Dieter Spreen.
title_auth Logic, computation, hierarchies /
title_new Logic, computation, hierarchies /
title_sort logic, computation, hierarchies /
series Ontos mathematical logic,
series2 Ontos mathematical logic,
publisher De Gruyter,
publishDate 2014
physical 1 online resource (423 pages) : illustrations.
isbn 9781614518044
9781614517832
issn 2198-2341 ;
callnumber-first Q - Science
callnumber-subject QA - Mathematics
callnumber-label QA10
callnumber-sort QA 210.3 L64 42014
genre Electronic books.
genre_facet Congresses.
Electronic books.
url https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=1652547
illustrated Illustrated
oclc_num 890071023
work_keys_str_mv AT selivanovvictor logiccomputationhierarchies
AT brattkavasco logiccomputationhierarchies
AT dienerhannes logiccomputationhierarchies
AT spreendieter logiccomputationhierarchies
status_str n
ids_txt_mv (MiAaPQ)5001652547
(Au-PeEL)EBL1652547
(CaPaEBR)ebr11006242
(CaONFJC)MIL806143
(OCoLC)890071023
hierarchy_parent_title Ontos mathematical logic, volume 4
hierarchy_sequence v. 4.
is_hierarchy_title Logic, computation, hierarchies /
container_title Ontos mathematical logic, volume 4
author2_original_writing_str_mv noLinkedField
noLinkedField
noLinkedField
noLinkedField
_version_ 1792330774742040576
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02127nam a2200517 i 4500</leader><controlfield tag="001">5001652547</controlfield><controlfield tag="003">MiAaPQ</controlfield><controlfield tag="005">20200903223051.0</controlfield><controlfield tag="006">m o d | </controlfield><controlfield tag="007">cr cnu||||||||</controlfield><controlfield tag="008">140721t20142014maua ob 111 0 eng|d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9781614517832 (hd.bd.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">1614517835 (hd.bd.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781614518044</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MiAaPQ)5001652547</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Au-PeEL)EBL1652547</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaPaEBR)ebr11006242</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaONFJC)MIL806143</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)890071023</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">MiAaPQ</subfield><subfield code="b">eng</subfield><subfield code="e">rda</subfield><subfield code="e">pn</subfield><subfield code="c">MiAaPQ</subfield><subfield code="d">MiAaPQ</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA10.3</subfield><subfield code="b">.L64 2014</subfield></datafield><datafield tag="245" ind1="0" ind2="0"><subfield code="a">Logic, computation, hierarchies /</subfield><subfield code="c">edited by Vasco Brattka, Hannes Diener, Dieter Spreen.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Boston :</subfield><subfield code="b">De Gruyter,</subfield><subfield code="c">[2014]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (423 pages) :</subfield><subfield code="b">illustrations.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Ontos mathematical logic,</subfield><subfield code="x">2198-2341 ;</subfield><subfield code="v">volume 4</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index.</subfield></datafield><datafield tag="588" ind1=" " ind2=" "><subfield code="a">Description based on print version record.</subfield></datafield><datafield tag="590" ind1=" " ind2=" "><subfield code="a">Electronic reproduction. Ann Arbor, MI : ProQuest, 2016. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Algebra, Boolean</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Quasi-metric spaces</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Petri nets</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Set theory</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="655" ind1=" " ind2="4"><subfield code="a">Electronic books.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Selivanov, Victor,</subfield><subfield code="e">honouree.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Brattka, Vasco,</subfield><subfield code="d">1966-</subfield><subfield code="e">editor.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Diener, Hannes,</subfield><subfield code="e">editor.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Spreen, Dieter,</subfield><subfield code="e">editor.</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="t">Logic, computation, hierarchies.</subfield><subfield code="d">Boston : De Gruyter, [2014]</subfield><subfield code="h">x, 413 pages ; 24 cm.</subfield><subfield code="k">Ontos mathematical logic ; volume 4</subfield><subfield code="z">9781614517832</subfield><subfield code="w">(OCoLC)ocn888956446</subfield><subfield code="w">(DLC)11006242</subfield></datafield><datafield tag="797" ind1="2" ind2=" "><subfield code="a">ProQuest (Firm)</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Ontos mathematical logic ;</subfield><subfield code="v">v. 4.</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=1652547</subfield><subfield code="z">Click to View</subfield></datafield></record></collection>

Similar Items