aller au contenu
Introduction to symbolic logic and its applications Aperçu de cet ouvrage
FermerAperçu de cet ouvrage
Vérifiant…

Introduction to symbolic logic and its applications

Auteur : Rudolf Carnap; William H Meyer; John Wilkinson
Éditeur: New York : Dover Publications, ©1958.
Édition/format:   Livre imprimé : AnglaisVoir toutes les éditions et tous les formats
Base de données:WorldCat
Résumé:
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.
Évaluation:

(pas encore évalué) 0 avec des critiques - Soyez le premier.

Sujets
Plus comme ceci

 

Trouver un exemplaire dans la bibliothèque

&AllPage.SpinnerRetrieving; Recherche de bibliothèques qui possèdent cet ouvrage...

Détails

Format – détails additionnels: Online version:
Carnap, Rudolf, 1891-1970.
Introduction to symbolic logic and its applications.
New York, Dover Publications [1958]
(OCoLC)609849576
Type de document: Livre
Tous les auteurs / collaborateurs: Rudolf Carnap; William H Meyer; John Wilkinson
Numéro OCLC: 386434
Notes: Translation of: Einfuhrung in die symbolische Logik.
Description: xiv, 241 pages ; 21 cm
Autres titres: Einfuhrung in die symbolische Logik.
Responsabilité: by Rudolf Carnap ; translated by William H. Meyer and John Wilkinson.

Résumé:

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.

Critiques

Critiques d’utilisateurs
Récupération des critiques de GoodReads...
Récuperation des critiques DOGObooks…

Marqueurs

Soyez le premier.

Ouvrages semblables

Sujet(s):(4)

Listes d’utilisateurs dans lesquelles cet ouvrage apparaît (7)

Confirmez cette demande

Vous avez peut-être déjà demandé cet ouvrage. Veuillez sélectionner OK si vous voulez poursuivre avec cette demande quand même.

Données liées


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

Fermer la fenêtre

Veuillez vous identifier dans WorldCat 

Vous n’avez pas de compte? Vous pouvez facilement créer un compte gratuit.