Goto Chapter: Top Ind
 [Top of Book]  [Contents]   [Next Chapter] 

DeductiveSystemForCAP

Deductive system for CAP

2023.03-03

27 March 2023

Sebastian Gutsche
Email: gutsche@mathematik.uni-kl.de
Homepage: http://wwwb.math.rwth-aachen.de/~gutsche/
Address:
Department of Mathematics
University of Kaiserslautern
67653 Kaiserslautern
Germany

Sebastian Posur
Email: sposur@momo.math.rwth-aachen.de
Homepage: https://sebastianpos.github.io
Address:
Sebastian Posur
Lehrstuhl B fuer Mathematik, RWTH Aachen
Templergraben 64
52062 Aachen
Germany

Contents

Index

 [Top of Book]  [Contents]   [Next Chapter] 
Goto Chapter: Top Ind

generated by GAPDoc2HTML