Narrow your search

Library

ULB (3952)

KU Leuven (3532)

ULiège (3223)

Odisee (2703)

VIVES (2623)

Thomas More Kempen (2622)

Thomas More Mechelen (2621)

UCLL (2621)

UGent (1393)

UCLouvain (858)

More...

Resource type

book (3889)

periodical (68)

digital (28)

dissertation (6)

film (1)


Language

English (3595)

French (212)

German (87)

Italian (19)

Spanish (10)

More...

Year
From To Submit

2023 (40)

2022 (37)

2021 (59)

2020 (90)

2019 (118)

More...
Listing 1 - 10 of 3952 << page
of 396
>>
Sort by

Book
Logic Colloquium '69 : proceedings of the Summer School and Colloquium in Mathematical Logic, Manchester, August 1969
Authors: --- ---
ISBN: 1283525615 9786613838063 008095474X Year: 1971 Publisher: Amsterdam : North-Holland Pub. Co.,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Provability, Computability and Reflection

Proceedings of the Second Scandinavian Logic Symposium
Authors: --- ---
ISBN: 1283525313 9786613837769 0080954766 9780080954769 0720422590 9780720422597 Year: 1971 Publisher: Amsterdam : North-Holland Pub. Co.,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Provability, Computability and Reflection


Book
Frontiers of combining systems : 13th international symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021 : proceedings
Authors: ---
ISBN: 3030862054 3030862046 Year: 2021 Publisher: Cham, Switzerland : Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Introduction á la logistique
Author:
Year: 1939 Publisher: Paris, Hermann & cie,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Logic, Epistemology, and Scientific Theories - from Peano to the Vienna Circle
Authors: ---
ISBN: 3031421906 Year: 2023 Publisher: Cham, Switzerland : Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Computer programming and formal systems : proceedings of the colloquium hel at Amsterdam 1957
Author:
ISBN: 1283526530 9786613838988 0080957463 0444533915 9780444533913 Year: 2000 Publisher: Burlington : Elsevier Science,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Provability, Computability and Reflection


Periodical
Journal of the IGPL.
Authors: --- ---
Year: 1995 Publisher: London : [Saarbrücken, Germany] : Imperial College ; Max-Planck-Institut für Informatik,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Periodical
From the logical point of view.
Author:
Year: 1992 Publisher: Praha : Dept. of Logic, Institute of Philosophy of CSAS,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
The technique of theory construction
Author:
Year: 1956 Publisher: [Chicago] University of Chicago Press

Loading...
Export citation

Choose an application

Bookmark

Abstract


Periodical
Algebra i logika
Authors: ---
Year: 1967 Publisher: Novosibirsk : Nobosibirsk : Nauka, NII matematiko-informat͡sionnykh osnov obuchenii͡a NGU

Loading...
Export citation

Choose an application

Bookmark

Abstract

Listing 1 - 10 of 3952 << page
of 396
>>
Sort by