Proof theory and computer programming Journal Articles

authors

• de Queiroz, Ruy JGB
• Maibaum, Thomas

status

• published 

publication date

• January 1990

has subject area

• 0101 Pure Mathematics (FoR)
• General Mathematics (Science Metrix)

published in

• Mathematical Logic Quarterly  Journal

keywords

• Mathematics
• Physical Sciences
• Science & Technology

Digital Object Identifier (DOI)

• 10.1002/malq.19900360505

start page

• 389

end page

• 414

volume

• 36

issue

• 5