Some work of Lithuanian mathematicians in the domain of mathematical logic and programming

DOI10.1007/BF00967177zbMath0472.01020MaRDI QIDQ1158137

S. H. Smith

Publication date: 1980

Published in: Lithuanian Mathematical Journal (Search for Journal in Brave)

zbMATH Keywords

programming methodologycomputer science educationuniversity research

Mathematics Subject Classification ID

Development of contemporary mathematics (01A65) History of mathematical logic and foundations (03-03) History of mathematics at specific universities (01A73) History of computer science (68-03)

Cites Work

• Untersuchungen über das logische Schliessen. I
• Extension of the system of equivalent transformations of expressions
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Some work of Lithuanian mathematicians in the domain of mathematical logic and programming