UniCat-Search

Union Catalogue of Belgian Libraries

Feedback

About

Help

News

Narrow your search

Library

KU Leuven (44)

UGent (35)

ULB (29)

UCLouvain (26)

UAntwerpen (23)

ULiège (23)

VUB (22)

Odisee (12)

LUCA School of Arts (8)

Thomas More Kempen (8)
More...

Resource type

book (56)

periodical (2)

Language

English (46)

French (6)

German (4)

Dutch (1)

Russian (1)

Year

From To

1971 (58)

Listing 1 - 10 of 58 << page
of 6
>>
Sort by

Book

Logic Colloquium '69 : proceedings of the Summer School and Colloquium in Mathematical Logic, Manchester, August 1969
Authors: Gandy, R. O. --- Yates, C. E. M. --- Logic Colloquium
ISBN: 1283525615 9786613838063 008095474X Year: 1971 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

Proceedings of the Second Scandinavian Logic Symposium
Authors: Fenstad, Jens Erik. --- Scandinavian Logic Symposium --- Association for Symbolic Logic.
ISBN: 1283525313 9786613837769 0080954766 9780080954769 0720422590 9780720422597 Year: 1971 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

Book

Cours de logique mathématique
Author: Fraïssé, Roland
Year: 1971 Publisher: Paris : Gauthier-Villars,

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

Elements of mathematical logic (model theory)
Authors: Kreisel, Georg --- Krivine, Jean-Louis
Year: 1971 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 and formalized theories; : a survey of basic concepts and results
Author: Rogers, Robert
ISBN: 0444100830 0720420512 Year: 1971 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

Keywords
Logic, Symbolic and mathematical --- Logique symbolique et mathématique --- Logic, Symbolic and mathematical.

Book

Algebraic logic and predicate functors
Author: Quine, Willard Van Orman
Year: 1971 Publisher: [Indianapolis] : Bobbs-Merrill company,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Mathématiques --- Logic, Symbolic and mathematical --- Predicate calculus --- Functor theory

Book

Logical writings
Author: Herbrand, Jacques
Year: 1971 Publisher: Dordrecht : D. Reidel Pub. Co.,

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

Book

Cours de logique mathématique
Author: Fraïssé, Roland
Year: 1971 Publisher: Paris : Gauthier-Villars,

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

Book

An Introduction to Wittgenstein's Tractatus
Author: Anscombe, G.E.M.
ISBN: 009051131X Year: 1971 Publisher: London Hutchinson University Library

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Language and languages --- Logic, Symbolic and mathematical --- Philosophy --- Wittgenstein, Ludwig,

Book

Threshold logic : an engineering survey
Author: Hurst, S. L.
ISBN: 0263515877 Year: 1971 Publisher: London Mills and Boon

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Digital electronics --- Logic, Symbolic and mathematical --- Switching circuits

Listing 1 - 10 of 58 << page
of 6
>>
Sort by