zyuzino.loc.city

Logic and Foundations - Musharof Chy

ComputabilityComputational LogicDirectoriesEducationFoundationsGame SemanticsHistoryKnowledge Representation and PlanningMeetingsModel TheoryNonstandard Logics and ExtensionsOnline Discussion GroupsOrganizationsPeopleProof TheoryPublicationsResearch Groups and CentersSet TheorySoftware
Showing 1 - 4 of 4 Businesses

Computability Logic Homepage

Musharof Chy

Musharof Chy

2579 views
Created 11 months ago

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

816 views
Jan 25, 2025

Classical Logic

Musharof Chy

Musharof Chy

2579 views
Created 11 months ago

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

642 views
Jan 25, 2025

Introduction to Mathematical Logic

Musharof Chy

Musharof Chy

2579 views
Created 11 months ago

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

23 views
Jan 25, 2025

Set Theory and Foundations of Mathematics

Musharof Chy

Musharof Chy

2579 views
Created 11 months ago

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

972 views
Jan 25, 2025