Hilbert system (Q910361)
Jump to navigation
Jump to search
system of formal deduction in logic
- Hilbert calculus
- Hilbert-style deductive system
- Hilbert–Ackermann system
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Hilbert system |
system of formal deduction in logic |
|
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 希尔伯特演绎系统