The Trend of Logic and Foundation of Mathematics in Japan in 1991 to 1996 (Q4344734)
From MaRDI portal
scientific article; zbMATH DE number 1036333
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The Trend of Logic and Foundation of Mathematics in Japan in 1991 to 1996 |
scientific article; zbMATH DE number 1036333 |
Statements
The Trend of Logic and Foundation of Mathematics in Japan in 1991 to 1996 (English)
0 references
17 July 1997
0 references
logic and foundations in Japan
0 references
nonclassical logic
0 references
proof theory
0 references
recursion theory
0 references
set theory
0 references
model theory
0 references
nonstandard analysis
0 references
