Ways of proof theory

Saved in:

Bibliographic Details
Main Author:	Schindler, Ralf
Corporate Author:	ebrary, Inc
Format:	Electronic eBook
Language:	English
Published:	Frankfurt ; New Brunswick : Ontos Verlag, 2010.
Series:	Ontos mathematical logic ; v. 2
Subjects:	Proof theory. 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 a2200000 a 4500
001	0000171507
005	20171002063642.0
006	m o u
007	cr cn\|\|\|\|\|\|\|\|\|
008	130717s2010 gw a sb 000 0 eng d
020			\|z 9783868380873
020			\|z 9783110324525
020			\|z 9783110324907 (e-book)
035			\|a (CaPaEBR)ebr10728776
035			\|a (OCoLC)854569223
040			\|a CaPaEBR \|c CaPaEBR
050	1	4	\|a QA9.54 \|b .S35 2010eb
100	1		\|a Schindler, Ralf.
245	1	0	\|a Ways of proof theory \|h [electronic resource] / \|c Ralf Schindler (ed.).
260			\|a Frankfurt ; \|a New Brunswick : \|b Ontos Verlag, \|c 2010.
300			\|a v, 486 p. : \|b ill.
440		0	\|a Ontos mathematical logic ; \|v v. 2
504			\|a Includes bibliographical references.
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 Proof theory.
655		7	\|a Electronic books. \|2 local
710	2		\|a ebrary, Inc.
856	4	0	\|u http://site.ebrary.com/lib/daystar/Doc?id=10728776 \|z An electronic book accessible through the World Wide Web; click to view
908			\|a 170314
942	0	0	\|c EB
999			\|c 160649 \|d 160649