Vilius Matulis
Original record- Institution
- St. Petersburg State University
- Year
- 1964
- Country
- Russia
- MGP identifier
- 133428
Dissertation: Sequent Versions of Classical Predicate Calculus with a Unique Inference Tree
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1
- Nikolai Aleksandrovich ShaninSteklov Institute of Mathematics · 1942
Students 1
| Name | Institution | Year | Students |
|---|---|---|---|
| Regimantas Ricardas Pliuskevicius | Steklov Institute of Mathematics | 1967 | 6 |