Narrow your search

Library

KU Leuven (139)

UCLouvain (108)

UGent (93)

ULiège (77)

UAntwerpen (75)

ULB (53)

VUB (53)

UMons (36)

UHasselt (31)

Odisee (30)

More...

Resource type

book (142)

digital (1)

dissertation (1)


Language

English (107)

German (22)

Dutch (8)

French (5)


Year
From To Submit

2017 (2)

2014 (1)

2012 (1)

2011 (2)

2009 (1)

More...
Listing 1 - 10 of 142 << page
of 15
>>
Sort by

Book
First-order logic
Author:
ISBN: 3540040994 3642867200 3642867189 9783540040996 Year: 1971 Volume: 43 Publisher: Berlin: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Practical logic
Authors: ---
ISBN: 9027705577 9789027705570 Year: 1976 Publisher: Dordrecht: Reidel,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Logical systems containing only a finite number of symbols.
Author:
ISBN: 0840500734 9780840500731 Year: 1967 Volume: 21 Publisher: Montréal : Presses de l'Université de Montréal,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Non-Archimedean utility theory
Author:
ISBN: 9027703523 9401017263 9401017247 Year: 1975 Publisher: Dordrecht

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Unvollständigkeit und Unentscheidbarkeit: : die mathematischen Resultate von Gödel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung
Author:
ISBN: 3211812083 3709183529 9783211812082 Year: 1973 Publisher: Wien: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Foundations of the logical theory of scientific knowledge (complex logic)
Authors: --- ---
ISBN: 9027703248 9401025010 9027701938 9789027703248 Year: 1973 Volume: 9 Publisher: Dordrecht: Reidel,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Logique et informatique : une introduction
Authors: --- --- --- --- --- et al.
ISSN: 02990733 ISBN: 2726106692 9782726106693 Year: 1991 Volume: 8 Publisher: Rocquencourt: Institut national de recherche en informatique et en automatique,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Komplexe Logik : Grundlagen einer logischen Theorie des Wissens
Author:
ISBN: 3528082887 Year: 1970 Publisher: Braunschweig Vieweg

Loading...
Export citation

Choose an application

Bookmark

Abstract


Multi
Meta-mathematical aspects of Martin-Löf's type theory
Authors: ---
ISBN: 8880981226 Year: 2000

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Language, proof, and logic
Authors: --- ---
ISBN: 157586374X 9781575863740 Year: 2003 Publisher: Stanford (Calif.): CSLI,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Listing 1 - 10 of 142 << page
of 15
>>
Sort by