A short introduction to intuitionistic logic: [electronic resource] /: Grigori Mints.

A short introduction to intuitionistic logic [electronic resource] / Grigori Mints.

Mint͡s, G. E.

2000

QA9.47 .M56 2000eb

Formats

Linked Resource

Title

A short introduction to intuitionistic logic [electronic resource] / Grigori Mints.

Author

ISBN

0306463946

Publication Details

New York : Kluwer Academic / Plenum Publishers, 2000.

Language

English

Description

ix, 131 p. ; 24 cm.

Call Number

QA9.47 .M56 2000eb

Dewey Decimal Classification

511/.22

Bibliography, etc. Note

Includes bibliographical references and index.

Access Note

Access limited to authorized users.

Series

University series in mathematics (Plenum Press)

Linked Resources

Record Appears in