Les Principes de logique théorique est un ouvrage de logique écrit en 1928 par Ackermann et Hilbert. Il s'agit du premier livre qui présente de façon élémentaire et rigoureuse ce qui est maintenant appelé logique du premier ordre.

Property Value
dbo:abstract
  • Les Principes de logique théorique est un ouvrage de logique écrit en 1928 par Ackermann et Hilbert. Il s'agit du premier livre qui présente de façon élémentaire et rigoureuse ce qui est maintenant appelé logique du premier ordre. (fr)
  • Les Principes de logique théorique est un ouvrage de logique écrit en 1928 par Ackermann et Hilbert. Il s'agit du premier livre qui présente de façon élémentaire et rigoureuse ce qui est maintenant appelé logique du premier ordre. (fr)
dbo:author
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 975701 (xsd:integer)
dbo:wikiPageLength
  • 1020 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 180660651 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:année
  • 1930 (xsd:integer)
prop-fr:auteur
  • Langford, C. H (fr)
  • Langford, C. H (fr)
prop-fr:journal
  • Bull. Amer. Math. Soc. (fr)
  • Bull. Amer. Math. Soc. (fr)
prop-fr:numéro
  • 1 (xsd:integer)
prop-fr:passage
  • 22 (xsd:integer)
prop-fr:titre
  • Review of Grundzüge der theoretischen Logik by D. Hilbert and W. Ackermann (fr)
  • Review of Grundzüge der theoretischen Logik by D. Hilbert and W. Ackermann (fr)
prop-fr:url
prop-fr:volume
  • 36 (xsd:integer)
prop-fr:wikiPageUsesTemplate
dct:subject
rdfs:comment
  • Les Principes de logique théorique est un ouvrage de logique écrit en 1928 par Ackermann et Hilbert. Il s'agit du premier livre qui présente de façon élémentaire et rigoureuse ce qui est maintenant appelé logique du premier ordre. (fr)
  • Les Principes de logique théorique est un ouvrage de logique écrit en 1928 par Ackermann et Hilbert. Il s'agit du premier livre qui présente de façon élémentaire et rigoureuse ce qui est maintenant appelé logique du premier ordre. (fr)
rdfs:label
  • Principes de logique théorique (fr)
  • Principles of Mathematical Logic (en)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of