skip to content
Direct and Converse Theorems : the Elements of Symbolic Logic. Preview this item
ClosePreview this item
Checking...

Direct and Converse Theorems : the Elements of Symbolic Logic.

Author: I S Gradshtein; I N Sneddon; M Stark; S Ulam
Publisher: Burlington : Elsevier Science, 2014.
Series: International series of monographs in pure and applied mathematics.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
Direct and Converse Theorems: The Elements of Symbolic Logic, Third Edition explains the logical relations between direct, converse, inverse, and inverse converse theorems, as well as the concept of necessary and sufficient conditions. This book consists of two chapters. The first chapter is devoted to the question of negation. Connected with the question of the negation of a proposition are interrelations of the  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Additional Physical Format: Print version:
Gradshtein, I.S.
Direct and Converse Theorems : The Elements of Symbolic Logic.
Burlington : Elsevier Science, ©2014
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: I S Gradshtein; I N Sneddon; M Stark; S Ulam
ISBN: 9781483155074 1483155072
OCLC Number: 898771774
Description: 1 online resource (192 pages).
Contents: Front Cover; Direct and Converse Theorems: The Elements of Symbolic Logic; Copyright Page; Table of Contents; Prefatory Note; PREFACE TO THE ENGLISH EDITION; INTRODUCTION; FROM THE FOREWORD TO THE FIRST EDITION; CHAPTER I. DIRECT AND CONVERSE THEOREMS; 1. Introduction; 2. Theorems; 3. The System of Theorems; 4. Sets and Properties; 5. Relations between Sets; 6. The Representation of the Relations between Sets with the Aid of Diagrams; 7. The Converse Theorem; 8. Inverse Theorems; 9. Reductio ad absurdum; 10. Negation; 11. Necessary and Sufficient Conditions; 12. The Locus of Points. 13. The Law of ReciprocityCHAPTER II. THE ELEMENTS OF MATHEMATICAL LOGIC; 14. Introduction; 15. Statements: Their Truth and Falsehood; 16. The Composition of Statements; 17. Equipollence; 18. Equipollent Statements; 19. The Various Forms of Converse and Inverse Theorems; 20. Always True and Always False Statements; 21. Statements about Properties; 22. ""All"" and ""There Exists""; SOLUTIONS OF THE PROBLEMS INCORPORATED IN THE TEXT.
Series Title: International series of monographs in pure and applied mathematics.

Abstract:

Direct and Converse Theorems: The Elements of Symbolic Logic, Third Edition explains the logical relations between direct, converse, inverse, and inverse converse theorems, as well as the concept of necessary and sufficient conditions. This book consists of two chapters. The first chapter is devoted to the question of negation. Connected with the question of the negation of a proposition are interrelations of the direct and converse and also of the direct and inverse theorems; the interrelations of necessary and sufficient conditions; and the definition of the locus of a point. The second chap.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/898771774> # Direct and Converse Theorems : the Elements of Symbolic Logic.
    a schema:CreativeWork, schema:MediaObject, schema:Book ;
    library:oclcnum "898771774" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/5219029844#Place/burlington> ; # Burlington
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/vtu> ;
    schema:about <http://dewey.info/class/512.817/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/5219029844#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
    schema:about <http://experiment.worldcat.org/entity/work/data/5219029844#Topic/set_theory> ; # Set theory
    schema:about <http://experiment.worldcat.org/entity/work/data/5219029844#Topic/mathematics_algebra_intermediate> ; # MATHEMATICS--Algebra--Intermediate
    schema:about <http://experiment.worldcat.org/entity/work/data/5219029844#Topic/axioms> ; # Axioms
    schema:bookFormat schema:EBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/5219029844#Person/ulam_s> ; # S. Ulam
    schema:contributor <http://experiment.worldcat.org/entity/work/data/5219029844#Person/stark_m> ; # M. Stark
    schema:contributor <http://experiment.worldcat.org/entity/work/data/5219029844#Person/sneddon_i_n> ; # I. N. Sneddon
    schema:creator <http://experiment.worldcat.org/entity/work/data/5219029844#Person/gradshtein_i_s> ; # I. S. Gradshtein
    schema:datePublished "2014" ;
    schema:description "Direct and Converse Theorems: The Elements of Symbolic Logic, Third Edition explains the logical relations between direct, converse, inverse, and inverse converse theorems, as well as the concept of necessary and sufficient conditions. This book consists of two chapters. The first chapter is devoted to the question of negation. Connected with the question of the negation of a proposition are interrelations of the direct and converse and also of the direct and inverse theorems; the interrelations of necessary and sufficient conditions; and the definition of the locus of a point. The second chap."@en ;
    schema:description "Front Cover; Direct and Converse Theorems: The Elements of Symbolic Logic; Copyright Page; Table of Contents; Prefatory Note; PREFACE TO THE ENGLISH EDITION; INTRODUCTION; FROM THE FOREWORD TO THE FIRST EDITION; CHAPTER I. DIRECT AND CONVERSE THEOREMS; 1. Introduction; 2. Theorems; 3. The System of Theorems; 4. Sets and Properties; 5. Relations between Sets; 6. The Representation of the Relations between Sets with the Aid of Diagrams; 7. The Converse Theorem; 8. Inverse Theorems; 9. Reductio ad absurdum; 10. Negation; 11. Necessary and Sufficient Conditions; 12. The Locus of Points."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/5219029844> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/5219029844#Series/international_series_of_monographs_on_pure_and_applied_mathematics> ; # International series of monographs on pure and applied mathematics
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/5219029844#Series/international_series_of_monographs_in_pure_and_applied_mathematics> ; # International series of monographs in pure and applied mathematics.
    schema:isSimilarTo <http://worldcat.org/entity/work/data/5219029844#CreativeWork/direct_and_converse_theorems_the_elements_of_symbolic_logic> ;
    schema:name "Direct and Converse Theorems : the Elements of Symbolic Logic."@en ;
    schema:productID "898771774" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/898771774#PublicationEvent/burlington_elsevier_science_2014> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/5219029844#Agent/elsevier_science> ; # Elsevier Science
    schema:url <http://ebookcentral.proquest.com/lib/ucm/detail.action?docID=1901221> ;
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=1901221> ;
    schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=931260> ;
    schema:workExample <http://worldcat.org/isbn/9781483155074> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/898771774> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/5219029844#Agent/elsevier_science> # Elsevier Science
    a bgn:Agent ;
    schema:name "Elsevier Science" ;
    .

<http://experiment.worldcat.org/entity/work/data/5219029844#Person/gradshtein_i_s> # I. S. Gradshtein
    a schema:Person ;
    schema:familyName "Gradshtein" ;
    schema:givenName "I. S." ;
    schema:name "I. S. Gradshtein" ;
    .

<http://experiment.worldcat.org/entity/work/data/5219029844#Person/sneddon_i_n> # I. N. Sneddon
    a schema:Person ;
    schema:familyName "Sneddon" ;
    schema:givenName "I. N." ;
    schema:name "I. N. Sneddon" ;
    .

<http://experiment.worldcat.org/entity/work/data/5219029844#Person/stark_m> # M. Stark
    a schema:Person ;
    schema:familyName "Stark" ;
    schema:givenName "M." ;
    schema:name "M. Stark" ;
    .

<http://experiment.worldcat.org/entity/work/data/5219029844#Series/international_series_of_monographs_in_pure_and_applied_mathematics> # International series of monographs in pure and applied mathematics.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/898771774> ; # Direct and Converse Theorems : the Elements of Symbolic Logic.
    schema:name "International series of monographs in pure and applied mathematics." ;
    .

<http://experiment.worldcat.org/entity/work/data/5219029844#Series/international_series_of_monographs_on_pure_and_applied_mathematics> # International series of monographs on pure and applied mathematics
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/898771774> ; # Direct and Converse Theorems : the Elements of Symbolic Logic.
    schema:name "International series of monographs on pure and applied mathematics" ;
    .

<http://experiment.worldcat.org/entity/work/data/5219029844#Topic/logic_symbolic_and_mathematical> # Logic, Symbolic and mathematical
    a schema:Intangible ;
    schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5219029844#Topic/mathematics_algebra_intermediate> # MATHEMATICS--Algebra--Intermediate
    a schema:Intangible ;
    schema:name "MATHEMATICS--Algebra--Intermediate"@en ;
    .

<http://worldcat.org/entity/work/data/5219029844#CreativeWork/direct_and_converse_theorems_the_elements_of_symbolic_logic>
    a schema:CreativeWork ;
    rdfs:label "Direct and Converse Theorems : The Elements of Symbolic Logic." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/898771774> ; # Direct and Converse Theorems : the Elements of Symbolic Logic.
    .

<http://worldcat.org/isbn/9781483155074>
    a schema:ProductModel ;
    schema:isbn "1483155072" ;
    schema:isbn "9781483155074" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.