MENU

Wydawnictwo College Publications

ZAWĘŹ WYNIKI
Znaleziono: 23
Przeglądaj:
Sortuj według:
Popularność malejąco
Wyświetl:
20

All about Proofs, Proofs for All

The development of new and improved proof systems, proof formats and proof search methods is one of the most essential goals of Logic. But what is a proof? What makes a proof better than another? H...
Książka
do koszyka
100,36 zł

Logical Reasoning

A First Course
Autor: R Nederpelt
This book describes how logical reasoning works and puts it to the test in applications. It is self-contained and presupposes no more than elementary competence in mathematics.
Książka
do koszyka
147,02 zł

Essays on Set Theory

Set theory, initially built on the Cantorian extension of number into the infinite and the Zermelian axiomatization affirming a foundation for mathematics, is today a rich and soph...
Książka
do koszyka
123,19 zł

The Axiom of Choice

Autor: John L. Bell
This book presents an overview of the development of the Axiom of Choice since its introduction by Zermelo at the beginning of the last century. The book surveys the Axiom of Choice from three pers...
Książka
do koszyka
149,88 zł

Proof Theory of N4-Paraconsistent Logics

The present book is the first monograph ever with a central focus on the proof theory of paraconsistent logics in the vicinity of the four-valued, constructive paraconsistent logic N4 by David Nels...
Książka
do koszyka
119,54 zł

Model Theory for Beginners. 15 Lectures

Autor: Roman Kossak
This book presents an introduction to model theory in 15 lectures. It concentrates on several key concepts: first-order definability, classification of complete types, elementary extensions, cat...
Książka
do koszyka
89,89 zł

Handbook of Epistemic Logic

Epistemic logic and, more generally, logics of knowledge and belief, originated with philosophers such as Jaakko Hintikka and David Lewis in the early 1960s. Since then, such logics have played a s...
Książka
do koszyka
151,58 zł

Artificial Intelligence. What is it, exactly?

What exactly is artificial intelligence? This book is for all those who are curious to learn what artificial intelligence (AI) is. It is a purposely brief introduction to t...
Książka
do koszyka
82,48 zł

Handbook of Mathematical Fuzzy Logic. Volume 2

Originating as an attempt to provide solid logical foundations for fuzzy set theory, and motivated also by philosophical and computational problems of vagueness and imprecision, Mathematical Fuzzy ...
Książka
do koszyka
145,56 zł

A Question is More Illuminating than an Answer. A Festschrift for Paolo A. S. Veloso

This volume is dedicated to the memory of Paulo A. S. Veloso (1944-2020), a distinguished Brazilian logician. Veloso's scientific contributions are disseminated in the most important areas ...
Książka
do koszyka
99,52 zł

Proof-theoretic Semantics

This book is a monograph on the topic of Proof-Theoretic Semantics, a theory of meaning constituting an alternative to the more traditional Model-Theoretic Semantics. The latter regards meaning as ...
Książka
do koszyka
126,52 zł

Adventures in Formalism

Mathematics originates with intuition. But intuition alone can only go so far and formalism develops to handle the more difficult problems. Formalism, however, has its inherent dangers. There are ...
Książka
do koszyka
147,68 zł

Elementary Logic with Applications

A Procedural Perspective for Computer Scientists
Autor: D M Gabbay
Elementary Logic with Applications is written for undergraduate logic and logic  programming courses. Logic has been applied to a wide variety of subjects such 
Książka
do koszyka
103,09 zł

Aristotle's Earlier Logic

Autor: John Woods
The first edition of Aristotle's Earlier Logic attracted some favourable attention. In his review for the journal Argumentation, David Hitchcock writes, "The book is a treasure trove of sophistic...
Książka
do koszyka
114,44 zł

Many-Valued Logics

A Mathematical and Computational Introduction. Second ...
Many-valued logics are those logics that have more than the two classical truth values, to wit, true and false; in fact, they can have from three to infinitely many truth values. This property, ...
Książka
do koszyka
110,19 zł

Understanding Vagueness. Logical, Philosophical and Linguistic Perspectives

Vague language and corresponding models of inference and information processing is an important and challenging topic as witnessed by a number of recent monographs and collections of essays devoted...
Książka
do koszyka
141,52 zł

Handbook of Mathematical Fuzzy Logic, Volume 3

Originating as an attempt to provide solid logical foundations for fuzzy set theory, and motivated also by philosophical and computational problems of vagueness and imprecision, Mathematical Fuzzy ...
Książka
do koszyka
135,07 zł

Journal of Applied Logics. The IfCoLog Journal of Logics and their Applications. Volume 8, Issue 1, February 2021. Special issue

Douglas Walton Remembered
The Journal of Applied Logics - IfCoLog Journal of Logics and their Applications (FLAP) covers all areas of pure and applied logic, broadly construed. All papers published are open access, and a...
Książka
do koszyka
111,56 zł

Journal of Applied Logics - The IfCoLog Journal of Logics and their Applications

Volume 8, Issue 4, May 2021
The Journal of Applied Logics - IfCoLog Journal of Logics and their Applications (FLAP) covers all areas of pure and applied logic, broadly construed. All papers published are open access, and a...
Książka
do koszyka
105,76 zł

Logical Consequences

Theory and Applications: An Introduction. 2nd Edition
The theory of logical consequence is central in modern logic and its applications. However, it is mostly dispersed in an abundance of often difficultly accessible papers, and rarely treated with...
Książka
do koszyka
95,06 zł
Znaleziono: 23
Przeglądaj:
Sortuj według:
Popularność malejąco
Wyświetl:
20