Sciweavers

16 search results - page 1 / 4

» apal 2004

8

APAL
2004

52views more APAL 2004»

Lesniewski's early Liar, Tarski and natural language

13 years 4 months ago

Lesniewski's early Liar, Tarski and natural language

Download dare.ubvu.vu.nl

Arianna Betti

claim paper

Read More »

9

APAL
2004

56views more APAL 2004»

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

13 years 4 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 »

8

APAL
2004

72views more APAL 2004»

13 years 4 months ago

Download orion.math.iastate.edu

Janusz Czelakowski, Don Pigozzi

claim paper

Read More »

8

APAL
2004

58views more APAL 2004»

Boolean algebras arising from information systems

13 years 4 months ago

Boolean algebras arising from information systems

Download www.cosc.brocku.ca

Ivo Düntsch, Ewa Orlowska

claim paper

Read More »

15

APAL
2004

67views more APAL 2004»

Algorithmic uses of the Feferman-Vaught Theorem

13 years 4 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 »