Your search returned 2 results.

Results
			A theory of formal deducibility / Haskell B. Curry. by Curry, Haskell B, 1900-1982. Material type: Text Series: Notre Dame mathematical lectures.Publisher: Notre Dame : University of Notre Dame Press, 1966. Availability: Items available for loan: Сховище дослідницьке [Call number: QA9.A5 C87 1966] (1). Place hold Save to lists Add to cart (remove)
			Abstract set theory / Thoralf A. Skolem. by Skolem, Thoralf A, 1887-1963. Material type: Text Series: Notre Dame mathematical lectures.Publisher: Notre Dame : University of Notre Dame, 1962. Availability: Items available for loan: Сховище дослідницьке [Call number: QA248 .S56 1962] (1). Place hold Save to lists Add to cart (remove)

Refine your search