Your search returned 4 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies/ Wilfried Buchholz ... [et al.]. by
  • Buchholz, Wilfried, 1948-
Series: Lecture notes in mathematics (Springer-Verlag) ; 897.
Publication details: Berlin ; New York: Springer-Verlag, 1981
Availability: Items available for loan: Castorina (1).

Place hold Add to cart
2.
Sets and proofs: invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997/ edited by S. Barry Cooper, John K. Truss. by
  • Cooper, S. B. (S. Barry)
  • Truss, J. K
  • Association for Symbolic Logic
Series: London Mathematical Society lecture note series ; 258
Publication details: Cambridge, UK; New York: Cambridge University Press, 1999
Online access:
Availability: Items available for loan: Castorina (1)Call number: 511.322 S495 1999 IMPA.

Place hold Add to cart
3.
Proof theory and logical complexity.. T.1/ Jean-Yves Girard. by
  • Girard, Jean-Yves
Series: Studies in proof theory ; 1.
Publication details: Napoli: Bibliopolis, c1987
Availability: Items available for loan: Castorina (1)Call number: 511.352 G517p 1987 IMPA.

Place hold Add to cart
4.
Complexity of proofs and their transformations in axiomatic theories/ V. P. Orevkov ; translated by Alexander Bochman from an original Russian manuscript ; translation edited by David Louvish. by
  • Orevkov, V. P
  • Louvish, David
Series: Translations of mathematical monographs ; v. 128.
Language: English Original language: Russian
Publication details: Providence, R.I.: American Mathematical Society, c1993
Availability: Items available for loan: Castorina (1)Call number: 511.3 O66c 1993 IMPA.

Place hold Add to cart
Pages
© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto


Powered by Koha