Results 161 to 170 of about 24,422 (242)
Higher-Order Tarski Grothendieck as a Foundation for Formal Proof.
Chad E. Brown +2 more
openalex +2 more sources
Invariant sets and Knaster-Tarski principle
Leśniak Krzysztof
doaj +1 more source
Bibliometrics beyond citations: introducing mention extraction and analysis. [PDF]
Petrovich E +6 more
europepmc +1 more source
Acerca do conceito de consequência lógica [PDF]
Wagner de Campos Sanz (Tradutor) +1 more
doaj

