Simple Relation Algebras

Szerző: Givant, Steven R., szerző
Megjelenés: 2017

Mathesis universalis, computability and proof

Megjelenés: 2019

New essays on Belnap-Dunn logic

Megjelenés: 2019

Graham Priest on dialetheism and paraconsistency

Megjelenés: 2019

Theory of graded consequence : a general framework for logics of uncertainty

Szerző: Chakraborty, Mihir Kumar, szerző
Megjelenés: 2019

1. Relation algebras

Szerző: Givant, Steven, szerző
Megjelenés: 2017
Kapcsolódó cím: Introduction to relation algebras

Advanced Topics in Relation Algebras : Relation Algebras, Volume 2

Szerző: Givant, Steven, author.
Megjelenés: 2017

Saved from the Cellar : Gerhard Gentzen’s Shorthand Notes on Logic and Foundations of Mathematics

Szerző: von Plato, Jan, szerző
Megjelenés: 2017

Logica : Volume 2 - Incompletezza, teoria assiomatica degli insiemi

Szerző: Abrusci, Vito Michele, szerző(1949-)
Megjelenés: 2018

Efficient graph rewriting and its implementation

Szerző: Dörr, Heiko (1962-)
Megjelenés: 1995

Semantics and truth

Szerző: Woleński, Jan, szerző
Megjelenés: 2019

Incompleteness for Higher-Order Arithmetic : An Example Based on Harrington’s Principle

Szerző: Cheng, Yong, szerző
Megjelenés: 2019

Constructive semantics : meaning in between phenomenology and constructivism

Megjelenés: 2019

Noneist explorations I : the sylvan jungle - volume 2

Szerző: Routley, Richard, szerző
Megjelenés: 2019

Parameterized Complexity in the Polynomial Hierarchy : Extending Parameterized Complexity Theory to Higher Levels of the Hierarchy

Szerző: de Haan, Ronald
Megjelenés: 2019

Feferman on foundations : logic, mathematics, philosophy

Megjelenés: 2017

Introduction to HOL : A theorem proving environment for higher logic

Szerző: Gordon, Michael Wallace
Megjelenés: 1993

Structures in logic and computer science : A selection of essays in honor of A. Ehrenfeucht

Megjelenés: 1997

Isabelle/HOL : A proof assistant for higher-order logic

Szerző: Nipkow, Tobias
Megjelenés: 2002

Laws and explanations; Theories and modal possibilities

Szerző: Koslow, Arnold, szerző
Megjelenés: 2019