Searching for "Review of "Alfred Tarski Life and Logic by Anita Burdman Feferman and Solomon Feferman", Cambridge University Press 2004." – sorted by Relevance.
377,683 documents found, showing 1 through 10.
Next 10 →
-
On Feferman’s
- …. The non-logical axioms of OST comprise axioms about the applicative structure of the universe, some basic…
- Add To MetaCart
-
Tarski's System of Geometry
- …The Bulletin of Symbolic Logic Volume 5, Number 2, June 1999 TARSKI'S SYSTEM OF GEOMETRY ALFRED…
- Cited by 8 (0 self) – Add To MetaCart
-
Applications of Alfred Tarski's Ideas in Database Theory
- …Applications of Alfred Tarski's Ideas in Database Theory ? Jan Van den Bussche University…
- Cited by 3 (0 self) – Add To MetaCart
-
The Role of Tarski's Declarative Semantics in the
- … are not sufficient. In this paper we will explain why Tarski’s declarative semantics, introduced by Alfred Tarski…
- Add To MetaCart
-
Logic, Logics, and Logicism
- …Logic, Logics, and Logicism Solomon Feferman In memory of George Boolos Abstract The paper starts…
- Cited by 1 (0 self) – Add To MetaCart
-
Tarski's conceptual analysis of semantical notions”. Sémantique et épistémologie
- …Tarski’s Conceptual Analysis of Semantical Notions 1 Solomon Feferman Dedicated to the memory…
- Cited by 4 (1 self) – Add To MetaCart
-
Interpretability logic
- …Interpretability Logic Albert Visser University of Utrecht 1 Introduction Interpretations are much…
- Cited by 19 (3 self) – Add To MetaCart
-
Minimum bases for equational theories of groups and rings: The work of Alfred Tarski and Thomas
- …Minimum bases for equational theories of groups and rings: The work of Alfred Tarski and Thomas…
- Add To MetaCart
-
Weak theories of operations and types
- …) due to Beeson and Feferman. It is is a modification of first-order predicate logic taking into account…
- Add To MetaCart
-
TARSKI ON LOGICAL ENTITIES *
- …Logica Trianguli, 1, 1997, 115-141 TARSKI ON LOGICAL ENTITIES * Luis VILLEGAS-FORERO, Janusz…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
