Periódicos correntes

Your search returned 26 results.

Results
	21.	Proof theory: an introduction/ Wolfram Pohlers. by Pohlers, Wolfram Series: Lecture notes in mathematics (Springer-Verlag) ; 1407. Publication details: Berlin; New York: Springer-Verlag, c1989 Availability: Items available for loan: Castorina (1). Found in Open Library: Place hold Add to cart (remove)
	22.	Recursive program schemes: semantics and proof theory/ W. P. de Roever, Jr. by Roever, W.-P. de Series: Mathematical Centre tracts ; 70. Publication details: Amsterdam ; Mathematisch Centrum, 1976 Availability: Items available for loan: Castorina (1)Call number: 511.352 R719r 1976 IMPA. Found in Open Library: Place hold Add to cart (remove)
	23.	Proof theory and intuitionistic systems. by Scarpellini, Bruno Series: Lecture notes in mathematics (Springer-Verlag) ; 212. Publication details: Berlin; New York: Springer-Verlag, 1971 Availability: Items available for loan: Castorina (1). Found in Open Library: Place hold Add to cart (remove)
	24.	Proof theory/ Kurt Schütte ; translation from the German by J. N. Crossley. by Schütte, K. (Kurt) Series: Grundlehren der mathematischen Wissenschaften ; 225. Language: engger Publication details: Berlin ; New York: Springer-Verlag, 1977 Availability: Items available for loan: Castorina (1)Call number: 511.3 S396p 1977 IMPA. Found in Open Library: Place hold Add to cart (remove)
	25.	Algebra of proofs/ M. E. Szabo. by Szabo, M. E Series: Studies in logic and the foundations of mathematics ; v. 88. Publication details: Amsterdam ; New York: New York: North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier/North-Holland, 1978 Availability: Items available for loan: Castorina (1)Call number: 511.3 S996a 1978 IMPA. Found in Open Library: Place hold Add to cart (remove)
	26.	Tableau systems for first order number theory and certain higher order theories/ Sue Toledo. by Toledo, Sue Ann, 1940- Series: Lecture notes in mathematics (Springer-Verlag) ; 447. Publication details: Berlin ; New York: Springer-Verlag, 1975 Availability: Items available for loan: Castorina (1). Found in Open Library: Place hold Add to cart (remove)

© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto

Powered by Koha