Wanda Montlak Szmielew (Varsovia, Polonia, 5 de abril de 1918-ibídem, 27 de agosto de 1976)​ fue una lógica matemática polaca, conocida por ser la primera en demostrar la decidibilidad de la teoría de primer orden de grupos abelianos.​

Property Value
dbo:abstract
  • Wanda Montlak Szmielew (Varsovia, Polonia, 5 de abril de 1918-ibídem, 27 de agosto de 1976)​ fue una lógica matemática polaca, conocida por ser la primera en demostrar la decidibilidad de la teoría de primer orden de grupos abelianos.​ (es)
  • Wanda Montlak Szmielew (Varsovia, Polonia, 5 de abril de 1918-ibídem, 27 de agosto de 1976)​ fue una lógica matemática polaca, conocida por ser la primera en demostrar la decidibilidad de la teoría de primer orden de grupos abelianos.​ (es)
dbo:wikiPageID
  • 9305073 (xsd:integer)
dbo:wikiPageLength
  • 6867 (xsd:integer)
dbo:wikiPageRevisionID
  • 128404728 (xsd:integer)
prop-es:apellidos
  • Borsuk (es)
  • Tarski (es)
  • Schwabhäuser (es)
  • Szmielew (es)
  • Borsuk (es)
  • Tarski (es)
  • Schwabhäuser (es)
  • Szmielew (es)
prop-es:doi
  • 101007 (xsd:integer)
prop-es:editorial
  • Springer-Verlag (es)
  • Państwowe Wydawnictwo Naukowe (es)
  • Interscience Publishers, Inc. (es)
  • PWN—Polish Scientific Publishers (es)
  • Springer-Verlag (es)
  • Państwowe Wydawnictwo Naukowe (es)
  • Interscience Publishers, Inc. (es)
  • PWN—Polish Scientific Publishers (es)
prop-es:enlaceautor
  • Karol Borsuk (es)
  • Alfred Tarski (es)
  • Karol Borsuk (es)
  • Alfred Tarski (es)
prop-es:isbn
  • 3 (xsd:integer)
  • 83 (xsd:integer)
  • 90 (xsd:integer)
prop-es:issn
  • 16 (xsd:integer)
prop-es:lugar
  • New York (es)
  • Berlin (es)
  • Warsaw (es)
  • Warsawa (es)
  • New York (es)
  • Berlin (es)
  • Warsaw (es)
  • Warsawa (es)
prop-es:nombre
  • W. (es)
  • A. (es)
  • Wanda (es)
  • Karol (es)
  • W. (es)
  • A. (es)
  • Wanda (es)
  • Karol (es)
prop-es:número
  • 1 (xsd:integer)
  • 2 (xsd:integer)
prop-es:pubPeriódica
prop-es:página
  • 172 (xsd:integer)
prop-es:páginas
  • 75 (xsd:integer)
  • 203 (xsd:integer)
prop-es:serie
  • Biblioteka Matematyczna [Mathematics Library] (es)
  • Hochschultext [University Textbooks] (es)
  • Revised English translation (es)
  • Biblioteka Matematyczna [Mathematics Library] (es)
  • Hochschultext [University Textbooks] (es)
  • Revised English translation (es)
prop-es:título
  • Elementary properties of Abelian groups (es)
  • From affine to Euclidean geometry (es)
  • Metamathematische Methoden in der Geometrie (es)
  • Od geometrii afinicznej do euklidesowej (es)
  • On choices from finite sets (es)
  • Podstawy geometrii (es)
  • Foundations of geometry: Euclidean and Bolyai-Lobachevskian geometry; projective geometry (es)
  • Elementary properties of Abelian groups (es)
  • From affine to Euclidean geometry (es)
  • Metamathematische Methoden in der Geometrie (es)
  • Od geometrii afinicznej do euklidesowej (es)
  • On choices from finite sets (es)
  • Podstawy geometrii (es)
  • Foundations of geometry: Euclidean and Bolyai-Lobachevskian geometry; projective geometry (es)
prop-es:volumen
  • 34 (xsd:integer)
  • 41 (xsd:integer)
  • 55 (xsd:integer)
prop-es:year
  • 1947 (xsd:integer)
  • 1955 (xsd:integer)
  • 1960 (xsd:integer)
  • 1981 (xsd:integer)
  • 1983 (xsd:integer)
dct:subject
rdf:type
rdfs:comment
  • Wanda Montlak Szmielew (Varsovia, Polonia, 5 de abril de 1918-ibídem, 27 de agosto de 1976)​ fue una lógica matemática polaca, conocida por ser la primera en demostrar la decidibilidad de la teoría de primer orden de grupos abelianos.​ (es)
  • Wanda Montlak Szmielew (Varsovia, Polonia, 5 de abril de 1918-ibídem, 27 de agosto de 1976)​ fue una lógica matemática polaca, conocida por ser la primera en demostrar la decidibilidad de la teoría de primer orden de grupos abelianos.​ (es)
rdfs:label
  • Wanda Szmielew (es)
  • Wanda Szmielew (es)
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageRedirects of
is foaf:primaryTopic of