Narrow your search

Library

KU Leuven (19)

ULiège (19)

KBR (16)

UGent (15)

UCLouvain (10)

ULB (6)

VUB (6)

LUCA School of Arts (5)

Odisee (5)

Thomas More Kempen (5)

More...

Resource type

book (30)

periodical (1)


Language

English (28)

German (2)

French (1)


Year
From To Submit

1996 (31)

Listing 1 - 10 of 31 << page
of 4
>>
Sort by

Book
The limits of logic : higher-order logic and the Löwenheim-Skolem theorem
Author:
ISBN: 1855217317 Year: 1996 Publisher: Aldershot Dartmouth

Introduction to mathematical structures and proofs
Author:
ISBN: 0387979972 Year: 1996 Publisher: New York (N.Y.): Springer

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Journées de logique et philosophie : la logique, science normative ou science appliquée?
Author:
ISBN: 285399371X 9782853993715 Year: 1996 Volume: 1084 Publisher: Aix-en-Provence Publications de l'Université de Provence

Closure spaces and logic
Authors: ---
ISBN: 0792341104 1441947582 147572506X Year: 1996 Publisher: Dordrecht Kluwer

Logical frameworks for truth and abstraction : an axiomatic study
Author:
ISBN: 1281119962 9786611119966 0080535585 0444823069 Year: 1996 Publisher: Amsterdam ; New York : Elsevier Science B.V.,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This English translation of the author's original work has been thoroughly revised, expanded and updated. The book covers logical systems known as type-free or self-referential. These traditionally arise from any discussion on logical and semantical paradoxes. This particular volume, however, is not concerned with paradoxes but with the investigation of type-free sytems to show that: (i) there are rich theories of self-application, involving both operations and truth which can serve as foundations for property theory and formal semantics; (ii) these theories provide a new outlo

Moral dilemmas and moral theory
Author:
ISBN: 0195096819 Year: 1996 Publisher: New York (N.Y.): Oxford university press

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Ludwig Wittgenstein : logisch-philosophische Abhandlung : ein einführender Kommentar in den Tractatus
Author:
ISBN: 3825219224 Year: 1996 Publisher: Paderborn Schöningh

Something to reckon with : the logic of terms
Author:
ISBN: 0776616927 9780776616926 0776604236 9780776604237 0776604341 9780776604343 Year: 1996 Publisher: [Ottawa, Ont.] : University of Ottawa Press,

Loading...
Export citation

Choose an application

Bookmark

Abstract

By delving into the history and envelopment of logic from its beginnings to the modern era, George Englebretsen rehabilitates term logic and demonstrates that an enhanced traditional logic remains a viable possibility. Taking inspiration from Fred Sommers' work, he creates an updated and fascinating version of term logic; one he believes to be just as legitimate as, and in ways superior to, the currently predominant mathematical logic.

Logic and reality : essays on the legacy of Arthur Prior
Author:
ISBN: 0198240600 9780198240600 Year: 1996 Publisher: Oxford Clarendon

Listing 1 - 10 of 31 << page
of 4
>>
Sort by