UniCat-Search

Union Catalogue of Belgian Libraries

Feedback

About

Help

News

Narrow your search

Library

UGent (23)

ULB (17)

KU Leuven (12)

ULiège (11)

UCLouvain (7)

Odisee (5)

LUCA School of Arts (4)

Thomas More Kempen (4)

Thomas More Mechelen (4)

UCLL (4)
More...

Resource type

book (42)

periodical (1)

Language

English (30)

German (7)

French (4)

Italian (1)

Spanish (1)

Year

From To

1968 (43)

Listing 1 - 10 of 43 << page
of 5
>>
Sort by

Book

Vollständige Systeme modaler und intuitionistischer Logik.
Author: Schütte, Kurt
Year: 1968 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

Ecrits logiques
Authors: Herbrand, Jacques --- Van Heijenoort, Jean --- Lautman, Albert --- Chevalley, Claude
Year: 1968 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.

Book

Solvable cases of the decision problem.
Author: Ackermann, Wilhelm
Year: 1968 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
Logic, Symbolic and mathematical.

Book

Mathematical logic
Author: Goodstein, Reuben Louis
Year: 1968 Publisher: London : Leicester university 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.

Book

Contributions to mathematical logic : Proceedings of the Logic Colloquium, Hannover 1966
Authors: Schmidt, H. Arnold. --- Schütte, K. --- Thiele, H. J. --- Logic Colloquium
ISBN: 1283526476 9786613838926 0080957692 0444534148 Year: 1968 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. --- Logic, Symbolic and mathematical

Book

Grundlagen der Mathematik
Authors: Hilbert, David --- Bernays, Paul
Year: 1968 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
Mathematics --- Logic, Symbolic and mathematical. --- Philosophy.

Book

Foundations of mathematics
Author: Hatcher, William S.
Year: 1968 Publisher: Philadelphia (Pa.) : Saunders,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Mathematics --- Logic, Symbolic and mathematical. --- Philosophy.

Book

Mathematics and plausible reasoning
Author: Pólya, George
Year: 1968 Publisher: Princeton (N.J.) : Princeton university press,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Mathematics --- Logic, Symbolic and mathematical. --- Philosophy.

Book

Logic and foundations of mathematics
Author: Heyting, Arend
Year: 1968 Publisher: Groningen : Wolters-Noordhoff,

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. --- Heyting, Arend,

Book

Einführung in die philosophischen Grundlagen der Mathematik.
Author: Frey, Gerhard
Year: 1968 Publisher: Schöningh : Schroedel,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Mathematics --- Logic, Symbolic and mathematical. --- Philosophy.

Listing 1 - 10 of 43 << page
of 5
>>
Sort by