Tools

LEADER 01957cam a2200457 i 4500

001 ssj0001703085;

003 WaSeSS;

005 20190313051101.0;

006 m d ;

007 cr n ;

008 160701s2016 gw a sb 000 0 eng d;

010 a| 2016030276;

020 a| 9781501510809 (hardcover : acid-free paper);

020 z| 9781501502644 (e-pub);

035 a| (WaSeSS)ssj0001703085;

042 a| pcc;

049 a| EREEa| NEHH;

050 00 a| QA9.54b| .C67 2016;

082 00 a| 511.3/62| 23;

245 00 a| Concepts of proof in mathematics, philosophy, and computer scienceh| [electronic resource] /c| edited by Dieter Probst and Peter Schuster.;

260 a| Berlin ;a| Boston :b| De Gruyter,c| [2016];

300 a| x, 374 pages :b| illustrations ;c| 24 cm.;

490 0 a| Ontos mathematical logic,x| 2198-2341 ;v| Volume 6;

504 a| Includes bibliographical references.;

506 a| Available only to authorized users.;

538 a| Mode of access: World Wide Web;

650 0 a| Proof theory.=| ^A27801;

650 0 a| Mathematics.=| ^A2085;

650 0 a| Logic, Symbolic and mathematical.=| ^A15706;

655 0 a| Electronic books.=| ^A491897;

700 1 a| Probst, Dieter,d| 1973-?| UNAUTHORIZED;

856 40 z| Full text available from Ebook Central - Academic Completeu| https://ebookcentral.proquest.com/lib/eastcarolina/detail.action?docID=4644584;

949 a| CLICK ON WEB ADDRESSw| ASISh| JOYNER188;

949 a| CLICK ON WEB ADDRESSw| ASISh| HSL77;

949 a| CLICK ON WEB ADDRESSw| ASISh| JMUSIC60;

596 a| 1 3 4;

998 a| 4956815;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4956815-1001l| JNETm| JOYNERr| Ys| Yt| JNESSBKu| 11/30/2018x| EBOOKz| JERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4956815-2001l| HSLELECm| HSLr| Ys| Yt| HEBKu| 11/30/2018x| EBOOKz| HERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4956815-3001l| MNETm| JMUSICr| Ys| Yt| MNESSBKu| 11/30/2018x| EBOOKz| JERESOURCE;

Concepts of proof in mathematics, philosophy, and computer science / edited by Dieter Probst and Peter Schuster.

Other author	Probst, Dieter, 1973-
Format	Electronic
Publication Info	Berlin ; Boston : De Gruyter, [2016]
Description	x, 374 pages : illustrations ; 24 cm.
Supplemental Content	Full text available from Ebook Central - Academic Complete
Subjects	Proof theory. Mathematics. Logic, Symbolic and mathematical.

Series	Ontos mathematical logic, 2198-2341 ; Volume 6
Bibliography note	Includes bibliographical references.
Access restriction	Available only to authorized users.
Technical details	Mode of access: World Wide Web
Genre/form	Electronic books.
LCCN	2016030276
ISBN	9781501510809 (hardcover : acid-free paper)

Availability

Library	Location	Call Number	Status	Item Actions
	Electronic Resources	Access Content Online	✔ Available

Concepts of proof in mathematics, philosophy, and computer science / edited by Dieter Probst and Peter Schuster.

Click here for more information about this title

Availability