Mathematics Genealogy

Static mirror of the Mathematics Genealogy Project

Support the actual Mathematics Genealogy Project by making a donation, so that they can run their services again, instead of this temporary static unofficial mirror.

Paweł Płaczek

Original record
Institution
Uniwersytet im. Adama Mickiewicza w Poznaniu
Year
2022
Country
Poland
MGP identifier
320238

Dissertation: Extensions of Lambek calculi: Sequent systems, conservativeness and computational complexity

Mathematics Subject Classification: 03—Mathematical logic and foundations

Advisor 1

Students 0

No students recorded in this snapshot.

Genealogy