Gaya APA

Sandqvist, T. (2015). Base-extension semantics for intuitionistic sentential logic . : .

Gaya MLA

Sandqvist, Tor. "Base-extension semantics for intuitionistic sentential logic". : , 2015. Text.