Sciweavers

16 search results - page 1 / 4

» apal 2004

54

APAL
2004

52views more APAL 2004»

Lesniewski's early Liar, Tarski and natural language

14 years 10 months ago

Lesniewski's early Liar, Tarski and natural language

Download dare.ubvu.vu.nl

Arianna Betti

claim paper

Read More »

64

APAL
2004

56views more APAL 2004»

Krivine's intuitionistic proof of classical completeness (for countable languages)

14 years 10 months ago

Krivine's intuitionistic proof of classical completeness (for countable languages)

Download www.di.unito.it

Stefano Berardi, Silvio Valentini

claim paper

Read More »

52

APAL
2004

72views more APAL 2004»

14 years 10 months ago

Download orion.math.iastate.edu

Janusz Czelakowski, Don Pigozzi

claim paper

Read More »

54

APAL
2004

58views more APAL 2004»

Boolean algebras arising from information systems

14 years 10 months ago

Boolean algebras arising from information systems

Download www.cosc.brocku.ca

Ivo Düntsch, Ewa Orlowska

claim paper

Read More »

72

APAL
2004

67views more APAL 2004»

Algorithmic uses of the Feferman-Vaught Theorem

14 years 10 months ago

Algorithmic uses of the Feferman-Vaught Theorem

Download www.labri.fr

The classical Feferman

Johann A. Makowsky

claim paper

Read More »

« Prev « First page 1 / 4 Last » Next »