Proof and consequence: an introduction to classical logic
Gespeichert in:
Hauptverfasser: | , |
---|---|
Format: | Buch |
Sprache: | English |
Veröffentlicht: |
Peterborough, Ont.
Broadview Press
c2006
|
Schlagworte: | |
Online-Zugang: | Inhaltsverzeichnis |
Beschreibung: | Companion study guide u.d.T.: Jennings, Raymond E.: Simple Simon Includes bibliographical references and indexes |
Beschreibung: | x, 315 p. 23 cm |
ISBN: | 1551115476 |
Internformat
MARC
LEADER | 00000nam a2200000zc 4500 | ||
---|---|---|---|
001 | BV022787045 | ||
003 | DE-604 | ||
005 | 20080215 | ||
007 | t | ||
008 | 070921s2006 xxc |||| 00||| eng d | ||
010 | |a 2006283667 | ||
020 | |a 1551115476 |c pbk. |9 1-55111-547-6 | ||
035 | |a (OCoLC)75088078 | ||
035 | |a (DE-599)BVBBV022787045 | ||
040 | |a DE-604 |b ger |e aacr | ||
041 | 0 | |a eng | |
044 | |a xxc |c CA | ||
049 | |a DE-29 | ||
050 | 0 | |a BC135 | |
082 | 0 | |a 160 | |
084 | |a CC 2400 |0 (DE-625)17608: |2 rvk | ||
084 | |a 5,1 |2 ssgn | ||
100 | 1 | |a Jennings, Raymond E. |e Verfasser |0 (DE-588)132158205 |4 aut | |
245 | 1 | 0 | |a Proof and consequence |b an introduction to classical logic |c R. E. Jennings and N. A. Friedrich |
264 | 1 | |a Peterborough, Ont. |b Broadview Press |c c2006 | |
300 | |a x, 315 p. |c 23 cm | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
500 | |a Companion study guide u.d.T.: Jennings, Raymond E.: Simple Simon | ||
500 | |a Includes bibliographical references and indexes | ||
650 | 4 | |a Logic, Symbolic and mathematical | |
650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
655 | 7 | |0 (DE-588)4123623-3 |a Lehrbuch |2 gnd-content | |
689 | 0 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
689 | 0 | |5 DE-604 | |
700 | 1 | |a Friedrich, Nicole Amber |e Verfasser |4 aut | |
856 | 4 | 2 | |m V:DE-604 |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015992462&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
999 | |a oai:aleph.bib-bvb.de:BVB01-015992462 |
Datensatz im Suchindex
_version_ | 1804137051022426112 |
---|---|
adam_text |
|
adam_txt | |
any_adam_object | 1 |
any_adam_object_boolean | 1 |
author | Jennings, Raymond E. Friedrich, Nicole Amber |
author_GND | (DE-588)132158205 |
author_facet | Jennings, Raymond E. Friedrich, Nicole Amber |
author_role | aut aut |
author_sort | Jennings, Raymond E. |
author_variant | r e j re rej n a f na naf |
building | Verbundindex |
bvnumber | BV022787045 |
callnumber-first | B - Philosophy, Psychology, Religion |
callnumber-label | BC135 |
callnumber-raw | BC135 |
callnumber-search | BC135 |
callnumber-sort | BC 3135 |
callnumber-subject | BC - Logic |
classification_rvk | CC 2400 |
ctrlnum | (OCoLC)75088078 (DE-599)BVBBV022787045 |
dewey-full | 160 |
dewey-hundreds | 100 - Philosophy & psychology |
dewey-ones | 160 - Philosophical logic |
dewey-raw | 160 |
dewey-search | 160 |
dewey-sort | 3160 |
dewey-tens | 160 - Philosophical logic |
discipline | Philosophie |
discipline_str_mv | Philosophie |
format | Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01607nam a2200433zc 4500</leader><controlfield tag="001">BV022787045</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20080215 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">070921s2006 xxc |||| 00||| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2006283667</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1551115476</subfield><subfield code="c">pbk.</subfield><subfield code="9">1-55111-547-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)75088078</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV022787045</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">xxc</subfield><subfield code="c">CA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">BC135</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">160</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2400</subfield><subfield code="0">(DE-625)17608:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">5,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Jennings, Raymond E.</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)132158205</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proof and consequence</subfield><subfield code="b">an introduction to classical logic</subfield><subfield code="c">R. E. Jennings and N. A. Friedrich</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Peterborough, Ont.</subfield><subfield code="b">Broadview Press</subfield><subfield code="c">c2006</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">x, 315 p.</subfield><subfield code="c">23 cm</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Companion study guide u.d.T.: Jennings, Raymond E.: Simple Simon</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and indexes</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4123623-3</subfield><subfield code="a">Lehrbuch</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Friedrich, Nicole Amber</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">V:DE-604</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015992462&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015992462</subfield></datafield></record></collection> |
genre | (DE-588)4123623-3 Lehrbuch gnd-content |
genre_facet | Lehrbuch |
id | DE-604.BV022787045 |
illustrated | Not Illustrated |
index_date | 2024-07-02T18:38:27Z |
indexdate | 2024-07-09T21:06:08Z |
institution | BVB |
isbn | 1551115476 |
language | English |
lccn | 2006283667 |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015992462 |
oclc_num | 75088078 |
open_access_boolean | |
owner | DE-29 |
owner_facet | DE-29 |
physical | x, 315 p. 23 cm |
publishDate | 2006 |
publishDateSearch | 2006 |
publishDateSort | 2006 |
publisher | Broadview Press |
record_format | marc |
spelling | Jennings, Raymond E. Verfasser (DE-588)132158205 aut Proof and consequence an introduction to classical logic R. E. Jennings and N. A. Friedrich Peterborough, Ont. Broadview Press c2006 x, 315 p. 23 cm txt rdacontent n rdamedia nc rdacarrier Companion study guide u.d.T.: Jennings, Raymond E.: Simple Simon Includes bibliographical references and indexes Logic, Symbolic and mathematical Logik (DE-588)4036202-4 gnd rswk-swf (DE-588)4123623-3 Lehrbuch gnd-content Logik (DE-588)4036202-4 s DE-604 Friedrich, Nicole Amber Verfasser aut V:DE-604 application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015992462&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
spellingShingle | Jennings, Raymond E. Friedrich, Nicole Amber Proof and consequence an introduction to classical logic Logic, Symbolic and mathematical Logik (DE-588)4036202-4 gnd |
subject_GND | (DE-588)4036202-4 (DE-588)4123623-3 |
title | Proof and consequence an introduction to classical logic |
title_auth | Proof and consequence an introduction to classical logic |
title_exact_search | Proof and consequence an introduction to classical logic |
title_exact_search_txtP | Proof and consequence an introduction to classical logic |
title_full | Proof and consequence an introduction to classical logic R. E. Jennings and N. A. Friedrich |
title_fullStr | Proof and consequence an introduction to classical logic R. E. Jennings and N. A. Friedrich |
title_full_unstemmed | Proof and consequence an introduction to classical logic R. E. Jennings and N. A. Friedrich |
title_short | Proof and consequence |
title_sort | proof and consequence an introduction to classical logic |
title_sub | an introduction to classical logic |
topic | Logic, Symbolic and mathematical Logik (DE-588)4036202-4 gnd |
topic_facet | Logic, Symbolic and mathematical Logik Lehrbuch |
url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015992462&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
work_keys_str_mv | AT jenningsraymonde proofandconsequenceanintroductiontoclassicallogic AT friedrichnicoleamber proofandconsequenceanintroductiontoclassicallogic |