A short introduction to intuitionistic logic

Saved in:

Bibliographic Details
Main Author:	Mint͡s, G. E.
Corporate Author:	ebrary, Inc
Format:	Electronic eBook
Language:	English
Published:	New York : Kluwer Academic / Plenum Publishers, 2000.
Series:	University series in mathematics (Plenum Press)
Subjects:	Intuitionistic mathematics. Electronic books.
Online Access:	An electronic book accessible through the World Wide Web; click to view
Tags:	Add Tag No Tags, Be the first to tag this record!

MARC


LEADER	00000nam a22000004a 4500
001	0000070746
005	20171002053519.0
006	m u
007	cr cn\|\|\|\|\|\|\|\|\|
008	000314s2000 nyu sb 001 0 eng
010			\|z 00035703
020			\|z 0306463946
035			\|a (CaPaEBR)ebr10052991
035			\|a (OCoLC)52085722
040			\|a CaPaEBR \|c CaPaEBR
050	1	4	\|a QA9.47 \|b .M56 2000eb
082	0	4	\|a 511/.22 \|2 21
100	1		\|a Mint͡s, G. E.
245	1	2	\|a A short introduction to intuitionistic logic \|h [electronic resource] / \|c Grigori Mints.
260			\|a New York : \|b Kluwer Academic / Plenum Publishers, \|c 2000.
300			\|a ix, 131 p.
490	1		\|a University series in mathematics
504			\|a Includes bibliographical references and index.
533			\|a Electronic reproduction. \|b Palo Alto, Calif. : \|c ebrary, \|d 2013. \|n Available via World Wide Web. \|n Access may be limited to ebrary affiliated libraries.
650		0	\|a Intuitionistic mathematics.
655		7	\|a Electronic books. \|2 local
710	2		\|a ebrary, Inc.
830		0	\|a University series in mathematics (Plenum Press)
856	4	0	\|u http://site.ebrary.com/lib/daystar/Doc?id=10052991 \|z An electronic book accessible through the World Wide Web; click to view
908			\|a 170314
942	0	0	\|c EB
999			\|c 59904 \|d 59904