UniCat-Search

Union Catalogue of Belgian Libraries

English | Nederlands | Français

Feedback

About UniCat

Help

News

Narrow your search

Library

ULiège (2)

UNamur (2)

KU Leuven (1)

UCLouvain (1)

UGent (1)

Resource type

book (2)

Language

English (2)

Year

From To

1981 (1)

1971 (1)

Listing 1 - 2 of 2
Sort by

From Frege to Gödel : a source book in mathematical logic, 1879-1931
Author: Van Heijenoort, Jean
ISBN: 0674324498 9780674324497 0674324501 9780674324503 Year: 1981 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
Logique mathématique. --- Logic, Symbolic and mathematical --- Logic, Symbolic and mathematical. --- Logique --- Histoire --- Histoire des mathematiques --- 20e siecle

Logical writings
Authors: Herbrand, Jacques --- Goldfarb, Warren D. --- Van Heijenoort, Jean
ISBN: 9027701768 940103074X 9401030723 9789027701763 Year: 1971 Publisher: Dordrecht: Reidel,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
510.6 --- Mathematical logic --- 510.6 Mathematical logic --- Mathematiques --- Logique et fondements --- Oeuvres reunies

Listing 1 - 2 of 2
Sort by