Introductory formal logic of mathematics:
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
London
Univ. Tutorial Press
1957
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | VII, 188 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV009247395 | ||
| 003 | DE-604 | ||
| 005 | 20141201 | ||
| 007 | t | ||
| 008 | 940313s1957 |||| 00||| eng d | ||
| 035 | |a (OCoLC)2184935 | ||
| 035 | |a (DE-599)BVBBV009247395 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29 |a DE-188 | ||
| 050 | 0 | |a QA9 | |
| 082 | 0 | |a 510.1 | |
| 084 | |a CC 2400 |0 (DE-625)17608: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 100 | 1 | |a Nidditch, Peter H. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Introductory formal logic of mathematics |c by P. H. Nidditch |
| 264 | 1 | |a London |b Univ. Tutorial Press |c 1957 | |
| 300 | |a VII, 188 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a Metamathematics | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006153488&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006153488 | ||
Record in the Search Index
| _version_ | 1804123694826520576 |
|---|---|
| adam_text | CONTENTS
SECTION PAGE
Introduction 1
I. Proofs, Propositions, and Formulae .. 11
II. Rules for Propositional and Formula
Calculi 19
III. Some Theorems in the Propositional
Calculus 23
IV. The Formula Calculus 31
V. Rules for the Quantificational Calculus 44
VI. Some Theorems in the Quantificational
Calculus 54
VII. Sets, Subsets, and Complementation .. 65
VIII. Couples and Product Sets .. .. 78
IX. Graphs, Correspondences, and Images .. 94
X. Reciprocal Graphs, Composite Graphs,
and Functions 115
XI. Unions, Intersections, and Boolean
Algebra .. 140
Bibliographical Note 160
Exercises 163
Appendix I 179
Appendix II 185
Index 187
vii
|
| any_adam_object | 1 |
| author | Nidditch, Peter H. |
| author_facet | Nidditch, Peter H. |
| author_role | aut |
| author_sort | Nidditch, Peter H. |
| author_variant | p h n ph phn |
| building | Verbundindex |
| bvnumber | BV009247395 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9 |
| callnumber-search | QA9 |
| callnumber-sort | QA 19 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | CC 2400 SK 130 |
| ctrlnum | (OCoLC)2184935 (DE-599)BVBBV009247395 |
| dewey-full | 510.1 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 510 - Mathematics |
| dewey-raw | 510.1 |
| dewey-search | 510.1 |
| dewey-sort | 3510.1 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik Philosophie |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01129nam a2200325 c 4500</leader><controlfield tag="001">BV009247395</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20141201 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940313s1957 |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)2184935</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009247395</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">510.1</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">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Nidditch, Peter H.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Introductory formal logic of mathematics</subfield><subfield code="c">by P. H. Nidditch</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London</subfield><subfield code="b">Univ. Tutorial Press</subfield><subfield code="c">1957</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VII, 188 S.</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="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Metamathematics</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</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=006153488&sequence=000002&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-006153488</subfield></datafield></record></collection> |
| id | DE-604.BV009247395 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:33:51Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006153488 |
| oclc_num | 2184935 |
| open_access_boolean | |
| owner | DE-29 DE-188 |
| owner_facet | DE-29 DE-188 |
| physical | VII, 188 S. |
| publishDate | 1957 |
| publishDateSearch | 1957 |
| publishDateSort | 1957 |
| publisher | Univ. Tutorial Press |
| record_format | marc |
| spelling | Nidditch, Peter H. Verfasser aut Introductory formal logic of mathematics by P. H. Nidditch London Univ. Tutorial Press 1957 VII, 188 S. txt rdacontent n rdamedia nc rdacarrier Logic, Symbolic and mathematical Metamathematics HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006153488&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Nidditch, Peter H. Introductory formal logic of mathematics Logic, Symbolic and mathematical Metamathematics |
| title | Introductory formal logic of mathematics |
| title_auth | Introductory formal logic of mathematics |
| title_exact_search | Introductory formal logic of mathematics |
| title_full | Introductory formal logic of mathematics by P. H. Nidditch |
| title_fullStr | Introductory formal logic of mathematics by P. H. Nidditch |
| title_full_unstemmed | Introductory formal logic of mathematics by P. H. Nidditch |
| title_short | Introductory formal logic of mathematics |
| title_sort | introductory formal logic of mathematics |
| topic | Logic, Symbolic and mathematical Metamathematics |
| topic_facet | Logic, Symbolic and mathematical Metamathematics |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006153488&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT nidditchpeterh introductoryformallogicofmathematics |