subjectheading:[Proof theory.] - Search Results - University of Southern Indiana

login

Home > Search Results: subjectheading:[Proof theory.]

Search:

Search Tips :: Advanced Search :: Browse Resources (beta)

Sort by

ascending
descending

Display

Collections

Select collection

Format

Select output format

1.	An accompaniment to higher mathematics / George R. Exner. Exner, George R., author. New York : Springer, 1996. ©1996 QA9.54 .E964 1996 \| View e-resource \| Available Online \| Detailed record - Similar records
2.	On the extraction of computational content from noneffective convergence proofs in analysis / Pavol Safarik. Safarik, Pavol, author. Berlin : Logos Verlag, [2014] ©2014 QA9.54 .S243 2014 \| View e-resource \| Available Online \| Detailed record - Similar records
3.	Ordinal analysis with an introduction to proof theory / Toshiyasu Arai. Arai, Toshiyasu. Singapore : Springer, 2020. QA9.54 \| View e-resource \| Available Online \| Detailed record - Similar records
4.	Mathesis universalis, computability and proof / Stefania Centrone, Sara Negri, Deniz Sarikaya, Peter M. Schuster, editors. Centrone, Stefania.; Negri, Sara, 1967-; Sarikaya, Deniz.; Schuster, Peter M. Cham : Springer, 2019. QA9.54 \| View e-resource \| Available Online \| Detailed record - Similar records
5.	Proof theory and algebra in logic / Hiroakira Ono. Ono, Hiroakira, author. Singapore : Springer, [2019] ©2019 QA9.54 .O46 2019eb \| View e-resource \| Available Online \| Detailed record - Similar records
6.	Space in weak propositional proof systems / Ilario Bonacina. Bonacina, Ilario, author. Cham, Switzerland : Springer, 2017. QA9.54 \| View e-resource \| Available Online \| Detailed record - Similar records
7.	Proof and computations [electronic resource] / Helmut Schwichtenberg, Stanley S. Wainer. Schwichtenberg, Helmut, 1942-; Wainer, S. S.; Association for Symbolic Logic. Cambridge : Cambridge University Press, 2012. QA9.59 .S39 2012 \| View e-resource \| Available Online \| Detailed record - Similar records
8.	Writing proofs in analysis [electronic resource] / Jonathan M. Kane. Kane, Jonathan Michael, author. Cham : Springer, 2016. QA9.54 \| View e-resource \| Available Online \| Detailed record - Similar records
9.	Ways of proof theory [electronic resource] / Ralf Schindler (ed.). Schindler, Ralf. Frankfurt ; New Brunswick : Ontos Verlag, 2010. QA9.54 .S35 2010eb \| View e-resource \| Available Online \| Detailed record - Similar records
10.	The nuts and bolts of proofs [electronic resource] / Antonella Cupillari. Cupillari, Antonella. Amsterdam ; Boston : Elsevier Academic Press, c2005. QA9.54 .C86 2005eb \| View e-resource \| Available Online \| Detailed record - Similar records

Interested in being notified about new results for this query?
Set up a personal email alert or subscribe to the RSS feed.