UniCat-Search

Union Catalogue of Belgian Libraries

English | Nederlands | Français

Feedback

About UniCat

Help

News

Narrow your search

Library

UGent (11)

ULB (8)

ULiège (8)

KU Leuven (5)

Thomas More Kempen (5)

VIVES (5)

UAntwerpen (4)

VUB (4)

KBR (3)

LUCA School of Arts (3)
More...

Resource type

book (31)

digital (2)

article (1)

Language

English (27)

French (4)

Undetermined (2)

Year

From To

1974 (1)

1972 (3)

1970 (1)

1968 (1)

1966 (3)
More...

Listing 1 - 10 of 33 << page
of 4
>>
Sort by

Book

Outlines of a formalist philosophy of mathematics
Author: Curry, Haskell B.
ISBN: 072042206X 9780720422061 Year: 1970 Publisher: Amsterdam North-Holland

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Mathematics --- Philosophy --- Philosophy. --- Mathematics - Philosophy

Book

Outlines of a formalist philosophy of mathematics.
Author: Curry, Haskell B.
ISBN: 9780444533685 0444533680 9786613838650 0080957234 1283526204 Year: 1951 Volume: 3 Publisher: Amsterdam : North-Holland Pub. Co.,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract
Provability, Computability and Reflection

Keywords
Mathematics --- Mathématiques --- Philosophy --- Philosophie --- EPUB-LIV-FT ELSEVIER-B --- Logic of mathematics --- Mathematics, Logic of --- Philosophy.

Book

Combinatory logic
Author: Curry, Haskell B.
ISBN: 1283526220 9786613838674 0080957420 0444533877 Year: 1972 Publisher: Burlington : Elsevier Science,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract
Provability, Computability and Reflection

Keywords
Combinatory logic. --- Logic, Symbolic and mathematical -- Periodicals. --- Logic, Symbolic and mathematical.

Book

Leçons de logique algébrique.
Author: Curry, Haskell B.
Year: 1952 Publisher: Paris : Gauthier-Villars,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Basic Sciences. Mathematics --- Algebra.

Book

Foundations of mathematical logic.
Author: Curry, Haskell B.
Year: 1963 Publisher: New York (N.Y.) : McGraw-Hill,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Logic, Symbolic and mathematical.

Book

Outlines of a formalist philosophy of mathematics.
Author: Curry, Haskell B.
Year: 1951 Publisher: Amsterdam : North-Holland,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Social Sciences and Humanities. Philosophy --- Systematics of Philosophy --- Philosophy of Science.

Book

An analysis of logical substitution (micro).
Author: Curry, Haskell B.
Year: 1929 Publisher: S.l. : s.n.,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords

Book

A theory of formal deducibility.
Author: Curry, Haskell B.
Year: 1950 Publisher: Notre Dame (Ind.) : University of Notre Dame press,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords

Book

Outlines of a formalist philosophy of mathematics.
Author: Curry, Haskell B.
Year: 1958 Publisher: Amsterdam : North-Holland,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Social Sciences and Humanities. Philosophy --- Systematics of Philosophy --- Philosophy of Science.

Digital

Outlines of a formalist philosophy of mathematics
Author: Curry, Haskell B.
ISBN: 9780444533685 0444533680 Year: 1951 Publisher: Amsterdam Elsevier Science

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Philosophy --- Mathematics

Listing 1 - 10 of 33 << page
of 4
>>
Sort by