RecordNumber

95490

Author

Mints, G. E.

Title

A short introduction to intuitionistic logic

Author Statement

Grigori Mints

Publication

New York : Kluwer Academic

Publication Year

c2000

Collation

ix, 131 p.

Series

University series in mathematics

Index

Incldes index

Bibliography

Includes bibliographies

Subject

Intuitionistic mathematics

ADDED ENTRIES

TI

Main Class

511

Sub Class

.22

Cutter no

M667s

واردكننده اطلاعات

شيرين السادات خليفه سلطاني