skip to content
Introduction to elementary mathematical logic Preview this item
ClosePreview this item
Checking...

Introduction to elementary mathematical logic

Author: A A Stoli︠a︡r
Publisher: Cambridge, Mass., M.I.T. Press [©1970]
Edition/Format:   Print book : EnglishView all editions and formats
Summary:

This introduction covers the calculus of propositions as well as quantification theory.

Rating:

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

Subjects
More like this

Find a copy in the library

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

Details

Additional Physical Format: Online version:
Stoli︠a︡r, A.A. (Abram Aronovich).
Introduction to elementary mathematical logic.
Cambridge, Mass., M.I.T. Press [©1970]
(OCoLC)608581180
Document Type: Book
All Authors / Contributors: A A Stoli︠a︡r
ISBN: 0262190540 9780262190541 0262690489 9780262690485
OCLC Number: 147872
Notes: Translation of Ėlementarnoe vvedenie v matematicheskui︠u︡ logiku.
Description: vii, 209 pages illustrations 21 cm
Contents: Introduction --
1. Propositional Logic --
2. The Propositional Calculus --
3. Predicate Logic.
Other Titles: Ėlementarnoe vvedenie v matematicheskui︠u︡ logiku.
Responsibility: [by] Abram Aronovich Stolyar. Translation edited by Elliott Mendelson. [Translated by Scripta Technica, Inc.].

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/147872> # Introduction to elementary mathematical logic
    a schema:CreativeWork, schema:Book ;
   bgn:translationOfWork <http://www.worldcat.org/title/-/oclc/147872#CreativeWork/unidentifiedOriginalWork> ; # Ėlementarnoe vvedenie v matematicheskui︠u︡ logiku.
   library:oclcnum "147872" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1862362227#Place/cambridge_mass> ; # Cambridge, Mass.
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/mau> ;
   schema:about <http://dewey.info/class/511.3/e18/> ;
   schema:about <http://id.loc.gov/authorities/classification/BC135> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/1862362227#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:bookFormat bgn:PrintBook ;
   schema:creator <http://viaf.org/viaf/62919196> ; # Abram Aronovich Stoli︠a︡r
   schema:datePublished "1970" ;
   schema:description "Introduction -- 1. Propositional Logic -- 2. The Propositional Calculus -- 3. Predicate Logic."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/1862362227> ; # Ėlementarnoe vvedenie v matematicheskui︠u︡ logiku.
   schema:inLanguage "en" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/608581180> ;
   schema:name "Introduction to elementary mathematical logic"@en ;
   schema:productID "147872" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/147872#PublicationEvent/cambridge_mass_m_i_t_press_1970> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/1862362227#Agent/m_i_t_press> ; # M.I.T. Press
   schema:workExample <http://worldcat.org/isbn/9780262190541> ;
   schema:workExample <http://worldcat.org/isbn/9780262690485> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/147872> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1862362227#Place/cambridge_mass> # Cambridge, Mass.
    a schema:Place ;
   schema:name "Cambridge, Mass." ;
    .

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

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

<http://viaf.org/viaf/62919196> # Abram Aronovich Stoli︠a︡r
    a schema:Person ;
   schema:familyName "Stoli︠a︡r" ;
   schema:givenName "Abram Aronovich" ;
   schema:givenName "A. A." ;
   schema:name "Abram Aronovich Stoli︠a︡r" ;
    .

<http://worldcat.org/entity/work/id/1862362227> # Ėlementarnoe vvedenie v matematicheskui︠u︡ logiku.
   schema:name "Ėlementarnoe vvedenie v matematicheskui︠u︡ logiku." ;
    .

<http://worldcat.org/isbn/9780262190541>
    a schema:ProductModel ;
   schema:isbn "0262190540" ;
   schema:isbn "9780262190541" ;
    .

<http://worldcat.org/isbn/9780262690485>
    a schema:ProductModel ;
   schema:isbn "0262690489" ;
   schema:isbn "9780262690485" ;
    .

<http://www.worldcat.org/oclc/608581180>
    a schema:CreativeWork ;
   rdfs:label "Introduction to elementary mathematical logic." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/147872> ; # Introduction to elementary mathematical logic
    .

<http://www.worldcat.org/title/-/oclc/147872#CreativeWork/unidentifiedOriginalWork> # Ėlementarnoe vvedenie v matematicheskui︠u︡ logiku.
    a schema:CreativeWork ;
   schema:inLanguage "ru" ;
   schema:name "Ėlementarnoe vvedenie v matematicheskui︠u︡ logiku." ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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