No label defined (Q4320521)
From MaRDI portal
scientific article; zbMATH DE number 716832
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 716832 |
Statements
31 January 1995
0 references
sentential logic
0 references
quantificational logic
0 references
structured proving techniques
0 references
relations
0 references
functions
0 references
mathematical induction
0 references
infinite sets
0 references
prime numbers
0 references
