Time, tense, and quantifiers :: proceedings of the Stuttgart Conference on the Logic of Tense and Quantification /
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | |
| Format: | Elektronisch Tagungsbericht E-Book |
| Sprache: | English |
| Veröffentlicht: |
Tübingen :
Niemeyer,
1980.
|
| Schriftenreihe: | Linguistische Arbeiten (Max Niemeyer Verlag) ;
83. |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | 1 online resource (421 pages) |
| Bibliographie: | Includes bibliographical references. |
| ISBN: | 9783111346069 3111346064 |
| ISSN: | 0344-6727 ; |
Internformat
MARC
| LEADER | 00000cam a2200000Ma 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocn811400282 | ||
| 003 | OCoLC | ||
| 005 | 20241004212047.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 800729s1980 gw ob 100 0 eng d | ||
| 040 | |a E7B |b eng |e pn |c E7B |d OCLCQ |d OCLCO |d N$T |d OCLCF |d OCLCQ |d DEBBG |d YDXCP |d OCL |d OCLCQ |d DEBSZ |d AZK |d MOR |d PIFAG |d OCLCQ |d U3W |d STF |d WRM |d COCUF |d NRAMU |d CRU |d OCLCQ |d VT2 |d WYU |d OCLCQ |d TKN |d AU@ |d K6U |d OCLCA |d OCLCQ |d OCLCO |d BTN |d OCLCO |d OCLCQ |d OCLCO |d OCLCL |d OCLCQ | ||
| 015 | |a GFR80-A | ||
| 016 | 7 | |a 000001695825 |2 AU | |
| 019 | |a 961523311 |a 962703832 |a 1057929700 | ||
| 020 | |a 9783111346069 |q (electronic bk.) | ||
| 020 | |a 3111346064 |q (electronic bk.) | ||
| 020 | |z 3484103744 | ||
| 020 | |z 9783484103740 | ||
| 035 | |a (OCoLC)811400282 |z (OCoLC)961523311 |z (OCoLC)962703832 |z (OCoLC)1057929700 | ||
| 050 | 4 | |a P294.5 |b .S87 1979eb | |
| 072 | 7 | |a LAN |x 006000 |2 bisacsh | |
| 072 | 7 | |a LAN |x 009060 |2 bisacsh | |
| 082 | 7 | |a 415 |2 19 | |
| 084 | |a 17.59 |2 bcl | ||
| 049 | |a MAIN | ||
| 111 | 2 | |a Stuttgart Conference on the Logic of Tense and Quantification |d (1979) |0 http://id.loc.gov/authorities/names/n80043821 | |
| 245 | 1 | 0 | |a Time, tense, and quantifiers : |b proceedings of the Stuttgart Conference on the Logic of Tense and Quantification / |c ed. by Christian Rohrer. |
| 260 | |a Tübingen : |b Niemeyer, |c 1980. | ||
| 300 | |a 1 online resource (421 pages) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a data file | ||
| 490 | 1 | |a Linguistische Arbeiten, |x 0344-6727 ; |v 83 | |
| 504 | |a Includes bibliographical references. | ||
| 650 | 0 | |a Grammar, Comparative and general |x Temporal constructions |v Congresses. | |
| 650 | 0 | |a Grammar, Comparative and general |x Quantifiers |v Congresses. | |
| 650 | 0 | |a Space and time in language |v Congresses. | |
| 650 | 0 | |a Tense (Logic) |v Congresses. | |
| 650 | 6 | |a Temporalité (Linguistique) |v Congrès. | |
| 650 | 6 | |a Quantificateurs (Linguistique) |v Congrès. | |
| 650 | 6 | |a Espace et temps dans le langage |v Congrès. | |
| 650 | 6 | |a Temps (Logique) |v Congrès. | |
| 650 | 7 | |a LANGUAGE ARTS & DISCIPLINES |x Grammar & Punctuation. |2 bisacsh | |
| 650 | 7 | |a LANGUAGE ARTS & DISCIPLINES |x Linguistics |x Syntax. |2 bisacsh | |
| 650 | 7 | |a Grammar, Comparative and general |x Quantifiers |2 fast | |
| 650 | 7 | |a Grammar, Comparative and general |x Temporal constructions |2 fast | |
| 650 | 7 | |a Space and time in language |2 fast | |
| 650 | 7 | |a Tense (Logic) |2 fast | |
| 655 | 7 | |a Conference papers and proceedings |2 fast | |
| 700 | 1 | |a Rohrer, Christian, |d 1938- |1 https://id.oclc.org/worldcat/entity/E39PBJwCXDbbXxCTfRhVbYdvpP |0 http://id.loc.gov/authorities/names/n50046004 | |
| 776 | 0 | 8 | |i Print version: |a Stuttgart Conference on the Logic of Tense and Quantification (1979). |t Time, tense, and quantifiers. |d Tübingen : Niemeyer, 1980 |w (DLC) 80487424 |
| 830 | 0 | |a Linguistische Arbeiten (Max Niemeyer Verlag) ; |v 83. |0 http://id.loc.gov/authorities/names/n42033314 | |
| 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=584360 |3 Volltext |
| 938 | |a ebrary |b EBRY |n ebr10590719 | ||
| 938 | |a EBSCOhost |b EBSC |n 584360 | ||
| 938 | |a YBP Library Services |b YANK |n 9601146 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-ocn811400282 |
|---|---|
| _version_ | 1816882208500088832 |
| adam_text | |
| any_adam_object | |
| author2 | Rohrer, Christian, 1938- |
| author2_role | |
| author2_variant | c r cr |
| author_GND | http://id.loc.gov/authorities/names/n50046004 |
| author_corporate | Stuttgart Conference on the Logic of Tense and Quantification |
| author_corporate_role | |
| author_facet | Rohrer, Christian, 1938- Stuttgart Conference on the Logic of Tense and Quantification |
| author_sort | Stuttgart Conference on the Logic of Tense and Quantification |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | P - Language and Literature |
| callnumber-label | P294 |
| callnumber-raw | P294.5 .S87 1979eb |
| callnumber-search | P294.5 .S87 1979eb |
| callnumber-sort | P 3294.5 S87 41979EB |
| callnumber-subject | P - Philology and Linguistics |
| collection | ZDB-4-EBA |
| ctrlnum | (OCoLC)811400282 |
| dewey-full | 415 |
| dewey-hundreds | 400 - Language |
| dewey-ones | 415 - Grammar |
| dewey-raw | 415 |
| dewey-search | 415 |
| dewey-sort | 3415 |
| dewey-tens | 410 - Linguistics |
| discipline | Sprachwissenschaft |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03262cam a2200673Ma 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn811400282</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20241004212047.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cn|||||||||</controlfield><controlfield tag="008">800729s1980 gw ob 100 0 eng d</controlfield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">E7B</subfield><subfield code="b">eng</subfield><subfield code="e">pn</subfield><subfield code="c">E7B</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">N$T</subfield><subfield code="d">OCLCF</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">DEBBG</subfield><subfield code="d">YDXCP</subfield><subfield code="d">OCL</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">DEBSZ</subfield><subfield code="d">AZK</subfield><subfield code="d">MOR</subfield><subfield code="d">PIFAG</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">U3W</subfield><subfield code="d">STF</subfield><subfield code="d">WRM</subfield><subfield code="d">COCUF</subfield><subfield code="d">NRAMU</subfield><subfield code="d">CRU</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">VT2</subfield><subfield code="d">WYU</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">TKN</subfield><subfield code="d">AU@</subfield><subfield code="d">K6U</subfield><subfield code="d">OCLCA</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">BTN</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield><subfield code="d">OCLCQ</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">GFR80-A</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">000001695825</subfield><subfield code="2">AU</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">961523311</subfield><subfield code="a">962703832</subfield><subfield code="a">1057929700</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783111346069</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3111346064</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">3484103744</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9783484103740</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)811400282</subfield><subfield code="z">(OCoLC)961523311</subfield><subfield code="z">(OCoLC)962703832</subfield><subfield code="z">(OCoLC)1057929700</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">P294.5</subfield><subfield code="b">.S87 1979eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">LAN</subfield><subfield code="x">006000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">LAN</subfield><subfield code="x">009060</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">415</subfield><subfield code="2">19</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">17.59</subfield><subfield code="2">bcl</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Stuttgart Conference on the Logic of Tense and Quantification</subfield><subfield code="d">(1979)</subfield><subfield code="0">http://id.loc.gov/authorities/names/n80043821</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Time, tense, and quantifiers :</subfield><subfield code="b">proceedings of the Stuttgart Conference on the Logic of Tense and Quantification /</subfield><subfield code="c">ed. by Christian Rohrer.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Tübingen :</subfield><subfield code="b">Niemeyer,</subfield><subfield code="c">1980.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (421 pages)</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="347" ind1=" " ind2=" "><subfield code="a">data file</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Linguistische Arbeiten,</subfield><subfield code="x">0344-6727 ;</subfield><subfield code="v">83</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Grammar, Comparative and general</subfield><subfield code="x">Temporal constructions</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Grammar, Comparative and general</subfield><subfield code="x">Quantifiers</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Space and time in language</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Tense (Logic)</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Temporalité (Linguistique)</subfield><subfield code="v">Congrès.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Quantificateurs (Linguistique)</subfield><subfield code="v">Congrès.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Espace et temps dans le langage</subfield><subfield code="v">Congrès.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Temps (Logique)</subfield><subfield code="v">Congrès.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">LANGUAGE ARTS & DISCIPLINES</subfield><subfield code="x">Grammar & Punctuation.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">LANGUAGE ARTS & DISCIPLINES</subfield><subfield code="x">Linguistics</subfield><subfield code="x">Syntax.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Grammar, Comparative and general</subfield><subfield code="x">Quantifiers</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Grammar, Comparative and general</subfield><subfield code="x">Temporal constructions</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Space and time in language</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Tense (Logic)</subfield><subfield code="2">fast</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">Conference papers and proceedings</subfield><subfield code="2">fast</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Rohrer, Christian,</subfield><subfield code="d">1938-</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PBJwCXDbbXxCTfRhVbYdvpP</subfield><subfield code="0">http://id.loc.gov/authorities/names/n50046004</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="a">Stuttgart Conference on the Logic of Tense and Quantification (1979).</subfield><subfield code="t">Time, tense, and quantifiers.</subfield><subfield code="d">Tübingen : Niemeyer, 1980</subfield><subfield code="w">(DLC) 80487424</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Linguistische Arbeiten (Max Niemeyer Verlag) ;</subfield><subfield code="v">83.</subfield><subfield code="0">http://id.loc.gov/authorities/names/n42033314</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=584360</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ebrary</subfield><subfield code="b">EBRY</subfield><subfield code="n">ebr10590719</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">584360</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">9601146</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 | Conference papers and proceedings fast |
| genre_facet | Conference papers and proceedings |
| id | ZDB-4-EBA-ocn811400282 |
| illustrated | Not Illustrated |
| indexdate | 2024-11-27T13:24:57Z |
| institution | BVB |
| institution_GND | http://id.loc.gov/authorities/names/n80043821 |
| isbn | 9783111346069 3111346064 |
| issn | 0344-6727 ; |
| language | English |
| oclc_num | 811400282 |
| open_access_boolean | |
| owner | MAIN DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-863 DE-BY-FWS |
| physical | 1 online resource (421 pages) |
| psigel | ZDB-4-EBA |
| publishDate | 1980 |
| publishDateSearch | 1980 |
| publishDateSort | 1980 |
| publisher | Niemeyer, |
| record_format | marc |
| series | Linguistische Arbeiten (Max Niemeyer Verlag) ; |
| series2 | Linguistische Arbeiten, |
| spelling | Stuttgart Conference on the Logic of Tense and Quantification (1979) http://id.loc.gov/authorities/names/n80043821 Time, tense, and quantifiers : proceedings of the Stuttgart Conference on the Logic of Tense and Quantification / ed. by Christian Rohrer. Tübingen : Niemeyer, 1980. 1 online resource (421 pages) text txt rdacontent computer c rdamedia online resource cr rdacarrier data file Linguistische Arbeiten, 0344-6727 ; 83 Includes bibliographical references. Grammar, Comparative and general Temporal constructions Congresses. Grammar, Comparative and general Quantifiers Congresses. Space and time in language Congresses. Tense (Logic) Congresses. Temporalité (Linguistique) Congrès. Quantificateurs (Linguistique) Congrès. Espace et temps dans le langage Congrès. Temps (Logique) Congrès. LANGUAGE ARTS & DISCIPLINES Grammar & Punctuation. bisacsh LANGUAGE ARTS & DISCIPLINES Linguistics Syntax. bisacsh Grammar, Comparative and general Quantifiers fast Grammar, Comparative and general Temporal constructions fast Space and time in language fast Tense (Logic) fast Conference papers and proceedings fast Rohrer, Christian, 1938- https://id.oclc.org/worldcat/entity/E39PBJwCXDbbXxCTfRhVbYdvpP http://id.loc.gov/authorities/names/n50046004 Print version: Stuttgart Conference on the Logic of Tense and Quantification (1979). Time, tense, and quantifiers. Tübingen : Niemeyer, 1980 (DLC) 80487424 Linguistische Arbeiten (Max Niemeyer Verlag) ; 83. http://id.loc.gov/authorities/names/n42033314 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=584360 Volltext |
| spellingShingle | Time, tense, and quantifiers : proceedings of the Stuttgart Conference on the Logic of Tense and Quantification / Linguistische Arbeiten (Max Niemeyer Verlag) ; Grammar, Comparative and general Temporal constructions Congresses. Grammar, Comparative and general Quantifiers Congresses. Space and time in language Congresses. Tense (Logic) Congresses. Temporalité (Linguistique) Congrès. Quantificateurs (Linguistique) Congrès. Espace et temps dans le langage Congrès. Temps (Logique) Congrès. LANGUAGE ARTS & DISCIPLINES Grammar & Punctuation. bisacsh LANGUAGE ARTS & DISCIPLINES Linguistics Syntax. bisacsh Grammar, Comparative and general Quantifiers fast Grammar, Comparative and general Temporal constructions fast Space and time in language fast Tense (Logic) fast |
| title | Time, tense, and quantifiers : proceedings of the Stuttgart Conference on the Logic of Tense and Quantification / |
| title_auth | Time, tense, and quantifiers : proceedings of the Stuttgart Conference on the Logic of Tense and Quantification / |
| title_exact_search | Time, tense, and quantifiers : proceedings of the Stuttgart Conference on the Logic of Tense and Quantification / |
| title_full | Time, tense, and quantifiers : proceedings of the Stuttgart Conference on the Logic of Tense and Quantification / ed. by Christian Rohrer. |
| title_fullStr | Time, tense, and quantifiers : proceedings of the Stuttgart Conference on the Logic of Tense and Quantification / ed. by Christian Rohrer. |
| title_full_unstemmed | Time, tense, and quantifiers : proceedings of the Stuttgart Conference on the Logic of Tense and Quantification / ed. by Christian Rohrer. |
| title_short | Time, tense, and quantifiers : |
| title_sort | time tense and quantifiers proceedings of the stuttgart conference on the logic of tense and quantification |
| title_sub | proceedings of the Stuttgart Conference on the Logic of Tense and Quantification / |
| topic | Grammar, Comparative and general Temporal constructions Congresses. Grammar, Comparative and general Quantifiers Congresses. Space and time in language Congresses. Tense (Logic) Congresses. Temporalité (Linguistique) Congrès. Quantificateurs (Linguistique) Congrès. Espace et temps dans le langage Congrès. Temps (Logique) Congrès. LANGUAGE ARTS & DISCIPLINES Grammar & Punctuation. bisacsh LANGUAGE ARTS & DISCIPLINES Linguistics Syntax. bisacsh Grammar, Comparative and general Quantifiers fast Grammar, Comparative and general Temporal constructions fast Space and time in language fast Tense (Logic) fast |
| topic_facet | Grammar, Comparative and general Temporal constructions Congresses. Grammar, Comparative and general Quantifiers Congresses. Space and time in language Congresses. Tense (Logic) Congresses. Temporalité (Linguistique) Congrès. Quantificateurs (Linguistique) Congrès. Espace et temps dans le langage Congrès. Temps (Logique) Congrès. LANGUAGE ARTS & DISCIPLINES Grammar & Punctuation. LANGUAGE ARTS & DISCIPLINES Linguistics Syntax. Grammar, Comparative and general Quantifiers Grammar, Comparative and general Temporal constructions Space and time in language Tense (Logic) Conference papers and proceedings |
| url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=584360 |
| work_keys_str_mv | AT stuttgartconferenceonthelogicoftenseandquantification timetenseandquantifiersproceedingsofthestuttgartconferenceonthelogicoftenseandquantification AT rohrerchristian timetenseandquantifiersproceedingsofthestuttgartconferenceonthelogicoftenseandquantification |