English Glossary of logic Cited by user Thiagovscoelho on 29 Apr 2024 This is a glossary of logic. Logic is the study of the principles of valid reasoning and argumentation.
English Coq (software) Cited by user Siddharthist on 04 Dec 2023 Coq is an interactive theorem prover first released in 1989. It allows for expressing mathematical assertions, mechanically checks proofs of these assertions, helps find…
English Quotient type Cited by user Caleb Stanford on 13 Sep 2023 In the field of type theory in computer science, a quotient type is a data type which respects a user-defined equality relation.
Serbian Геделове теореме о непотпуности Cited by user KrleNS on 11 Sep 2023 У математичкој логици, Геделове теореме о непотпуности су две теореме о ограничењима формалног система, које је доказао Курт Гедел, 1931.