Navigation
Logic Group Preprint Series
'
Logic Group Preprint Series
Skip to content
Plisko, Valery
Volume
Title
271
The Varpakhovskh calculus and Markov arithmetic
Plisko, Valery
261
Primitive recursive realizability and basic propositional logic
Plisko, Valery
Online