Your search returned 4 results.

Results
		No cover image available Semantical investigations in Heyting's intuitionistic logic by Gabbay, Dov M \| . Series: Edition: Language: English Publication details: Dordrecht ; D. Reidel, ; 1981Availability: Items available for loan: 1 Call number: 517.1 Gab. Place hold Add to cart (remove)
		No cover image available Kleene symposium : proceedings of the symposium, Madison, Wisconsin, U.S.A., June 18-24, 1978 / edited by Jon Barwise, H. Jerome Keisler and Kenneth Kunen by \| . Series: Edition: Language: English Publication details: Amsterdam ; North-Holland, ; 1980Availability: Items available for loan: 1 Call number: 517.1 Kle:78. Place hold Add to cart (remove)
		No cover image available Proof theory and intuitionistic systems by Scarpellini, Bruno \| . Series: NASA TM 84317 : 1983Edition: Language: English Publication details: Berlin ; Springer-Verlag, ; 1971Availability: Items available for loan: 1 Call number: 517.1 Sca. Place hold Add to cart (remove)
		No cover image available Choice sequences : a chapter of intuitionistic mathematics by Troelstra, A.S \| . Series: Progress in mathematics ; v.261Edition: Language: English Publication details: Oxford ; Clarendon Press, ; 1977Availability: Items available for loan: 1 Call number: 510.24 Tro. Place hold Add to cart (remove)

		No cover image available Semantical investigations in Heyting's intuitionistic logic by Gabbay, Dov M \| . Series: Edition: Language: English Publication details: Dordrecht ; D. Reidel, ; 1981Availability: Items available for loan: 1 Call number: 517.1 Gab. Place hold Add to cart (remove)
		No cover image available Kleene symposium : proceedings of the symposium, Madison, Wisconsin, U.S.A., June 18-24, 1978 / edited by Jon Barwise, H. Jerome Keisler and Kenneth Kunen by \| . Series: Edition: Language: English Publication details: Amsterdam ; North-Holland, ; 1980Availability: Items available for loan: 1 Call number: 517.1 Kle:78. Place hold Add to cart (remove)
		No cover image available Proof theory and intuitionistic systems by Scarpellini, Bruno \| . Series: NASA TM 84317 : 1983Edition: Language: English Publication details: Berlin ; Springer-Verlag, ; 1971Availability: Items available for loan: 1 Call number: 517.1 Sca. Place hold Add to cart (remove)
		No cover image available Choice sequences : a chapter of intuitionistic mathematics by Troelstra, A.S \| . Series: Progress in mathematics ; v.261Edition: Language: English Publication details: Oxford ; Clarendon Press, ; 1977Availability: Items available for loan: 1 Call number: 510.24 Tro. Place hold Add to cart (remove)

Refine your search