Presentation of natural deduction

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

1 Downloads (Pure)

Original language	English
Title of host publication	Set Theory and Foundations of Mathematics (Proceedings of the Symposium, Belgrade 1977)
Pages	115-126
Publication status	Published - 1977

Name	Zbornik Radova Matematicki Institut. Nova Serija
Volume	2

Cite this