《The Mathematics Of Metamathematics》求取 ⇩

PART ONE LATTICES11

CHAPTER Ⅰ PRELIMINARY TOPOLOGICAL,ALGEBRAIC AND LATTICE-THEORETICAL NOTIONS11

CHAPTER Ⅱ BOOLEAN ALGEBRAS68

CHAPTER Ⅲ TOPOLOGICAL BOOLEAN ALGEBRAS93

CHAPTER Ⅳ PSEUDO-BOOLEAN ALGEBRAS123

PART TWO CLASSICAL LOGIC144

CHAPTER Ⅴ FORMALIZED MATHEMATICAL THEORIES144

CHAPTER Ⅵ THE ALGEBRA OF FORMALIZED LANGUAGES209

CHAPTER Ⅶ CLASSICAL PROPOSITIONAL CALCULI256

CHAPTER Ⅷ CLASSICAL ELEMENTARY FORMALIZED THEORIES279

PART THREE NON-CLASSICAL LOGICS376

CHAPTER Ⅸ INTUITIONISTIC PROPOSITIONAL CALCULI376

CHAPTER Ⅹ INTUITIONISTIC ELEMENTARY FORMALIZED THEORIES411

CHAPTER Ⅺ THE POSITIVE LOGIC AND THE MODAL LOGIC460

BIBLIOGRAPHY489

AUTHOR INDEX505

1963《The Mathematics Of Metamathematics》由于是年代较久的资料都绝版了,几乎不可能购买到实物。如果大家为了学习确实需要,可向博主求助其电子版PDF文件(由 1963 Panstwowe Wydawnictwo Naukowe 出版的版本) 。对合法合规的求助,我会当即受理并将下载地址发送给你。

高度相关资料

THE PENGUIN DICTIONARY OF MATHEMATICS( PDF版)
THE PENGUIN DICTIONARY OF MATHEMATICS
PENGUIN BOOKS
ELEMENTS OF THE HISTORY OF MATHEMATICS(1994 PDF版)
ELEMENTS OF THE HISTORY OF MATHEMATICS
1994 SPRINGER-VERLAG
THE PHILOSOPHY OF MATHEMATICS(1997 PDF版)
THE PHILOSOPHY OF MATHEMATICS
1997 THE EDWIN MELLEN PRESS
THE MATHEMATICS OF FINANCE(1926 PDF版)
THE MATHEMATICS OF FINANCE
1926 HOUGHTON MIFFLIN COMPANY
THE LANGUAGE OF MATHEMATICS(1960 PDF版)
THE LANGUAGE OF MATHEMATICS
1960 JOHN MURRAY FIFTY ALBEMARLE STREET LONDON
Recursion theory for metamathematics(1993 PDF版)
Recursion theory for metamathematics
1993 Oxford University Press
The nature of mathematics(1973 PDF版)
The nature of mathematics
1973 Wadsworth Publishing Company
THE TEACHING OF MATHEMATICS(1960 PDF版)
THE TEACHING OF MATHEMATICS
1960 CAMBRIDGE AT THE UNIVERSITY PRESS
THE FUTURE OF COLLEGE MATHEMATICS(1983 PDF版)
THE FUTURE OF COLLEGE MATHEMATICS
1983 SPRINGER-VERLAG NEW YORK HEIDELBERG BERLIN
THE FOUNDATIONS OF MATHEMATICS(1965 PDF版)
THE FOUNDATIONS OF MATHEMATICS
1965 NORTH-HOLLAND PUBLISHING COMPANY AMSTERDAM
THE STUDY OF THE HISTORY OF MATHEMATICS(1936 PDF版)
THE STUDY OF THE HISTORY OF MATHEMATICS
1936 DOVER PUBLISCATIONS,INC.
THE TEACHING OF ELEMENTARY MATHEMATICS(1911 PDF版)
THE TEACHING OF ELEMENTARY MATHEMATICS
1911 THE MACMILLAN COMPANY
ON THE METAMATHEMATICS OF ALGEBRA(1951 PDF版)
ON THE METAMATHEMATICS OF ALGEBRA
1951 NORTH-HOLLAND PUBLISHING COMPANY
The Mathematics of Networks(1982 PDF版)
The Mathematics of Networks
1982 American Mathematical Society
The Universal encyclopedia of mathematics(1969 PDF版)
The Universal encyclopedia of mathematics
1969 Simon and Schuster