First order meta theories (Q4340931)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: First order meta theories |
scientific article; zbMATH DE number 1021720
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | First order meta theories |
scientific article; zbMATH DE number 1021720 |
Statements
First order meta theories (English)
0 references
12 March 1998
0 references
transformation to meta-level
0 references
distinction between theories and meta-theories
0 references
meta-languages
0 references
Carnap-Tarski approach
0 references
0.80615443
0 references
0.7977987
0 references
0.7918677
0 references
