BSL 1999 | Sciweavers

66

click to vote

BSL
1999

262views more BSL 1999»

Tarski's system of geometry

14 years 11 months ago

Download www.kirj.ee

Recently, in a paper by Tarski and Givant (Bull. Symbolic Logic, 1999, 5, 175

Alfred Tarski, Steven Givant

claim paper

Read More »

65

Voted

BSL
1999

50views more BSL 1999»

Ordered groups: a case study in reverse mathematics

14 years 11 months ago

Download www.math.uconn.edu

Reed Solomon

claim paper

Read More »

89

Voted

BSL
1999

103views more BSL 1999»

The logic of bunched implications

14 years 11 months ago

Download www.doc.ic.ac.uk

We consider a classical (propositional) version, CBI, of O'Hearn and Pym's logic of bunched implications (BI) from a model- and prooftheoretic perspective. We present a c...

Peter W. O'Hearn, David J. Pym

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers