The functional interpretation of logical deduction /
Saved in:
| Author / Creator: | Queiroz, Ruy J. G. B. de |
|---|---|
| Imprint: | Singapore ; Hackensack, N.J. : World Scientific, c2012. |
| Description: | xxxii, 266 p. ; 24 cm. |
| Language: | English |
| Series: | Advances in logic ; v. 5 Advances in logic ; v. 5. |
| Subject: | |
| Format: | Print Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/8681109 |
MARC
| LEADER | 00000cam a2200000Ka 4500 | ||
|---|---|---|---|
| 001 | 8681109 | ||
| 005 | 20130425145400.0 | ||
| 008 | 110515s2012 si b 001 0 eng d | ||
| 003 | ICU | ||
| 016 | 7 | |a 015956617 |2 Uk | |
| 019 | |a 783118536 | ||
| 020 | |a 9789814360951 | ||
| 020 | |a 9814360953 | ||
| 035 | |a (OCoLC)724704207 |z (OCoLC)783118536 | ||
| 035 | |a 8681109 | ||
| 035 | |a co4347847 | ||
| 040 | |a BTCTA |b eng |c BTCTA |d UKMGB |d SINLB |d YDXCP |d BWX |d VGM |d E7B |d CDX |d OCLCQ | ||
| 049 | |a CGUA | ||
| 050 | 4 | |a QA9 |b .Q45 2012 | |
| 082 | 0 | 4 | |a 511.3 |2 22 |
| 090 | |a QA9.54 |b .Q84 2012 | ||
| 100 | 1 | |a Queiroz, Ruy J. G. B. de |0 http://id.loc.gov/authorities/names/n2003101164 |1 http://viaf.org/viaf/59253332 | |
| 245 | 1 | 4 | |a The functional interpretation of logical deduction / |c Ruy J.G.B. de Queiroz, Anjolina G. de Oliveira, Dov M. Gabbay. |
| 260 | |a Singapore ; |a Hackensack, N.J. : |b World Scientific, |c c2012. | ||
| 300 | |a xxxii, 266 p. ; |c 24 cm. | ||
| 336 | |a text |b txt |2 rdacontent |0 http://id.loc.gov/vocabulary/contentTypes/txt | ||
| 337 | |a unmediated |b n |2 rdamedia |0 http://id.loc.gov/vocabulary/mediaTypes/n | ||
| 338 | |a volume |b nc |2 rdacarrier |0 http://id.loc.gov/vocabulary/carriers/nc | ||
| 490 | 1 | |a Advances in logic ; |v v. 5 | |
| 504 | |a Includes bibliographical references (p. 253-264) and index. | ||
| 650 | 0 | |a Logic. |0 http://id.loc.gov/authorities/subjects/sh85078106 | |
| 650 | 0 | |a Modality (Logic) |0 http://id.loc.gov/authorities/subjects/sh85086410 | |
| 650 | 7 | |a Logic. |2 fast |0 http://id.worldcat.org/fast/fst01002014 | |
| 650 | 7 | |a Modality (Logic) |2 fast |0 http://id.worldcat.org/fast/fst01024350 | |
| 700 | 1 | |a Oliveira, Anjolina G. de. |0 http://id.loc.gov/authorities/names/no2012107862 |1 http://viaf.org/viaf/258936274 | |
| 700 | 1 | |a Gabbay, Dov M., |d 1945- |0 http://id.loc.gov/authorities/names/n80153278 |1 http://viaf.org/viaf/76325399 | |
| 830 | 0 | |a Advances in logic ; |v v. 5. | |
| 903 | |a HeVa | ||
| 929 | |a cat | ||
| 999 | f | f | |i 93099156-afb5-50b1-9003-edc4cd49d3da |s 995d2b8a-d1e5-52d8-90d4-f4e97acf74f2 |
| 928 | |t Library of Congress classification |a QA9.54 .Q84 2012 |l Eck |c Eck-Eck |i 1054886 | ||
| 927 | |t Library of Congress classification |a QA9.54 .Q84 2012 |l Eck |c Eck-Eck |b 106730133 |i 9018946 | ||