Gaya APA

Wirth, M, J, G, C. (2015). Quantifiers in logic and proof-search using permissive-nominal terms and sets . : .

Gaya MLA

Wirth, Murdoch, J., Gabbay,, Claus-Peter. "Quantifiers in logic and proof-search using permissive-nominal terms and sets ". : , 2015. Text.