Studies in constructive mathematics and mathematical logic Part 3, / edited by A. O. Slisenko

Date : 1971

Editeur / Publisher : New York : Consultant Bureau , 1971

Type : Livre / Book

Langue / Language : anglais / English

ISBN : 0-306-18816-3

Logique mathématique

Mathématiques constructives

Classification Dewey : 510

Slisenko, A.O. (Directeur de publication / publishing director)

Collection : Seminars in mathematics / New York : Consultants Bureau , 1968-1972