Introduction to Semantics and Formalization of Logic / / Rudolf Carnap.

Saved in:
Bibliographic Details
Superior document:Title is part of eBook package: De Gruyter HUP e-dition: Complete eBook Package
VerfasserIn:
MitwirkendeR:
Place / Publishing House:Cambridge, MA : : Harvard University Press, , [2013]
©1959
Year of Publication:2013
Edition:Reprint 2013
Language:English
Series:Studies in Semantics ; 1/2
Online Access:
Physical Description:1 online resource (418 p.)
Tags: Add Tag
No Tags, Be the first to tag this record!
id 9780674287938
ctrlnum (DE-B1597)252218
(OCoLC)900847577
collection bib_alma
record_format marc
spelling Carnap, Rudolf, author. aut http://id.loc.gov/vocabulary/relators/aut
Introduction to Semantics and Formalization of Logic / Rudolf Carnap.
Reprint 2013
Cambridge, MA : Harvard University Press, [2013]
©1959
1 online resource (418 p.)
text txt rdacontent
computer c rdamedia
online resource cr rdacarrier
text file PDF rda
Studies in Semantics ; 1/2
Frontmatter -- PREFACE TO THE ONE-VOLUME EDITION -- VOLUME I. INTRODUCTION TO SEMANTICS -- PREFACE -- CONTENTS -- A. SEMIOTIC AND ITS PARTS -- B. SEMANTICS -- C. L-SEMANTICS -- D. SYNTAX -- E. RELATIONS BETWEEN SEMANTICS AND SYNTAX -- APPENDIX -- BIBLIOGRAPHY -- INDEX -- VOLUME II. FORMALIZATION OF LOGIC -- PREFACE -- CONTENTS -- A. THE PROPOSITIONAL CALCULUS (PC) -- B. PROPOSITIONAL LOGIC -- C. INTERPRETATIONS OF PC -- D. JUNCTIVES -- E. FULL FORMALIZATION OF PROPOSITIONAL LOGIC -- F. FULL FORMALIZATION OF FUNCTIONAL LOGIC -- BIBLIOGRAPHY -- INDEX
restricted access http://purl.org/coar/access_right/c_16ec online access with authorization star
Mode of access: Internet via World Wide Web.
In English.
Description based on online resource; title from PDF title page (publisher's Web site, viewed 29. Nov 2021)
Logic, Symbolic and mathematical.
Philosophie.
Semantics (Philosophy).
PHILOSOPHY / General. bisacsh
Carnap, Rudolf, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb
Title is part of eBook package: De Gruyter HUP e-dition: Complete eBook Package 9783110353488 ZDB-23-HCO
Title is part of eBook package: De Gruyter HUP e-dition: Philosophy eBook Package 9783110353525 ZDB-23-HPI
Title is part of eBook package: De Gruyter HUP eBook Package Archive 1893-1999 9783110442212
print 9780674335974
https://doi.org/10.4159/harvard.9780674287938
https://www.degruyter.com/isbn/9780674287938
Cover https://www.degruyter.com/document/cover/isbn/9780674287938/original
language English
format eBook
author Carnap, Rudolf,
Carnap, Rudolf,
spellingShingle Carnap, Rudolf,
Carnap, Rudolf,
Introduction to Semantics and Formalization of Logic /
Studies in Semantics ;
Frontmatter --
PREFACE TO THE ONE-VOLUME EDITION --
VOLUME I. INTRODUCTION TO SEMANTICS --
PREFACE --
CONTENTS --
A. SEMIOTIC AND ITS PARTS --
B. SEMANTICS --
C. L-SEMANTICS --
D. SYNTAX --
E. RELATIONS BETWEEN SEMANTICS AND SYNTAX --
APPENDIX --
BIBLIOGRAPHY --
INDEX --
VOLUME II. FORMALIZATION OF LOGIC --
A. THE PROPOSITIONAL CALCULUS (PC) --
B. PROPOSITIONAL LOGIC --
C. INTERPRETATIONS OF PC --
D. JUNCTIVES --
E. FULL FORMALIZATION OF PROPOSITIONAL LOGIC --
F. FULL FORMALIZATION OF FUNCTIONAL LOGIC --
INDEX
author_facet Carnap, Rudolf,
Carnap, Rudolf,
Carnap, Rudolf,
Carnap, Rudolf,
author_variant r c rc
r c rc
author_role VerfasserIn
VerfasserIn
author2 Carnap, Rudolf,
Carnap, Rudolf,
author2_variant r c rc
r c rc
author2_role MitwirkendeR
MitwirkendeR
author_sort Carnap, Rudolf,
title Introduction to Semantics and Formalization of Logic /
title_full Introduction to Semantics and Formalization of Logic / Rudolf Carnap.
title_fullStr Introduction to Semantics and Formalization of Logic / Rudolf Carnap.
title_full_unstemmed Introduction to Semantics and Formalization of Logic / Rudolf Carnap.
title_auth Introduction to Semantics and Formalization of Logic /
title_alt Frontmatter --
PREFACE TO THE ONE-VOLUME EDITION --
VOLUME I. INTRODUCTION TO SEMANTICS --
PREFACE --
CONTENTS --
A. SEMIOTIC AND ITS PARTS --
B. SEMANTICS --
C. L-SEMANTICS --
D. SYNTAX --
E. RELATIONS BETWEEN SEMANTICS AND SYNTAX --
APPENDIX --
BIBLIOGRAPHY --
INDEX --
VOLUME II. FORMALIZATION OF LOGIC --
A. THE PROPOSITIONAL CALCULUS (PC) --
B. PROPOSITIONAL LOGIC --
C. INTERPRETATIONS OF PC --
D. JUNCTIVES --
E. FULL FORMALIZATION OF PROPOSITIONAL LOGIC --
F. FULL FORMALIZATION OF FUNCTIONAL LOGIC --
INDEX
title_new Introduction to Semantics and Formalization of Logic /
title_sort introduction to semantics and formalization of logic /
series Studies in Semantics ;
series2 Studies in Semantics ;
publisher Harvard University Press,
publishDate 2013
physical 1 online resource (418 p.)
edition Reprint 2013
contents Frontmatter --
PREFACE TO THE ONE-VOLUME EDITION --
VOLUME I. INTRODUCTION TO SEMANTICS --
PREFACE --
CONTENTS --
A. SEMIOTIC AND ITS PARTS --
B. SEMANTICS --
C. L-SEMANTICS --
D. SYNTAX --
E. RELATIONS BETWEEN SEMANTICS AND SYNTAX --
APPENDIX --
BIBLIOGRAPHY --
INDEX --
VOLUME II. FORMALIZATION OF LOGIC --
A. THE PROPOSITIONAL CALCULUS (PC) --
B. PROPOSITIONAL LOGIC --
C. INTERPRETATIONS OF PC --
D. JUNCTIVES --
E. FULL FORMALIZATION OF PROPOSITIONAL LOGIC --
F. FULL FORMALIZATION OF FUNCTIONAL LOGIC --
INDEX
isbn 9780674287938
9783110353488
9783110353525
9783110442212
9780674335974
callnumber-first B - Philosophy, Psychology, Religion
callnumber-subject BC - Logic
callnumber-label BC135
callnumber-sort BC 3135
url https://doi.org/10.4159/harvard.9780674287938
https://www.degruyter.com/isbn/9780674287938
https://www.degruyter.com/document/cover/isbn/9780674287938/original
illustrated Not Illustrated
dewey-hundreds 100 - Philosophy & psychology
dewey-tens 140 - Philosophical schools of thought
dewey-ones 149 - Other philosophical systems
dewey-full 149.94
dewey-sort 3149.94
dewey-raw 149.94
dewey-search 149.94
doi_str_mv 10.4159/harvard.9780674287938
oclc_num 900847577
work_keys_str_mv AT carnaprudolf introductiontosemanticsandformalizationoflogic
status_str n
ids_txt_mv (DE-B1597)252218
(OCoLC)900847577
carrierType_str_mv cr
hierarchy_parent_title Title is part of eBook package: De Gruyter HUP e-dition: Complete eBook Package
Title is part of eBook package: De Gruyter HUP e-dition: Philosophy eBook Package
Title is part of eBook package: De Gruyter HUP eBook Package Archive 1893-1999
is_hierarchy_title Introduction to Semantics and Formalization of Logic /
container_title Title is part of eBook package: De Gruyter HUP e-dition: Complete eBook Package
author2_original_writing_str_mv noLinkedField
noLinkedField
_version_ 1806143213339148288
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03797nam a22008775i 4500</leader><controlfield tag="001">9780674287938</controlfield><controlfield tag="003">DE-B1597</controlfield><controlfield tag="005">20211129102213.0</controlfield><controlfield tag="006">m|||||o||d||||||||</controlfield><controlfield tag="007">cr || ||||||||</controlfield><controlfield tag="008">211129t20131959mau fo d z eng d</controlfield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">(OCoLC)1013937887</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">(OCoLC)1032677314</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">(OCoLC)1037978510</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">(OCoLC)1041976158</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">(OCoLC)1046611964</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">(OCoLC)1047004111</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">(OCoLC)1049616511</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">(OCoLC)1054876495</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780674287938</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.4159/harvard.9780674287938</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-B1597)252218</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)900847577</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-B1597</subfield><subfield code="b">eng</subfield><subfield code="c">DE-B1597</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">mau</subfield><subfield code="c">US-MA</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">BC135</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">PHI000000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">149.94</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Carnap, Rudolf, </subfield><subfield code="e">author.</subfield><subfield code="4">aut</subfield><subfield code="4">http://id.loc.gov/vocabulary/relators/aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Introduction to Semantics and Formalization of Logic /</subfield><subfield code="c">Rudolf Carnap.</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">Reprint 2013</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, MA : </subfield><subfield code="b">Harvard University Press, </subfield><subfield code="c">[2013]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">©1959</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (418 p.)</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">text file</subfield><subfield code="b">PDF</subfield><subfield code="2">rda</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Studies in Semantics ;</subfield><subfield code="v">1/2</subfield></datafield><datafield tag="505" ind1="0" ind2="0"><subfield code="t">Frontmatter -- </subfield><subfield code="t">PREFACE TO THE ONE-VOLUME EDITION -- </subfield><subfield code="t">VOLUME I. INTRODUCTION TO SEMANTICS -- </subfield><subfield code="t">PREFACE -- </subfield><subfield code="t">CONTENTS -- </subfield><subfield code="t">A. SEMIOTIC AND ITS PARTS -- </subfield><subfield code="t">B. SEMANTICS -- </subfield><subfield code="t">C. L-SEMANTICS -- </subfield><subfield code="t">D. SYNTAX -- </subfield><subfield code="t">E. RELATIONS BETWEEN SEMANTICS AND SYNTAX -- </subfield><subfield code="t">APPENDIX -- </subfield><subfield code="t">BIBLIOGRAPHY -- </subfield><subfield code="t">INDEX -- </subfield><subfield code="t">VOLUME II. FORMALIZATION OF LOGIC -- </subfield><subfield code="t">PREFACE -- </subfield><subfield code="t">CONTENTS -- </subfield><subfield code="t">A. THE PROPOSITIONAL CALCULUS (PC) -- </subfield><subfield code="t">B. PROPOSITIONAL LOGIC -- </subfield><subfield code="t">C. INTERPRETATIONS OF PC -- </subfield><subfield code="t">D. JUNCTIVES -- </subfield><subfield code="t">E. FULL FORMALIZATION OF PROPOSITIONAL LOGIC -- </subfield><subfield code="t">F. FULL FORMALIZATION OF FUNCTIONAL LOGIC -- </subfield><subfield code="t">BIBLIOGRAPHY -- </subfield><subfield code="t">INDEX</subfield></datafield><datafield tag="506" ind1="0" ind2=" "><subfield code="a">restricted access</subfield><subfield code="u">http://purl.org/coar/access_right/c_16ec</subfield><subfield code="f">online access with authorization</subfield><subfield code="2">star</subfield></datafield><datafield tag="538" ind1=" " ind2=" "><subfield code="a">Mode of access: Internet via World Wide Web.</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">In English.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Description based on online resource; title from PDF title page (publisher's Web site, viewed 29. Nov 2021)</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">Philosophie.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Semantics (Philosophy).</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">Semantics (Philosophy).</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">PHILOSOPHY / General.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Carnap, Rudolf, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Title is part of eBook package:</subfield><subfield code="d">De Gruyter</subfield><subfield code="t">HUP e-dition: Complete eBook Package</subfield><subfield code="z">9783110353488</subfield><subfield code="o">ZDB-23-HCO</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Title is part of eBook package:</subfield><subfield code="d">De Gruyter</subfield><subfield code="t">HUP e-dition: Philosophy eBook Package</subfield><subfield code="z">9783110353525</subfield><subfield code="o">ZDB-23-HPI</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Title is part of eBook package:</subfield><subfield code="d">De Gruyter</subfield><subfield code="t">HUP eBook Package Archive 1893-1999</subfield><subfield code="z">9783110442212</subfield></datafield><datafield tag="776" ind1="0" ind2=" "><subfield code="c">print</subfield><subfield code="z">9780674335974</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.4159/harvard.9780674287938</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://www.degruyter.com/isbn/9780674287938</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="3">Cover</subfield><subfield code="u">https://www.degruyter.com/document/cover/isbn/9780674287938/original</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">978-3-11-044221-2 HUP eBook Package Archive 1893-1999</subfield><subfield code="c">1893</subfield><subfield code="d">1999</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_BACKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_CL_PLTLJSIS</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_EBACKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_EBKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_ECL_PLTLJSIS</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_EEBKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_ESSHALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_PPALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_SSHALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV-deGruyter-alles</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA11SSHE</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA13ENGE</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA17SSHEE</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA5EBK</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-23-HCO</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-23-HPI</subfield></datafield></record></collection>