UniCat-Search

Union Catalogue of Belgian Libraries

Feedback

About

Help

News

Narrow your search

Library

ULB (3)

UCLouvain (1)

Resource type

book (4)

Language

French (2)

English (1)

German (1)

Year

From To

1939 (4)

Listing 1 - 4 of 4
Sort by

Book

Introduction á la logistique
Author: Reichenbach, Hans
Year: 1939 Publisher: Paris, Hermann & cie,

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

Foundations of logic and mathematics.
Author: Carnap, Rudolf
Year: 1939 Publisher: Chicago, Ill. : The University of Chicago press,

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. --- Mathematics --- Philosophy.

Book

Grundlagen der mathematik
Authors: Hilbert, David --- Bernays, Paul
Year: 1939 Publisher: Berlin: Springer,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Recursive Functions --- Propositional Logic --- Recursion --- Predicate Logic --- Mathematics --- Logic, symbolic and mathematical

Book

Le rationnel : études complémentaires à l'Essai sur la certitude logique
Author: Milhaud, Gaston
Year: 1939 Publisher: Paris : F. Alcan,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Knowledge, Theory of --- Logic, Symbolic and mathematical --- Belief and doubt --- Théorie de la connaissance --- Logique symbolique et mathématique --- Croyance et doute

Listing 1 - 4 of 4
Sort by