跳到内容
Introduction to symbolic logic and its applications 预览资料
关闭预览资料
正在查...

Introduction to symbolic logic and its applications

著者: Rudolf Carnap; William H Meyer; John Wilkinson
出版商: New York : Dover Publications, ©1958.
版本/格式:   打印图书 : 英语查看所有的版本和格式
数据库:WorldCat
提要:
A clear, comprehensive, and rigorous treatment develops the subject from elementary concepts to the construction and analysis of relatively complex logical languages. It then considers the application of symbolic logic to the clarification and axiomatization of theories in mathematics, physics, and biology. Hundreds of problems, examples, and exercises.
评估:

(尚未评估) 0 附有评论 - 争取成为第一个。

主题
更多类似这样的

 

在图书馆查找

&AllPage.SpinnerRetrieving; 正在查找有这资料的图书馆...

详细书目

附加的形体格式: Online version:
Carnap, Rudolf, 1891-1970.
Introduction to symbolic logic and its applications.
New York, Dover Publications [1958]
(OCoLC)609849576
文档类型 图书
所有的著者/提供者: Rudolf Carnap; William H Meyer; John Wilkinson
OCLC号码: 386434
注释: Translation of: Einfuhrung in die symbolische Logik.
描述: xiv, 241 pages ; 21 cm
其他题名: Einfuhrung in die symbolische Logik.
责任: by Rudolf Carnap ; translated by William H. Meyer and John Wilkinson.

摘要:

A clear, comprehensive, and rigorous treatment develops the subject from elementary concepts to the construction and analysis of relatively complex logical languages. It then considers the application of symbolic logic to the clarification and axiomatization of theories in mathematics, physics, and biology. Hundreds of problems, examples, and exercises.

评论

用户提供的评论
正在获取GoodReads评论...
正在检索DOGObooks的评论

标签

争取是第一个!

相似资料

主题:(4)

这资料的用户列表 (7)

确认申请

你可能已经申请过这份资料。如果还是想申请,请选确认。

链接数据


Primary Entity

<http://www.worldcat.org/oclc/386434> # Introduction to symbolic logic and its applications
    a schema:CreativeWork, schema:Book ;
    bgn:translationOfWork <http://www.worldcat.org/title/-/oclc/386434#CreativeWork/unidentifiedOriginalWork> ; # Einfuhrung in die symbolische Logik.
    library:oclcnum "386434" ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/2864105916#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
    schema:about <http://experiment.worldcat.org/entity/work/data/2864105916#Topic/symbolische_logica> ; # Symbolische logica
    schema:about <http://id.loc.gov/authorities/classification/BC135> ;
    schema:about <http://dewey.info/class/164/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/2864105916#Topic/wiskunde> ; # Wiskunde
    schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/2864105916#Person/wilkinson_john> ; # John Wilkinson
    schema:contributor <http://viaf.org/viaf/66530593> ; # William H. Meyer
    schema:copyrightYear "1958" ;
    schema:creator <http://viaf.org/viaf/73895990> ; # Rudolf Carnap
    schema:datePublished "1958" ;
    schema:description "A clear, comprehensive, and rigorous treatment develops the subject from elementary concepts to the construction and analysis of relatively complex logical languages. It then considers the application of symbolic logic to the clarification and axiomatization of theories in mathematics, physics, and biology. Hundreds of problems, examples, and exercises."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/2864105916> ; # Einfuhrung in die symbolische Logik.
    schema:inLanguage "en" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/609849576> ;
    schema:name "Introduction to symbolic logic and its applications"@en ;
    schema:productID "386434" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/386434#PublicationEvent/new_york_dover_publications_1958> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/2864105916#Agent/dover_publications> ; # Dover Publications
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/386434> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/2864105916#Agent/dover_publications> # Dover Publications
    a bgn:Agent ;
    schema:name "Dover Publications" ;
    .

<http://experiment.worldcat.org/entity/work/data/2864105916#Person/wilkinson_john> # John Wilkinson
    a schema:Person ;
    schema:familyName "Wilkinson" ;
    schema:givenName "John" ;
    schema:name "John Wilkinson" ;
    .

<http://experiment.worldcat.org/entity/work/data/2864105916#Topic/logique_symbolique_et_mathematique> # Logique symbolique et mathématique
    a schema:Intangible ;
    schema:name "Logique symbolique et mathématique"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/2864105916#Topic/symbolische_logica> # Symbolische logica
    a schema:Intangible ;
    schema:name "Symbolische logica"@en ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
    schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://viaf.org/viaf/66530593> # William H. Meyer
    a schema:Person ;
    schema:familyName "Meyer" ;
    schema:givenName "William H." ;
    schema:name "William H. Meyer" ;
    .

<http://viaf.org/viaf/73895990> # Rudolf Carnap
    a schema:Person ;
    schema:birthDate "1891" ;
    schema:deathDate "1970" ;
    schema:familyName "Carnap" ;
    schema:givenName "Rudolf" ;
    schema:name "Rudolf Carnap" ;
    .

<http://worldcat.org/entity/work/id/2864105916> # Einfuhrung in die symbolische Logik.
    schema:name "Einfuhrung in die symbolische Logik." ;
    .

<http://www.worldcat.org/oclc/609849576>
    a schema:CreativeWork ;
    rdfs:label "Introduction to symbolic logic and its applications." ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/386434> ; # Introduction to symbolic logic and its applications
    .

<http://www.worldcat.org/title/-/oclc/386434#CreativeWork/unidentifiedOriginalWork> # Einfuhrung in die symbolische Logik.
    a schema:CreativeWork ;
    schema:inLanguage "de" ;
    schema:name "Einfuhrung in die symbolische Logik." ;
    .


Content-negotiable representations

关闭窗口

请登入WorldCat 

没有张号吗?很容易就可以 建立免费的账号.