The functional interpretation of logical deduction

The functional interpretation of logical deduction / Ruy J.G.B. de Queiroz, Anjolina G. de Oliveira, Dov M. Gabbay.

Saved in:
Bibliographic Details
Superior document:Advances in logic ; v. 5
:
ProQuest (Firm)
Queiroz, Ruy J. G. B. de.
TeilnehmendeR:
Oliveira, Anjolina G. de.
Gabbay, Dov M., 1945-
ProQuest (Firm)
Year of Publication:2012
Language:English
Series:Advances in logic ; v. 5.
Online Access:
Physical Description:xxxii, 266 p.
Tags: Add Tag
No Tags, Be the first to tag this record!
id 500846147
ctrlnum (MiAaPQ)500846147
(Au-PeEL)EBL846147
(CaPaEBR)ebr10529392
(CaONFJC)MIL498453
(OCoLC)785777991
collection bib_alma
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01494nam a2200409 a 4500</leader><controlfield tag="001">500846147</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">120203s2012 si sb 001 0 eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="z"> 2012359592</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9814360953</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9789814360951</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789814360968 (electronic bk.)</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MiAaPQ)500846147</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Au-PeEL)EBL846147</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaPaEBR)ebr10529392</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaONFJC)MIL498453</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)785777991</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">BC71</subfield><subfield code="b">.Q45 2012</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Queiroz, Ruy J. G. B. de.</subfield></datafield><datafield tag="245" ind1="1" ind2="4"><subfield code="a">The functional interpretation of logical deduction</subfield><subfield code="h">[electronic resource] /</subfield><subfield code="c">Ruy J.G.B. de Queiroz, Anjolina G. de Oliveira, Dov M. Gabbay.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Singapore :</subfield><subfield code="b">World Scientific,</subfield><subfield code="c">c2012.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xxxii, 266 p.</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Advances in logic ;</subfield><subfield code="v">v. 5</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (p. 253-264) and index.</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">Logic.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Modality (Logic)</subfield></datafield><datafield tag="655" ind1=" " ind2="4"><subfield code="a">Electronic books.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Oliveira, Anjolina G. de.</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">Advances in logic ;</subfield><subfield code="v">v. 5.</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=846147</subfield><subfield code="z">Click to View</subfield></datafield></record></collection>
record_format marc
spelling Queiroz, Ruy J. G. B. de.
The functional interpretation of logical deduction [electronic resource] / Ruy J.G.B. de Queiroz, Anjolina G. de Oliveira, Dov M. Gabbay.
Singapore : World Scientific, c2012.
xxxii, 266 p.
Advances in logic ; v. 5
Includes bibliographical references (p. 253-264) and index.
Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Logic.
Modality (Logic)
Electronic books.
Oliveira, Anjolina G. de.
Gabbay, Dov M., 1945-
ProQuest (Firm)
Advances in logic ; v. 5.
https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=846147 Click to View
language English
format Electronic
eBook
author Queiroz, Ruy J. G. B. de.
spellingShingle Queiroz, Ruy J. G. B. de.
The functional interpretation of logical deduction
Advances in logic ;
author_facet Queiroz, Ruy J. G. B. de.
Oliveira, Anjolina G. de.
Gabbay, Dov M., 1945-
ProQuest (Firm)
ProQuest (Firm)
author_variant r j g b d q rjgbd rjgbdq
author2 Oliveira, Anjolina G. de.
Gabbay, Dov M., 1945-
ProQuest (Firm)
author2_variant a g d o agd agdo
d m g dm dmg
author2_role TeilnehmendeR
TeilnehmendeR
TeilnehmendeR
author_corporate ProQuest (Firm)
author_sort Queiroz, Ruy J. G. B. de.
title The functional interpretation of logical deduction
title_full The functional interpretation of logical deduction [electronic resource] / Ruy J.G.B. de Queiroz, Anjolina G. de Oliveira, Dov M. Gabbay.
title_fullStr The functional interpretation of logical deduction [electronic resource] / Ruy J.G.B. de Queiroz, Anjolina G. de Oliveira, Dov M. Gabbay.
title_full_unstemmed The functional interpretation of logical deduction [electronic resource] / Ruy J.G.B. de Queiroz, Anjolina G. de Oliveira, Dov M. Gabbay.
title_auth The functional interpretation of logical deduction
title_new The functional interpretation of logical deduction
title_sort the functional interpretation of logical deduction
series Advances in logic ;
series2 Advances in logic ;
publisher World Scientific,
publishDate 2012
physical xxxii, 266 p.
isbn 9789814360968 (electronic bk.)
callnumber-first B - Philosophy, Psychology, Religion
callnumber-subject BC - Logic
callnumber-label BC71
callnumber-sort BC 271 Q45 42012
genre Electronic books.
genre_facet Electronic books.
url https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=846147
illustrated Not Illustrated
oclc_num 785777991
work_keys_str_mv AT queirozruyjgbde thefunctionalinterpretationoflogicaldeduction
AT oliveiraanjolinagde thefunctionalinterpretationoflogicaldeduction
AT gabbaydovm thefunctionalinterpretationoflogicaldeduction
AT proquestfirm thefunctionalinterpretationoflogicaldeduction
AT queirozruyjgbde functionalinterpretationoflogicaldeduction
AT oliveiraanjolinagde functionalinterpretationoflogicaldeduction
AT gabbaydovm functionalinterpretationoflogicaldeduction
AT proquestfirm functionalinterpretationoflogicaldeduction
status_str n
ids_txt_mv (MiAaPQ)500846147
(Au-PeEL)EBL846147
(CaPaEBR)ebr10529392
(CaONFJC)MIL498453
(OCoLC)785777991
hierarchy_parent_title Advances in logic ; v. 5
hierarchy_sequence v. 5.
is_hierarchy_title The functional interpretation of logical deduction
container_title Advances in logic ; v. 5
author2_original_writing_str_mv noLinkedField
noLinkedField
noLinkedField
_version_ 1792330725573263361

Similar Items