Results 121 to 130 of about 24,422 (242)

Sobre a Concepção da Verdade em Tarski

, 2021
Abílio Azambuja
openalex   +1 more source

On a conjecture of Tarski on products of cardinals [PDF]

, 1991
Thomas Jech, Saharon Shelah
openalex   +1 more source

Soft tissue inflammation of the lower limb and foot following tibiotalocalcaneal arthrodesis for osteoarthritis in a morbidly obese patient: A case report. [PDF]

Medicine (Baltimore)
Dworak K, Pasek J, Rokicka S, Werner K, Szczęśniak M, Tarski M, Mikuszewski A, Stołtny T.   +7 more
europepmc   +1 more source

Automatic differentiation of uncertainties: an interval computational differentiation for first and higher derivatives with implementation. [PDF]

PeerJ Comput Sci, 2023
Dawood H, Megahed N.
europepmc   +1 more source

Russell, Tarski, Gödel: A Guide

, 1996
D. W. Miller
openalex   +2 more sources

Supervaluations and Tarski.

Notre Dame Journal of Formal Logic, 1978
openaire   +3 more sources

連続関数環のLŌWENHEIM-SKOLEM-TARSKIの性質 (数理論理学とその応用)

, 2022
Toshimichi Usuba
openalex   +1 more source

Large infinities and definable sets. [PDF]

Proc Natl Acad Sci U S A
Aguilera JP, Bagaria J, Lücke P.
europepmc   +1 more source

Enhancement of properties in Mizar. [PDF]

PeerJ Comput Sci, 2020
Korniłowicz A.
europepmc   +1 more source

Gödel's modal interpretation of intuitionistic logic and its proof theory. [PDF]

Mon Hefte Math
von Plato J.
europepmc   +1 more source