Skip to content

zetaemme/sec_ord_logic

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

24 Commits
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Second Order Logic

Final seminar for the Logic for CS class. A.A. 2021/2022

About

Final seminar for the Logic for CS class.

Topics

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages