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... więcej »

90,32 zł

100,36 zł

do koszyka

All about Proofs, Proofs for All

Książka

90,32 zł

100,36 zł

do koszyka

Logical Reasoning

A First Course

Autor: R Nederpelt

Wydawca: College Publications

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. więcej »

132,32 zł

147,02 zł

do koszyka

Logical Reasoning, A First Course

R Nederpelt

Książka

132,32 zł

147,02 zł

do koszyka

Essays on Set Theory

Autor: Akihiro Kanamori

Wydawca: College Publications

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... więcej »

110,87 zł

123,19 zł

do koszyka

Essays on Set Theory

Akihiro Kanamori

Książka

110,87 zł

123,19 zł

do koszyka

The Axiom of Choice

Autor: John L. Bell

Wydawca: College Publications

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... więcej »

134,89 zł

149,88 zł

do koszyka

The Axiom of Choice

John L. Bell

Książka

134,89 zł

149,88 zł

do koszyka

Proof Theory of N4-Paraconsistent Logics

Autor: Norihiro Kamide

Wydawca: College Publications

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... więcej »

107,59 zł

119,54 zł

do koszyka

Proof Theory of N4-Paraconsistent ...

Norihiro Kamide

Książka

107,59 zł

119,54 zł

do koszyka

Model Theory for Beginners. 15 Lectures

Autor: Roman Kossak

Wydawca: College Publications

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... więcej »

80,90 zł

89,89 zł

do koszyka

Model Theory for Beginners. 15 Le...

Roman Kossak

Książka

80,90 zł

89,89 zł

do koszyka

Handbook of Epistemic Logic

Wydawca: College Publications

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... więcej »

136,42 zł

151,58 zł

do koszyka

Handbook of Epistemic Logic

Książka

136,42 zł

151,58 zł

do koszyka

Artificial Intelligence. What is it, exactly?

Wydawca: College Publications

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... więcej »

74,23 zł

82,48 zł

do koszyka

Artificial Intelligence. What is ...

Książka

74,23 zł

82,48 zł

do koszyka

Handbook of Mathematical Fuzzy Logic. Volume 2

Wydawca: College Publications

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 ... więcej »

131,00 zł

145,56 zł

do koszyka

Handbook of Mathematical Fuzzy Log...

Książka

131,00 zł

145,56 zł

do koszyka

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

Wydawca: College Publications

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 ... więcej »

89,57 zł

99,52 zł

do koszyka

A Question is More Illuminating th...

Książka

89,57 zł

99,52 zł

do koszyka

Proof-theoretic Semantics

Autor: Nissim Francez

Wydawca: College Publications

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 ... więcej »

113,87 zł

126,52 zł

do koszyka

Proof-theoretic Semantics

Nissim Francez

Książka

113,87 zł

126,52 zł

do koszyka

Adventures in Formalism

Autor: Craig Smorynski

Wydawca: College Publications

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 ... więcej »

132,91 zł

147,68 zł

do koszyka

Adventures in Formalism

Craig Smorynski

Książka

132,91 zł

147,68 zł

do koszyka

Elementary Logic with Applications

A Procedural Perspective for Computer Scientists

Autor: D M Gabbay

Wydawca: College Publications

Elementary Logic with Applications is written for undergraduate logic and logic programming courses. Logic has been applied to a wide variety of subjects such więcej »

92,78 zł

103,09 zł

do koszyka

Elementary Logic with Applications...

D M Gabbay

Książka

92,78 zł

103,09 zł

do koszyka

Aristotle's Earlier Logic

Autor: John Woods

Wydawca: College Publications

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... więcej »

103,00 zł

114,44 zł

do koszyka

Aristotle's Earlier Logic

John Woods

Książka

103,00 zł

114,44 zł

do koszyka

Many-Valued Logics

A Mathematical and Computational Introduction. Second Edition

Autor: Luis M Augusto

Wydawca: College Publications

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, ... więcej »

99,17 zł

110,19 zł

do koszyka

Many-Valued Logics, A Mathematical...

Luis M Augusto

Książka

99,17 zł

110,19 zł

do koszyka

Understanding Vagueness. Logical, Philosophical and Linguistic Perspectives

Wydawca: College Publications

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... więcej »

127,37 zł

141,52 zł

do koszyka

Understanding Vagueness. Logical, ...

Książka

127,37 zł

141,52 zł

do koszyka

Handbook of Mathematical Fuzzy Logic, Volume 3

Wydawca: College Publications

121,56 zł

135,07 zł

do koszyka

Handbook of Mathematical Fuzzy Log...

Książka

121,56 zł

135,07 zł

do koszyka

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

Douglas Walton Remembered

Wydawca: College Publications

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... więcej »

100,40 zł

111,56 zł

do koszyka

Journal of Applied Logics. The IfC...

Książka

100,40 zł

111,56 zł

do koszyka

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

Volume 8, Issue 4, May 2021

Wydawca: College Publications

95,18 zł

105,76 zł

do koszyka

Journal of Applied Logics - The If...

Książka

95,18 zł

105,76 zł

do koszyka

Logical Consequences

Theory and Applications: An Introduction. 2nd Edition

Autor: Luis M Augusto

Wydawca: College Publications

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... więcej »

85,55 zł

95,06 zł

do koszyka

Logical Consequences, Theory and A...

Luis M Augusto

Książka

85,55 zł

95,06 zł

do koszyka

Znaleziono: 23

Przeglądaj:

Sortuj według:

Popularność malejąco

Wyświetl:

1
2
Następna >

SZYBKA POMOC

Koszty i terminy dostaw
Czas oczekiwania na zamówienie
Formy płatności
Zmiany w zamówieniach
Zwroty i reklamacje
Odbiór zamówień w księgarniach stacjonarnych PWN
Odbiór rezerwacji w księgarniach stacjonarnych PWN
Kontakt z Biurem Obsługi Klienta

PRZYDATNE INFORMACJE

Pomoc
Faktury VAT
Publikacje elektroniczne
Oprogramowanie i urządzenia do czytania Ebooków
Zamówienia dla firm i instytucji
Wysyłka za granicę
Kalendarium
Mapa strony

KSIĘGARNIA PWN

O nas
Regulamin konta użytkownika
Regulamin zakupów
Regulamin rezerwacji w księgarniach stacjonarnych PWN
Polityka prywatności konta użytkownika
Polityka prywatności sklepu
Współpraca reklamowa

TWOJE KONTO

Zaloguj się
Zarejestruj się
Twoje konto
Ustawienia
Zamówienia
Biblioteka
Schowek
Zapisz się na newsletter

OFERTA

Literatura piękna
Podręczniki szkolne
Podręczniki akademickie
Słowniki
Literatura faktu
Zabawki
Ebooki

AUTORZY

Philip Zimbardo
Maria Montessori
Richard Feynman
Władysław Tatarkiewicz
Włodzimierz Starosolski
Anthony Giddens
Grzegorz Kasdepke
Remigiusz Mróz
J.K. Rowling
Jakub Żulczyk
Joanna Kuciel Frydryszak
Walter Isaacson

BESTSELLERY

Biologiczne podstawy psychologii
Psychologia i życie
Podstawy fizyki Tom 1
Dlaczego zebry nie mają wrzodów
Siła komunikacji
Mitologia japońska
Chłopki Opowieść o naszych babkach
Prawdziwa powieść
Atomowe nawyki
Jak zarabiać w młodym wieku
Człowiek w poszukiwaniu sensu

DZIEDZINY

Psychologia
Matematyka
Fizyka
Chemia
Technika
Nauki ekonomiczne
Filozofia
Nauka języków obcych
Książki popularnonaukowe
Poradniki
Książki dla dzieci i młodzieży
Książki po angielsku

NASZE SERWISY

OBSŁUGA KLIENTA

poniedziałki-piątki
9:00-15:00

42 680 44 88

ksiegarnia@pwn.pl

KSIĘGARNIA INTERNETOWA PWN - prowadzona przez: ePWN Sp. z o.o., ul. Daimlera 2, 02-460 Warszawa. Wpis do Rejestru Przedsiębiorców prowadzonego przez Sąd Rejonowy dla m. st. Warszawy Wydział XIV Gospodarczy Krajowego Rejestru Sądowego pod numerem KRS 0000442101.