Interactive logic : selected papers from the 7th Augustus de Morgan Workshop, London /

Interactive logic : selected papers from the 7th Augustus de Morgan Workshop, London / / edited by Johan Van Benthem, Dov Gabbay, Benedikt Lowe.

Saved in:
Bibliographic Details
Superior document:Texts in logic and games ; v. 1
:
Augustus de Morgan Workshop London, England)
TeilnehmendeR:
Benthem, J. F. A. K. van, 1949-
Lowe, Benedikt.
Gabbay, Dov M., 1945-
ProQuest (Firm)
Year of Publication:2007
Language:Dutch
Series:Texts in logic and games ; v. 1.
Online Access:
Physical Description:362 p. :; ill.
Notes:The 7th Augustus de Morgan workshop (ADMW) was held from November 4th to 7th, 2005 under the title Interactive logic : games and social software.
Tags: Add Tag
No Tags, Be the first to tag this record!
id 500419848
ctrlnum (MiAaPQ)500419848
(Au-PeEL)EBL419848
(CaPaEBR)ebr10302522
(OCoLC)232160025
collection bib_alma
record_format marc
spelling Augustus de Morgan Workshop (7th : 2005 : London, England)
Interactive logic [electronic resource] : selected papers from the 7th Augustus de Morgan Workshop, London / edited by Johan Van Benthem, Dov Gabbay, Benedikt Lowe.
Amsterdam : Amsterdam University Press, c2007.
362 p. : ill.
Texts in logic and games ; v. 1
The 7th Augustus de Morgan workshop (ADMW) was held from November 4th to 7th, 2005 under the title Interactive logic : games and social software.
Includes bibliographical references.
Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Game theory Congresses.
Logic, Symbolic and mathematical Congresses.
Electronic books.
Benthem, J. F. A. K. van, 1949-
Lowe, Benedikt.
Gabbay, Dov M., 1945-
ProQuest (Firm)
Texts in logic and games ; v. 1.
https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=419848 Click to View
language Dutch
format Electronic
Conference Proceeding
eBook
author2 Benthem, J. F. A. K. van, 1949-
Lowe, Benedikt.
Gabbay, Dov M., 1945-
ProQuest (Firm)
author_facet Benthem, J. F. A. K. van, 1949-
Lowe, Benedikt.
Gabbay, Dov M., 1945-
ProQuest (Firm)
Augustus de Morgan Workshop London, England)
ProQuest (Firm)
author2_variant j f a k v b jfakv jfakvb
b l bl
d m g dm dmg
author2_role TeilnehmendeR
TeilnehmendeR
TeilnehmendeR
TeilnehmendeR
author_corporate Augustus de Morgan Workshop London, England)
ProQuest (Firm)
author_sort Augustus de Morgan Workshop London, England)
title Interactive logic selected papers from the 7th Augustus de Morgan Workshop, London /
spellingShingle Interactive logic selected papers from the 7th Augustus de Morgan Workshop, London /
Texts in logic and games ;
title_sub selected papers from the 7th Augustus de Morgan Workshop, London /
title_full Interactive logic [electronic resource] : selected papers from the 7th Augustus de Morgan Workshop, London / edited by Johan Van Benthem, Dov Gabbay, Benedikt Lowe.
title_fullStr Interactive logic [electronic resource] : selected papers from the 7th Augustus de Morgan Workshop, London / edited by Johan Van Benthem, Dov Gabbay, Benedikt Lowe.
title_full_unstemmed Interactive logic [electronic resource] : selected papers from the 7th Augustus de Morgan Workshop, London / edited by Johan Van Benthem, Dov Gabbay, Benedikt Lowe.
title_auth Interactive logic selected papers from the 7th Augustus de Morgan Workshop, London /
title_new Interactive logic
title_sort interactive logic selected papers from the 7th augustus de morgan workshop, london /
series Texts in logic and games ;
series2 Texts in logic and games ;
publisher Amsterdam University Press,
publishDate 2007
physical 362 p. : ill.
callnumber-first Q - Science
callnumber-subject QA - Mathematics
callnumber-label QA269
callnumber-sort QA 3269 A94 42005
genre Electronic books.
genre_facet Congresses.
Electronic books.
url https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=419848
illustrated Illustrated
oclc_num 232160025
work_keys_str_mv AT augustusdemorganworkshoplondonengland interactivelogicselectedpapersfromthe7thaugustusdemorganworkshoplondon
AT benthemjfakvan interactivelogicselectedpapersfromthe7thaugustusdemorganworkshoplondon
AT lowebenedikt interactivelogicselectedpapersfromthe7thaugustusdemorganworkshoplondon
AT gabbaydovm interactivelogicselectedpapersfromthe7thaugustusdemorganworkshoplondon
AT proquestfirm interactivelogicselectedpapersfromthe7thaugustusdemorganworkshoplondon
status_str n
ids_txt_mv (MiAaPQ)500419848
(Au-PeEL)EBL419848
(CaPaEBR)ebr10302522
(OCoLC)232160025
hierarchy_parent_title Texts in logic and games ; v. 1
hierarchy_sequence v. 1.
is_hierarchy_title Interactive logic selected papers from the 7th Augustus de Morgan Workshop, London /
container_title Texts in logic and games ; v. 1
author2_original_writing_str_mv noLinkedField
noLinkedField
noLinkedField
noLinkedField
_version_ 1792330687228936192
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01701nam a2200397 a 4500</leader><controlfield tag="001">500419848</controlfield><controlfield tag="003">MiAaPQ</controlfield><controlfield tag="005">20200520144314.0</controlfield><controlfield tag="006">m o d | </controlfield><controlfield tag="007">cr cn|||||||||</controlfield><controlfield tag="008">091015s2007 ne a sb 100 0 dut d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9789053563564</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9789048501120</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MiAaPQ)500419848</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Au-PeEL)EBL419848</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaPaEBR)ebr10302522</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)232160025</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">MiAaPQ</subfield><subfield code="c">MiAaPQ</subfield><subfield code="d">MiAaPQ</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA269</subfield><subfield code="b">.A94 2005</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Augustus de Morgan Workshop</subfield><subfield code="n">(7th :</subfield><subfield code="d">2005 :</subfield><subfield code="c">London, England)</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Interactive logic</subfield><subfield code="h">[electronic resource] :</subfield><subfield code="b">selected papers from the 7th Augustus de Morgan Workshop, London /</subfield><subfield code="c">edited by Johan Van Benthem, Dov Gabbay, Benedikt Lowe.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Amsterdam :</subfield><subfield code="b">Amsterdam University Press,</subfield><subfield code="c">c2007.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">362 p. :</subfield><subfield code="b">ill.</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Texts in logic and games ;</subfield><subfield code="v">v. 1</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">The 7th Augustus de Morgan workshop (ADMW) was held from November 4th to 7th, 2005 under the title Interactive logic : games and social software.</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references.</subfield></datafield><datafield tag="533" ind1=" " ind2=" "><subfield code="a">Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Game theory</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Logic, Symbolic and mathematical</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">Benthem, J. F. A. K. van,</subfield><subfield code="d">1949-</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Lowe, Benedikt.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Gabbay, Dov M.,</subfield><subfield code="d">1945-</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">ProQuest (Firm)</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Texts in logic and games ;</subfield><subfield code="v">v. 1.</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=419848</subfield><subfield code="z">Click to View</subfield></datafield></record></collection>

Similar Items