Tomeki

Explore Books on
nonclassical mathematical logic

1-24 of 55 Books

View Nichtklassische Logik By Lothar Kreiser,Siegfried Gottwald,Werner Stelzner

Nichtklassische Logik

Nichtklassische Logik

By Lothar Kreiser,Siegfried Gottwald,Werner Stelzner

View Non-classical logics and their applications to fuzzy subsets By Ulrich Höhle,E. P. Klement
Cover of Non-classical logics and their applications to fuzzy subsets by ulrich höhle,e. p. klement

Non-classical logics and their applications to fuzzy subsets

By Ulrich Höhle,E. P. Klement

View An Introduction to Non-Classical Logic By Graham Priest
Cover of An Introduction to Non-Classical Logic by graham priest

An Introduction to Non-Classical Logic

By Graham Priest

View Three Views of Logic By Donald W. Loveland,Richard E. Hodel,S G Sterrett
Cover of Three Views of Logic by donald w. loveland,richard e. hodel,s g sterrett

Three Views of Logic

By Donald W. Loveland,Richard E. Hodel,S G Sterrett

View An algebraic approach to non-classical logics By Helena Rasiowa
Cover of An algebraic approach to non-classical logics by helena rasiowa

An algebraic approach to non-classical logics

By Helena Rasiowa

View An Introduction to Non-Classical Logic (Cambridge Introductions to Philosophy) By Graham Priest
Cover of An Introduction to Non-Classical Logic (Cambridge Introductions to Philosophy) by graham priest

An Introduction to Non-Classical Logic (Cambridge Introductions to Philosophy)

By Graham Priest

View Nonclassical logics and information processing By D. Pearce,H. Wansing
Cover of Nonclassical logics and information processing by d. pearce,h. wansing

Nonclassical logics and information processing

By D. Pearce,H. Wansing

View Theorem proving with analytic tableaux and related methods By TABLEAUX '96 (1996 Terrasini, Italy),Italy) Tableaux 9 (1996 Terrasini,P. Miglioli
Cover of Theorem proving with analytic tableaux and related methods by tableaux '96 (1996 terrasini, italy),italy) tableaux 9 (1996 terrasini,p. miglioli

Theorem proving with analytic tableaux and related methods

By TABLEAUX '96 (1996 Terrasini, Italy),Italy) Tableaux 9 (1996 Terrasini,P. Miglioli

View An introduction to non-classical logic By Graham Priest
Cover of An introduction to non-classical logic by graham priest

An introduction to non-classical logic

By Graham Priest

View Theorem proving with analytic tableaux and related methods By TABLEAUX '95 (1995 Sankt Goar, Germany)
Cover of Theorem proving with analytic tableaux and related methods by tableaux '95 (1995 sankt goar, germany)

Theorem proving with analytic tableaux and related methods

By TABLEAUX '95 (1995 Sankt Goar, Germany)

View Labelled non-classical logics By Luca Viganò,Luca Viganò,Luca Vigano
Cover of Labelled non-classical logics by luca viganò,luca viganò,luca vigano

Labelled non-classical logics

By Luca Viganò,Luca Viganò,Luca Vigano

View Logics in AI By European Workshop JELIA '90 (1990 Amsterdam, Netherlands)
Cover of Logics in AI by european workshop jelia '90 (1990 amsterdam, netherlands)

Logics in AI

By European Workshop JELIA '90 (1990 Amsterdam, Netherlands)

View Logiques classiques et non classiques By Newton C. A. da Costa
Cover of Logiques classiques et non classiques by newton c. a. da costa

Logiques classiques et non classiques

By Newton C. A. da Costa

View Operator theory By S. G. Pyatkov
Cover of Operator theory by s. g. pyatkov

Operator theory

By S. G. Pyatkov

View Essays on Non-Classical Logic Volume 1 By Heinrich Wansing
Cover of Essays on Non-Classical Logic Volume 1 by heinrich wansing

Essays on Non-Classical Logic Volume 1

By Heinrich Wansing

View Nikolaĭ Aleksandrovich Vasilʹev, 1880-1940 By V. A. Bazhanov

Nikolaĭ Aleksandrovich Vasilʹev, 1880-1940

Nikolaĭ Aleksandrovich Vasilʹev, 1880-1940

By V. A. Bazhanov

View Neklassicheskie logiki By Vladimir Aleksandrovich Andrunakievich

Neklassicheskie logiki

Neklassicheskie logiki

By Vladimir Aleksandrovich Andrunakievich

View Generalized Galois logics By Katalin Bimbó

Generalized Galois logics

Generalized Galois logics

By Katalin Bimbó

View Real existence, ideal necessity By Robert Greenberg
Cover of Real existence, ideal necessity by robert greenberg

Real existence, ideal necessity

By Robert Greenberg

View Many-sorted logic and its applications By J. V. Tucker
Cover of Many-sorted logic and its applications by j. v. tucker

Many-sorted logic and its applications

By J. V. Tucker

View Absolute logics By Jyrki Akkanen

Absolute logics

Absolute logics

By Jyrki Akkanen

View Neklassicheskie logiki i ikh primenenii͡a︡ By Nauchno-issledovatelʹskiĭ seminar po logike Instituta filosofii AN SSSR (1989? Moscow, Russia)

Neklassicheskie logiki i ikh primenenii͡a︡

Neklassicheskie logiki i ikh primenenii͡a︡

By Nauchno-issledovatelʹskiĭ seminar po logike Instituta filosofii AN SSSR (1989? Moscow, Russia)

View Beyond classical logic By Gerhard Schurz,Marko Uršič

Beyond classical logic

Beyond classical logic

By Gerhard Schurz,Marko Uršič

View Theorem proving with analytic tableaux and related methods By P. Miglioli
Cover of Theorem proving with analytic tableaux and related methods by p. miglioli

Theorem proving with analytic tableaux and related methods

By P. Miglioli