UniCat-Search

Union Catalogue of Belgian Libraries

Feedback

About

Help

News

Narrow your search

Library

ULB (9)

UGent (6)

KU Leuven (4)

UCLouvain (4)

ULiège (3)

Groot Seminarie Gent (1)

KBR (1)

LUCA School of Arts (1)

Odisee (1)

Thomas More Kempen (1)
More...

Resource type

book (13)

periodical (2)

dissertation (1)

Language

English (8)

French (4)

German (2)

Multiple languages (1)

Undetermined (1)

Year

From To

1960 (16)

Listing 1 - 10 of 16 << page
of 2
>>
Sort by

Book

Einführung in die symbolische Logik mit besonderer Berücksichtigung ihrer Anwandungen
Author: Carnap, Rudolf
Year: 1960 Publisher: Wien: Springer,

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

Dissertation

Some problems in logical model-theory
Author: Svenonius, Lars
Year: 1960 Publisher: Lund : Gleerup,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Algebra, Symbolic and mathematical.

Book

La Logique moderne
Author: Chauvineau, Jean
Year: 1960 Publisher: Paris : Presses universitaires de France,

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

Mathematische Gesetze der Logik
Author: Schmidt, H. Arnold
Year: 1960 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
Logic, Symbolic and mathematical.

Book

Problèmes de la construction du nombre
Authors: Papert, Seymour --- Gréco, Pierre --- Grize, Jean Blaise
Year: 1960 Publisher: Paris: PUF,

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 --- Number concept

Book

Lincos : design of a language for cosmic intercourse
Author: Freudenthal, Hans
ISBN: 1283526077 9786613838520 008095748X 0444533931 Year: 1960 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
Logic, Symbolic and mathematical -- Periodicals. --- Logic, Symbolic and mathematical. --- Mathematics. --- Lincos (Artificial language)

Book

Introduction à la logique
Author: Tarski, Alfred
Year: 1960 Volume: 16 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
Logic, Symbolic and mathematical --- Logique symbolique et mathématique

Book

La Logique moderne
Author: Chauvineau, Jean
Year: 1960 Volume: 745 Publisher: Paris : Presses universitaires de France,

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 --- Logique symbolique et mathématique

Book

Mathematische Gesetze der Logik
Author: Schmidt, H. Arnold
Year: 1960 Volume: 69 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
Logic, Symbolic and mathematical --- Logique symbolique et mathématique

Book

Einführung in die symbolische Logik mit besonderer Berücksichtigung ihrer Anwendungen
Author: Carnap, Rudolf
Year: 1960 Publisher: Wien : Springer,

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 --- Logique symbolique et mathématique

Listing 1 - 10 of 16 << page
of 2
>>
Sort by