@Article{         Presburger:1930,
  Author        = "Presburger, Moj{\.z}esz",
  date-added    = "2017-10-30 17:08:50 +0000",
  date-modified = "2017-10-30 17:11:57 +0000",
  Journal       = "Comptes Rendus Premier Congr{\`e}s des Math{\'e}maticienes des Pays Slaves",
  Keywords      = "Presburger arithmetic",
  Pages         = "92--101",
  Title         = {{\"U}ber der Vollst{\"a}ndigkeit eines gewissen Systems der Arithmetik ganzer Zahlen, in welchen die Addition als einzige Operation hervortritt},
  Volume        = "395",
  Year          = "1930",
  File          = "presburger0 (0) - a - a - w.pdf"
}

@Article{ Presburger:1930, Author = "Presburger, Moj{.z}esz", date-added = "2017-10-30 17:08:50 +0000", date-modified = "2017-10-30 17:11:57 +0000", Journal = "Comptes Rendus Premier Congr{`e}s des Math{\'e}maticienes des Pays Slaves", Keywords = "Presburger arithmetic", Pages = "92--101", Title = {{\"U}ber der Vollst{\"a}ndigkeit eines gewissen Systems der Arithmetik ganzer Zahlen, in welchen die Addition als einzige Operation hervortritt}, Volume = "395", Year = "1930", File = "presburger0 (0) - a - a - w.pdf" }

Library Size: 13G (12941 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A badge