Results 121 to 130 of about 1,524,096 (164)

Limit, logic, and computation. [PDF]

open access: yesProc Natl Acad Sci U S A, 1998
Freedman MH.
europepmc   +1 more source

Early infinitary logic

open access: yesThe Reasoner
Michael Bevan
doaj  

Algebraic aspects of the computably enumerable degrees. [PDF]

open access: yesProc Natl Acad Sci U S A, 1995
Slaman TA, Soare RI.
europepmc   +1 more source

Equivalence of partition properties and determinacy. [PDF]

open access: yesProc Natl Acad Sci U S A, 1983
Kechris AS, Woodin WH.
europepmc   +1 more source

Infinitary logic in the finite

open access: yesThe Reasoner
Phokion G. Kolaitis
doaj  

Home - About - Disclaimer - Privacy