Reduction of axiom systems with axiom schemes to systems with only simple axioms / Thoralf Skolem
Material type:
ArticleLanguage: English Subject(s): Axiomas
In:
Dialectica vol. 12, 1958, págs. 443-450
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Artículos de revista
|
San Esteban Depósito de revistas | Available |