UniCat-Search

Union Catalogue of Belgian Libraries

English | Nederlands | Français

Feedback

About UniCat

Help

News

Narrow your search

Library

UAntwerpen (51)

KU Leuven (47)

UGent (32)

UCLouvain (31)

ULiège (28)

VUB (17)

ULB (16)

UMons (13)

UHasselt (11)

Odisee (7)
More...

Resource type

book (60)

digital (2)

Language

English (53)

German (6)

Dutch (2)

French (1)

Year

From To

1974 (62)

Listing 1 - 10 of 62 << page
of 7
>>
Sort by

Book

Heuristische Prinzipien und logische Kalküle
Author: Serebrjannikov, O. F.
ISBN: 3770510437 9783770510436 Year: 1974 Publisher: München: Fink,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Mathematical logic

Book

Mathematical logic
Author: Quine, Willard Van Orman
Year: 1974 Publisher: Cambridge 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
Mathematical logic

Book

Lectures on model theory
Author: Gostanian, Richard
Year: 1974 Publisher: Aarhus

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Mathematical logic

Digital

Logic in algebraic form: three languages and theories
Author: Craig, William
ISBN: 0720422728 9780080954837 0080954839 9780080955025 0080955029 9780080954868 0080954863 1283525607 9781283525602 9786613838056 6613838055 9780080955087 0080955088 9780080570587 0080570585 Year: 1974 Publisher: Amsterdam

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
Mathematical logic

Book

Formally self-referential propositions for cut free classical analysis and related systems
Authors: Kreisel, G. --- Takeuti, G.
Year: 1974 Publisher: Warszawa

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Mathematical logic

Book

Set theories incorporating Hilbert's ε-symbol
Author: Flannagan, T.B.
Year: 1974 Publisher: Warszawa

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Mathematical logic

Digital

Generalized recursion theory: proceedings of the 1972 Oslo symposium
Author: Fenstad, J.E.
ISBN: 0720422760 9780080954899 0080954898 1283525739 9781283525732 9786613838186 6613838187 Year: 1974 Publisher: Amsterdam

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
Mathematical logic

Book

An introduction to axiomatic systems
Author: Meyer, Burnett
ISBN: 0871501740 Year: 1974 Publisher: Boston, Mass.

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Mathematical logic

Book

Combinatory logic
Authors: Curry, Haskell B. --- Feys, Robert --- Craig, William
Year: 1974 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

Book

Elements of combinatory logic
Author: Fitch, Frederic B.
ISBN: 0300015232 Year: 1974 Publisher: New Haven, Conn. Yale University Press

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Mathematical logic --- Combinatory logic.

Listing 1 - 10 of 62 << page
of 7
>>
Sort by