UniCat-Search

Union Catalogue of Belgian Libraries

Feedback

About

Help

News

Narrow your search

Library

KU Leuven (17)

UGent (16)

ULiège (15)

ULB (14)

UCLouvain (12)

VUB (9)

Odisee (5)

Thomas More Kempen (5)

UAntwerpen (5)

LUCA School of Arts (4)
More...

Resource type

book (29)

periodical (2)

digital (1)

dissertation (1)

Language

English (28)

Dutch (1)

French (1)

German (1)

Polish (1)

Year

From To

1970 (32)

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

Book

Term logic with choice operator
Author: Hermes, Hans
Year: 1970 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

A profile of mathematical logic.
Author: DeLong, Howard
Year: 1970 Publisher: Reading (Mass.) : Addison-Wesley,

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

Understanding symbolic logic
Author: Massey, Gerald J.
Year: 1970 Publisher: New York (N.Y.) : Harper and Row,

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

Frege and Gödel : two fundamental texts in mathematical logic
Authors: Gödel, Kurt --- Van Heijenoort, Jean --- Frege, Gottlob
ISBN: 0674318447 Year: 1970 Publisher: Cambridge (Mass.) : Harvard 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. --- Mathematics --- Philosophy.

Book

Mathematical logic and foundations of set theory : proceedings of an international colloquium held under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968
Authors: Bar-Hillel, Yehoshua. --- International Colloquium on Mathematical Logic and Foundations of Set Theory --- Aḳademyah ha-leʼumit ha-Yiśreʼelit le-madaʻim. --- International Mathematical Union. --- Einstein Institute of Mathematics.
ISBN: 128352600X 9786613838452 9780080953 Year: 1970 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
Logic, Symbolic and mathematical --- Set theory

Dissertation

The mathematics of metamathematics
Authors: Rasiowa, Helena --- Sikorski, Roman
Year: 1970 Publisher: Warszawa : Panstwowe Wydawnictwo Naukowe,

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 mathématique. --- Metamathematique

Book

Logica en model.
Author: Nauta, Doede
Year: 1970 Publisher: Bussum : De Haan,

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. --- Model theory.

Book

Notes on constructive mathematics
Author: Martin-Löf, Per
Year: 1970 Publisher: Stockholm : Almqvist & Wiksell,

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 mathématique --- Constructive mathematics --- Mathématiques constructives

Book

Understanding symbolic logic
Author: Massey, Gerald J.
Year: 1970 Publisher: New York, : Harper & Row,

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 mathématique --- Modalité (logique)

Book

A profile of mathematical logic
Author: DeLong, Howard
Year: 1970 Publisher: Reading, Mass. : Addison-Wesley,

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 32 << page
of 4
>>
Sort by