Volume 157; Issue 1

Annals of Pure and Applied Logic

Volume 157; Issue 1
2

Quantum deduction rules

Year:
2009
Language:
english
File:
PDF, 666 KB
english, 2009
3

Sequences of real functions on in constructive reverse mathematics

Year:
2009
Language:
english
File:
PDF, 667 KB
english, 2009
4

Editorial Board

Year:
2009
Language:
english
File:
PDF, 37 KB
english, 2009
5

Large cardinals and locally defined well-orders of the universe

Year:
2009
Language:
english
File:
PDF, 1.00 MB
english, 2009