Valery Plisko

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2009

3 Valery Plisko: A Survey of Propositional Realizability Logic. Bulletin of Symbolic Logic 15(1): 1-42 (2009)

2006

2 Valery Plisko: On Primitive Recursive Realizabilities. CSR 2006: 304-312

2001

1 Valery Plisko: Arithmetic complexity of the predicate logics of certain complete arithmetic theories. Ann. Pure Appl. Logic 113(1-3): 243-259 (2001)

	2009
3		Valery Plisko: A Survey of Propositional Realizability Logic. Bulletin of Symbolic Logic 15(1): 1-42 (2009)
	2006
2		Valery Plisko: On Primitive Recursive Realizabilities. CSR 2006: 304-312
	2001
1		Valery Plisko: Arithmetic complexity of the predicate logics of certain complete arithmetic theories. Ann. Pure Appl. Logic 113(1-3): 243-259 (2001)