Your search returned 4 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Proof complexity and feasible arithmetics: DIMACS workshop, April 21-24, 1996/ Paul W. Beame, Samuel R. Buss, editors. by
  • Beame, Paul W, 1959-
  • Buss, Samuel R
  • DIMACS (Group)
  • NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science
  • DIMACS Workshop on Feasible Arithmetics and Length of Proofs (1996: Rutgers University)
Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 39
Publication details: Providence, R.I.: American Mathematical Society, c1998
Availability: Items available for loan: Castorina (1)Call number: 511.3 P965 1998 IMPA.

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.
ISILC Proof Theory Symposion: dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974/ edited by J. Diller and G. H. Müller. by
  • ISILC Proof Theory Symposion (1974 : University of Kiel)
  • Schütte, K. (Kurt)
  • Diller, Justus
  • Müller, G. H. (Gert Heinz), 1923-
  • International Summer Institute and Logic Colloquium (1974 : University of Kiel)
Series: Lecture notes in mathematics (Springer-Verlag) ; 500.
Language: engger
Publication details: Berlin ; New York: Springer-Verlag, 1975
Availability: Items available for loan: Castorina (1).

Place hold Add to cart
4.
Computation and proof theory: proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part II/ edited by M.M. Richter ... [et al.]. by
  • Logic Colloquium (1983 : Aachen, Germany)
  • Richter, Michael M, 1938-
Series: Lecture notes in mathematics (Springer-Verlag) ; 1104.
Publication details: Berlin; New York: Springer-Verlag, 1984
Availability: Items available for loan: Castorina (1).

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


Powered by Koha