Your search returned 2 results.

Sort
Results
A theory of formal deducibility / Haskell B. Curry.

by Curry, Haskell B, 1900-1982.

Material type: Text 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).

Abstract set theory / Thoralf A. Skolem.

by Skolem, Thoralf A, 1887-1963.

Material type: Text 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).