Your search returned 9 results.

Sort
Results
1.
Formal systems and recursive functions; proceedings of the eighth logic colloquium by
  • Logic colloquium Oxford 1963 8
  • Crossley, J. N [ed.]
  • Dummett, M. A. E [ed.]
Series: Studies in logic and the foundations of mathematics
Material type: Text Text; Format: print regular print ; Audience: General;
Publication details: Amsterdam : North Holland, 1965
Availability: No items available.

2.
Faundations of sset theoery by
  • Fraenkel, Abraham Adolf, 1891
  • Bar-Hillel, Yehoshua
Series: Studies in logic and the foundations of mathematics
Material type: Text Text; Format: print regular print ; Audience: General;
Publication details: Amsterdam : North Holland, 1958
Availability: No items available.

3.
Proceedings by
  • International colloquium "Constrructivity in mathematics" Amsterdam 1957
  • Heyting, A [ed.]
Series: Studies in logic and the foundations of mathematics
Material type: Text Text; Format: print regular print ; Audience: General;
Publication details: Amsterdam : North Holland, 1959
Availability: No items available.

4.
Combinatory logic by
  • Curry, Haskell Brooks, 1900
  • Feys, Robert
  • Craig, William [colab.]
Series: Studies in logic and the foundations of mathematics
Material type: Text Text; Format: print regular print ; Audience: General;
Publication details: Amsterdam : North Holland, 1958
Availability: No items available.

5.
Formal systems and recursive functions; proceedings of the eighth logic colloquium by
  • Logic colloquium Oxford 1963 8
  • Crossley, J. N [ed.]
  • Dummett, M. A. E [ed.]
Series: Studies in logic and the foundations of mathematics
Material type: Text Text; Format: print regular print ; Audience: General;
Publication details: Amsterdam : North Holland, 1965
Availability: Items available for loan: Biblioteca Pública de la UNLP (1).

6.
Faundations of sset theoery by
  • Fraenkel, Abraham Adolf, 1891
  • Bar-Hillel, Yehoshua
Series: Studies in logic and the foundations of mathematics
Material type: Text Text; Format: print regular print ; Audience: General;
Publication details: Amsterdam : North Holland, 1958
Availability: Items available for loan: Biblioteca Pública de la UNLP (1).

7.
Proceedings by
  • International colloquium "Constrructivity in mathematics" Amsterdam 1957
  • Heyting, A [ed.]
Series: Studies in logic and the foundations of mathematics
Material type: Text Text; Format: print regular print ; Audience: General;
Publication details: Amsterdam : North Holland, 1959
Availability: Items available for loan: Biblioteca Pública de la UNLP (1).

8.
Combinatory logic by
  • Curry, Haskell Brooks, 1900
  • Feys, Robert
  • Craig, William [colab.]
Series: Studies in logic and the foundations of mathematics
Material type: Text Text; Format: print regular print ; Audience: General;
Publication details: Amsterdam : North Holland, 1958
Availability: Items available for loan: Biblioteca Pública de la UNLP (1).

9.
The Foundations of Intuitionistic Mathematics : Especially in Relation to Recursive Functions by
  • Kleene, Stephen Cole
  • Vesley, Richard Eugene
Series: Studies in Logic and the Foundations of Mathematics
Material type: Text Text; Format: large print regular print
Publication details: Amsterdam : North Holland Publishing Company, 1965
Availability: Items available for reference: Biblioteca Fac.Ciencias Económicas: Consulta en Sala (1)Call number: PHL 164 KLE.

Pages

Powered by Koha