Narrow your search

Library

KU Leuven (71)

UCLouvain (38)

UGent (31)

ULiège (31)

UAntwerpen (29)

KBR (25)

VUB (23)

ULB (21)

Odisee (17)

LUCA School of Arts (12)

More...

Resource type

book (81)

periodical (3)


Language

English (75)

French (6)

German (3)


Year
From To Submit

1990 (84)

Listing 1 - 10 of 84 << page
of 9
>>
Sort by
Eine epistemische Interpretation der intuitionistischen Logik
Author:
ISBN: 3884795406 Year: 1990 Publisher: Würzburg Königshausen und Neumann

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
The logic of sequences : a generalization of Principia mathematica
Author:
ISBN: 0824032101 Year: 1990 Publisher: New York (N.Y.): Garland

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Mathematical logic : applications and theory
Author:
ISBN: 0030128080 9780030128080 Year: 1990 Publisher: Philadelphia Chicago Tokyo Saunders College Pub.

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Higher recursion theory
Author:
ISBN: 0387193057 9780387193052 Year: 1990 Publisher: Berlin Springer

Loading...
Export citation

Choose an application

Bookmark

Abstract

Augustus De Morgan and the logic of relations
Author:
ISBN: 0792307585 Year: 1990 Publisher: Dordrecht Kluwer

Loading...
Export citation

Choose an application

Bookmark

Abstract

Logical and mathematical methods for the IBM microcomputers.
Author:
ISBN: 0849342880 Year: 1990 Publisher: Boca Raton CRC

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990
Author:
ISBN: 0387528857 Year: 1990 Publisher: Berlin New York Springer-Verlag

Loading...
Export citation

Choose an application

Bookmark

Abstract


Periodical
Modern logic.
ISSN: 19437390 Year: 1990 Publisher: Ames, Iowa : Ames, Iowa : Irving H. Anellis, Modern Logic Pub.

Loading...
Export citation

Choose an application

Bookmark

Abstract

Logic for computer science
Authors: ---
ISBN: 0201416433 9780201416435 Year: 1990 Volume: vol *28 Publisher: Wokingham Reading Madrid Addison-Wesley


Book
Recursion theory week : proceedings of a conference held in Oberwolfach, FRG, March 19-25, 1989
Authors: --- ---
ISBN: 3540527729 0387527729 3540471421 9783540527725 Year: 1990 Volume: 1432 Publisher: Berlin New York London Springer

Loading...
Export citation

Choose an application

Bookmark

Abstract

Listing 1 - 10 of 84 << page
of 9
>>
Sort by