Ways of proof theory
(eBook)
Author
Contributors
Published
Frankfurt ; New Brunswick : Ontos Verlag, 2010.
Physical Desc
v, 486 pages : ill.
Status
More Details
Format
eBook
Language
English
Notes
Bibliography
Includes bibliographical references.
Reproduction
Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Description
Loading Description...
Also in this Series
Checking series information...
Subjects
LC Subjects
Other Subjects
Citations
APA Citation, 7th Edition (style guide)
Schindler, R. (2010). Ways of proof theory . Ontos Verlag.
Chicago / Turabian - Author Date Citation, 17th Edition (style guide)Schindler, Ralf. 2010. Ways of Proof Theory. Ontos Verlag.
Chicago / Turabian - Humanities (Notes and Bibliography) Citation, 17th Edition (style guide)Schindler, Ralf. Ways of Proof Theory Ontos Verlag, 2010.
MLA Citation, 9th Edition (style guide)Schindler, Ralf. Ways of Proof Theory Ontos Verlag, 2010.
Note! Citations contain only title, author, edition, publisher, and year published. Citations should be used as a guideline and should be double checked for accuracy. Citation formats are based on standards as of August 2021.
Staff View
Grouped Work ID
7c86f2f9-a9a5-dc4a-06d8-a368376e857c-eng
Grouping Information
Grouped Work ID | 7c86f2f9-a9a5-dc4a-06d8-a368376e857c-eng |
---|---|
Full title | ways of proof theory |
Author | schindler ralf |
Grouping Category | book |
Last Update | 2022-06-07 21:23:19PM |
Last Indexed | 2024-05-04 04:31:04AM |
Book Cover Information
Image Source | default |
---|---|
First Loaded | Jul 28, 2022 |
Last Used | Mar 6, 2024 |
Marc Record
First Detected | Aug 09, 2021 12:26:20 PM |
---|---|
Last File Modification Time | Nov 22, 2021 08:31:15 AM |
MARC Record
LEADER | 01657nam a2200397 a 4500 | ||
---|---|---|---|
001 | EBC1215583 | ||
003 | MiAaPQ | ||
006 | m E | | ||
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 (Sirsi) EBC1215583 | ||
035 | |a (Sirsi) EBC1215583 | ||
035 | |a (MiAaPQ)EBC1215583 | ||
035 | |a (Au-PeEL)EBL1215583 | ||
035 | |a (CaPaEBR)ebr10728776 | ||
035 | |a (CaONFJC)MIL503627 | ||
035 | |a (OCoLC)851972130 | ||
040 | |a MiAaPQ|c MiAaPQ|d MiAaPQ | ||
050 | 4 | |a QA9.54|b .S35 2010 | |
100 | 1 | |a Schindler, Ralf. | |
245 | 1 | 0 | |a Ways of proof theory|h [eBook] /|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. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries. | ||
650 | 0 | |a Proof theory. | |
655 | 4 | |a Electronic books. | |
710 | 2 | |a ProQuest (Firm) | |
856 | 4 | 0 | |u http://ebookcentral.proquest.com/lib/yavapai-ebooks/detail.action?docID=1215583|x Yavapai College|y Yavapai College users click here to access |
856 | 4 | 0 | |u http://ebookcentral.proquest.com/lib/prescottcollege-ebooks/detail.action?docID=1215583|x Prescott College|y Prescott College users click here to access |
856 | 4 | 0 | |u http://ebookcentral.proquest.com/lib/yln-ebooks/detail.action?docID=1215583|x Yavapai Library Network|y All other users click here to access |
945 | |a E-Book |