(Q910361)
Statements
Identifiers
Sitelinks
Wikipedia(7 entries)
- cswiki Hilbertovský kalkulus
- dewiki Hilbert-Kalkül
- enwiki Hilbert system
- frwiki Système à la Hilbert
- plwiki System Hilberta
- ptwiki Sistema de Hilbert
- zhwiki 希尔伯特演绎系统
system of formal deduction in logic