Logic and Foundations - Musharof Chy

Musharof Chy

2579 ビュー

11 ヶ月前に作成

Main online source on computability logic - a recently emerged formal theory of computational tasks...

Musharof Chy

2579 ビュー

11 ヶ月前に作成

Introduction to classical logic, including completeness and Löwenheim-Skolem theorems; by Stewart S...

Musharof Chy

2579 ビュー

11 ヶ月前に作成

Hyper-textbook for students by V. Detlovs and K. Podnieks.

Musharof Chy

2579 ビュー

11 ヶ月前に作成

Personal project to rebuild mathematics in a short and rigorous way from a new formalization of set...