An examination of a decision procedure /

An examination of a decision procedure / / by Francis C. Oglesby.

Saved in:
Bibliographic Details
Superior document:Memoirs of the American Mathematical Society ; number 44
VerfasserIn:
Oglesby, Francis C.,
Place / Publishing House:Providence : : American Mathematical Society,, 1962.
Year of Publication:1962
Language:English
Series:Memoirs of the American Mathematical Society ; no. 44.
Online Access:
Physical Description:1 online resource (152 pages).
Notes:Cover title.
Tags: Add Tag
No Tags, Be the first to tag this record!
id 5003113683
ctrlnum (MiAaPQ)5003113683
(Au-PeEL)EBL3113683
(CaPaEBR)ebr10882342
(OCoLC)761167618
collection bib_alma
record_format marc
spelling Oglesby, Francis C., author.
An examination of a decision procedure / by Francis C. Oglesby.
Providence : American Mathematical Society, 1962.
1 online resource (152 pages).
text rdacontent
computer rdamedia
online resource rdacarrier
Memoirs of the American Mathematical Society ; number 44
Cover title.
Bibliography: pages 148.
Description based on print version record.
Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Logic, Symbolic and mathematical.
Calculus.
Electronic books.
Print version: Oglesby, Francis C. Examination of a decision procedure. Providence : American Mathematical Society, 1962 148 ; 26 cm Memoirs of the American Mathematical Society ; no. 44 9780821812440
ProQuest (Firm)
Memoirs of the American Mathematical Society ; no. 44.
https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=3113683 Click to View
language English
format eBook
author Oglesby, Francis C.,
spellingShingle Oglesby, Francis C.,
An examination of a decision procedure /
Memoirs of the American Mathematical Society ;
author_facet Oglesby, Francis C.,
author_variant f c o fc fco
author_role VerfasserIn
author_sort Oglesby, Francis C.,
title An examination of a decision procedure /
title_full An examination of a decision procedure / by Francis C. Oglesby.
title_fullStr An examination of a decision procedure / by Francis C. Oglesby.
title_full_unstemmed An examination of a decision procedure / by Francis C. Oglesby.
title_auth An examination of a decision procedure /
title_new An examination of a decision procedure /
title_sort an examination of a decision procedure /
series Memoirs of the American Mathematical Society ;
series2 Memoirs of the American Mathematical Society ;
publisher American Mathematical Society,
publishDate 1962
physical 1 online resource (152 pages).
isbn 9780821899885 (e-book)
9780821812440
callnumber-first B - Philosophy, Psychology, Religion
callnumber-subject BC - Logic
callnumber-label BC135
callnumber-sort BC 3135 O35 41962
genre Electronic books.
genre_facet Electronic books.
url https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=3113683
illustrated Not Illustrated
oclc_num 761167618
work_keys_str_mv AT oglesbyfrancisc anexaminationofadecisionprocedure
AT oglesbyfrancisc examinationofadecisionprocedure
status_str n
ids_txt_mv (MiAaPQ)5003113683
(Au-PeEL)EBL3113683
(CaPaEBR)ebr10882342
(OCoLC)761167618
hierarchy_parent_title Memoirs of the American Mathematical Society ; number 44
hierarchy_sequence no. 44.
is_hierarchy_title An examination of a decision procedure /
container_title Memoirs of the American Mathematical Society ; number 44
_version_ 1792330845923573761
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01762nam a2200421 i 4500</leader><controlfield tag="001">5003113683</controlfield><controlfield tag="003">MiAaPQ</controlfield><controlfield tag="005">20200520144314.0</controlfield><controlfield tag="006">m o d | </controlfield><controlfield tag="007">cr cnu||||||||</controlfield><controlfield tag="008">750505s1962 riu ob 000 0 eng|d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9780821812440</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780821899885 (e-book)</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MiAaPQ)5003113683</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Au-PeEL)EBL3113683</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaPaEBR)ebr10882342</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)761167618</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">BC135</subfield><subfield code="b">.O35 1962</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Oglesby, Francis C.,</subfield><subfield code="e">author.</subfield></datafield><datafield tag="245" ind1="1" ind2="3"><subfield code="a">An examination of a decision procedure /</subfield><subfield code="c">by Francis C. Oglesby.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Providence :</subfield><subfield code="b">American Mathematical Society,</subfield><subfield code="c">1962.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (152 pages).</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">Memoirs of the American Mathematical Society ;</subfield><subfield code="v">number 44</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Cover title.</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Bibliography: pages 148.</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, 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, Symbolic and mathematical.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Calculus.</subfield></datafield><datafield tag="655" ind1=" " ind2="4"><subfield code="a">Electronic books.</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="a">Oglesby, Francis C.</subfield><subfield code="t">Examination of a decision procedure.</subfield><subfield code="d">Providence : American Mathematical Society, 1962</subfield><subfield code="h">148 ; 26 cm</subfield><subfield code="k">Memoirs of the American Mathematical Society ; no. 44</subfield><subfield code="z">9780821812440</subfield></datafield><datafield tag="797" ind1="2" ind2=" "><subfield code="a">ProQuest (Firm)</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Memoirs of the American Mathematical Society ;</subfield><subfield code="v">no. 44.</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=3113683</subfield><subfield code="z">Click to View</subfield></datafield></record></collection>

Similar Items