UniCat-Search

Union Catalogue of Belgian Libraries

English | Nederlands | Français

Feedback

About UniCat

Help

News

Narrow your search

Library

UAntwerpen (1)

VUB (1)

Resource type

book (2)

Language

English (2)

Year

From To

1986 (1)

1969 (1)

Listing 1 - 2 of 2
Sort by

Book

Lectures on non-standard analysis
Authors: Machover, M. --- Hirschfeld, J.
Year: 1969 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

Book

A course in mathematical logic
Authors: Bell, J.L. --- Machover, M.
Year: 1986 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
Mathematical logic

Listing 1 - 2 of 2
Sort by