AN EXTENSION OF KLEINSERLANGER PROGRAM - LOGIC AS INVARIANT-THEORY

被引：23

作者：

MAUTNER, FI

机构：

来源：

关键词：

D O I：

10.2307/2371821

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：345 / 384

页数：40

相关论文

共 13 条

[1]

BIRKHOFF G, P CAMBRIDGE PHILOS S, V31, P449

[2]

Birkhoff Garrett, 1940, LATTICE THEORY, V25

[3]

HILBERTBERNAYS, GRUNDLAGEN MATH, V1, P169

[4]

MCKINSEY JCC, 1940, J SYMBOLIC LOGIC, V5, P94

[5]

ORE O, 1944, T AM MATH SOC

[6]

PEIRCE, AM J MATH, V3, P44

[7]

SPEISER, THEORIE GRUPPEN

[8]

VANDENWAERDEN, 1935, ERGEBNISSE MATH

[9]

LATTICE THEORY, P93

[10]

GRUNDLAGEN MATH, V1, P465