Narrow your search

Library

KU Leuven (61)

ULiège (57)

UGent (39)

ULB (37)

Odisee (34)

Thomas More Kempen (34)

Thomas More Mechelen (34)

UCLL (34)

VIVES (34)

VUB (32)

More...

Resource type

book (88)

digital (3)


Language

English (83)

German (3)

French (2)


Year
From To Submit

2022 (88)

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

Book
Boolesche Funktionen und Postsche Klassen
Authors: --- --- --- ---
ISBN: 3112649281 Year: 2022 Publisher: Berlin ; Boston : De Gruyter.,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Die Natur der mathematischen Erkenntnis : Studien zur Methodologie der Mathematik
Author:
ISBN: 3112568702 Year: 2022 Publisher: Berlin ; Boston : De Gruyter,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Logik-Texte : Kommentierte Auswahl zur Geschichte der modernen Logik
Authors: --- --- ---
ISBN: 3112645804 Year: 2022 Publisher: Berlin ; Boston : De Gruyter,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Tractatus in context : the essential background for appreciating Wittgenstein's Tractatus logico-philosophicus
Author:
ISBN: 9780367465568 9780367466336 Year: 2022 Publisher: New York, NY : Routledge,

Loading...
Export citation

Choose an application

Bookmark

Abstract

"Ludwig Wittgenstein's brief Tractatus Logico-Philosophicus (1922) is one of the most important philosophical works of the Twentieth Century, yet it offers little orientation for the reader. The first-time reader is left wondering what it could be about, and the scholar is left with little guidance for interpretation. In Tractatus in Context, James C. Klagge presents the vital background necessary for appreciating Wittgenstein's gnomic masterpiece. Tractatus in Context contains the early reactions to the Tractatus, including the initial reviews written in 1922-1924. And while we can't talk with Wittgenstein, we can do the next best thing-hear what he had to say about the Tractatus. Klagge thus presents what Wittgenstein thought about germane issues leading up to his writing the book, in discussions and correspondence with others about his ideas, and what he had to say about the Tractatus after it was written-in letters, lectures and conversations. It offers, you might say, Wittgenstein's own commentary on the book. Key Features: Illuminates what is at stake in the Tractatus, by providing the views of others that engaged Wittgenstein as he was writing it. Includes Wittgenstein's earlier thoughts on ideas in the book as recorded in his notebooks, letters, and conversations as well as his later, retrospective comments on those ideas. Draws on new or little-known sources, such as Wittgenstein's coded notebooks, Hermine's notes, Frege's letters, Hänsel's diary, Ramsey's notes, and Skinner's dictations. Draws connections between the background context and specific passages in the Tractatus, using a proposition-by-proposition commentary"--


Book
Mathematical logic through Python
Authors: ---
ISBN: 1108954464 1108957692 Year: 2022 Publisher: Cambridge, United Kingdom ; New York, NY : Cambridge University Press,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Using a unique pedagogical approach, this text introduces mathematical logic by guiding students in implementing the underlying logical concepts and mathematical proofs via Python programming. This approach, tailored to the unique intuitions and strengths of the ever-growing population of programming-savvy students, brings mathematical logic into the comfort zone of these students and provides clarity that can only be achieved by a deep hands-on understanding and the satisfaction of having created working code. While the approach is unique, the text follows the same set of topics typically covered in a one-semester undergraduate course, including propositional logic and first-order predicate logic, culminating in a proof of Gödel's completeness theorem. A sneak peek to Gödel's incompleteness theorem is also provided. The textbook is accompanied by an extensive collection of programming tasks, code skeletons, and unit tests. Familiarity with proofs and basic proficiency in Python is assumed.


Book
The Ultrapower Axiom
Author:
ISBN: 9783110719734 Year: 2022 Publisher: Berlin Boston

Loading...
Export citation

Choose an application

Bookmark

Abstract

The series is devoted to the publication of high-level monographs on all areas of mathematical logic and its applications. It is addressed to advanced students and research mathematicians, and may also serve as a guide for lectures and for seminars at the graduate level.


Book
Measurements, Numerals and Scales
Authors: --- ---
ISBN: 9783030733230 Year: 2022 Publisher: Cham Springer International Publishing :Imprint: Palgrave Macmillan

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
The Logic of Software. A Tasting Menu of Formal Methods
Authors: --- --- --- ---
ISBN: 9783031081668 Year: 2022 Publisher: Cham Springer International Publishing :Imprint: Springer

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Rewriting logic and its applications : 14th International Workshop, WRLA 2022, Munich, Germany, April 2-3, 2022, revised selected papers
Author:
ISBN: 9783031124419 Year: 2022 Publisher: Cham, Switzerland : Springer International Publishing,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Handbook of pragmatics : manual
Authors: ---
ISBN: 9789027257680 902725768X 9027211329 9789027211323 Year: 2022 Publisher: Amsterdam, Netherlands : John Benjamins B.V.,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This second edition of the Manual is intended to facilitate access to the most comprehensive resource available today for any scholar interested in pragmatics as defined by the International Pragmatics Association: "the science of language use, in its widest interdisciplinary sense as a functional perspective on language and communication.".

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