Concepts of general topology in constructive mathematics and in sheaves, II

Annals of Mathematical Logic ◽

10.1016/0003-4843(82)90010-9 ◽

1982 ◽

Vol 23 (1) ◽

pp. 55-98 ◽

Author(s):

R.J. Grayson

Keyword(s):

General Topology ◽

Constructive Mathematics

Download Full-text

Concepts of general topology in constructive mathematics and in sheaves

Annals of Mathematical Logic ◽

10.1016/0003-4843(81)90010-3 ◽

1981 ◽

Vol 20 (1) ◽

pp. 1-41 ◽

Author(s):

R.J. Grayson

Keyword(s):

General Topology ◽

Constructive Mathematics

Download Full-text

A correction to “concepts of general topology in constructive mathematics and in sheaves”

Annals of Mathematical Logic ◽

10.1016/0003-4843(82)90011-0 ◽

1982 ◽

Vol 23 (1) ◽

pp. 99

Author(s):

R.J. Grayson

Keyword(s):

General Topology ◽

Constructive Mathematics

Download Full-text

General Topology EntityStore

Wolfram Research Data Repository ◽

10.24097/wolfram.56398.data ◽

2017 ◽

Author(s):

Keyword(s):

General Topology

Download Full-text

Carathéodory’s thermodynamics and constructive mathematics

Lettere al Nuovo Cimento ◽

10.1007/bf02817152 ◽

1982 ◽

Vol 34 (2) ◽

pp. 52-56 ◽

Author(s):

A. Drago

Keyword(s):

Constructive Mathematics

Download Full-text

Essays in constructive mathematics by Harold M. Edwards, published by Springer, 2005 211 pages, hardcover

ACM SIGACT News ◽

10.1145/1814370.1814380 ◽

2010 ◽

Vol 41 (2) ◽

pp. 33-36

Author(s):

S. C. Coutinho

Keyword(s):

Constructive Mathematics

Download Full-text

VARIETIES OF CONSTRUCTIVE MATHEMATICS (London Mathematical Society Lecture Note Series 97)

Bulletin of the London Mathematical Society ◽

10.1112/blms/20.3.271 ◽

1988 ◽

Vol 20 (3) ◽

pp. 271-272

Author(s):

Moshé MacHover

Keyword(s):

London Mathematical Society ◽

Lecture Note ◽

Mathematical Society ◽

Constructive Mathematics ◽

Lecture Note Series

Download Full-text

Elements of general topology

Journal of the Franklin Institute ◽

10.1016/0016-0032(64)90315-1 ◽

1964 ◽

Vol 278 (3) ◽

pp. 223

Keyword(s):

General Topology

Download Full-text

Report of the Pittsburgh international conference on general topology

General Topology and its Applications ◽

10.1016/0016-660x(71)90101-2 ◽

1971 ◽

Vol 1 (1) ◽

pp. vii-viii

Author(s):

Jun-iti Nagata

Keyword(s):

General Topology ◽

International Conference

Download Full-text

Noise Analysis of Circuits with General Topology and Arbitrary Representation

AMPC Asia-Pacific Microwave Conference, ◽

10.1109/apmc.1992.672246 ◽

2005 ◽

Author(s):

P. Russer ◽

S. Muller

Keyword(s):

Noise Analysis ◽

General Topology ◽

Arbitrary Representation

Download Full-text

Mathematics: Foundations of General Topology . Ákos Császár. Translated by K. Császár. Pergamon, London; Macmillan, New York, 1963. xx + 380 pp. Illus. $15.

Science ◽

10.1126/science.144.3623.1210-b ◽

1964 ◽

Vol 144 (3623) ◽

pp. 1210-1211

Author(s):

Leonard Gillman

Keyword(s):

New York ◽

General Topology

Download Full-text