Książki obcojęzyczne - nauki ścisłe i przyrodnicze
Pokaż listę kategorii
Zawężone wyniki
Filtry
WYDAWCA
-
College Publications (13)
-
Tilted Windmill Press (8)
-
Peacock Press (6)
-
Periscope Film (5)
-
Cambridge University Press (5)
-
Lulu Press (4)
-
Via Etenea LTD (4)
-
Alpha Editions (4)
-
Rethink Press Limited (4)
-
Orchard Innovations (4)
-
Echo Point Books & Media (3)
-
Books Express Publishing (3)
-
Read Books Design (3)
-
XML Press (3)
-
Average Joe's Field Guides Ltd. (3)
Wybierz
AUTOR
JĘZYK
Znaleziono: 13 pozycji
Sortuj według:
- Popularność rosnąco
- Popularność malejąco
- Od najstarszych
- Od najnowszych
- Cena rosnąco
- Cena malejąco
- Tytuł od A do Z
- Tytuł od Z do A
- Autor od A do Z
- Autor od Z do A
- Wydawca od A do Z
- Wydawca od Z do A
Popularność malejąco
Wyświetl:
- 20
- 40
- 80
20
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
Książka
The Haskell Road to Logic, Maths and Programming. Second Edition
Autor:
Kees Doets
Wydawca:
College Publications
Long ago, when Alexander the Great asked the mathematician Menaechmus for a crash course in geometry, he got the famous reply ``There is no royal road to mathematics.’’ Where there was no shortcut ...
Książka
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...
Książka
Journal of Applied Logics - The IfCoLog Journal of Logics and their Applications
Volume 8, Issue 4, May 2021
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...
Książka
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...
Książka
Many-Valued Logics
A Mathematical and Computational Introduction. Second ...
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, ...
Książka
All about Proofs, Proofs for All
Wydawca:
College Publications
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
Abstract Algebraic Logic. An Introductory Textbook
Autor:
Josep Maria Font
Wydawca:
College Publications
Abstract algebraic logic is the more general and abstract side of algebraic logic, the branch of mathematics that studies the connections between logics and their algebra-based semantics. This emer...
Książka
Handbook of Mathematical Fuzzy Logic, Volume 3
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 ...
Książka
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...
Książka
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...
Książka
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 ...
Książka
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 ...
Książka
Znaleziono: 13 pozycji
Sortuj według:
- Popularność rosnąco
- Popularność malejąco
- Od najstarszych
- Od najnowszych
- Cena rosnąco
- Cena malejąco
- Tytuł od A do Z
- Tytuł od Z do A
- Autor od A do Z
- Autor od Z do A
- Wydawca od A do Z
- Wydawca od Z do A
Popularność malejąco
Wyświetl:
- 20
- 40
- 80
20