bibliographer - Stanford Encyclopedia of Philosophy

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Paraconsistent logic Stanford Encyclopedia of Philosophy [github]

Constructive Mathematics Stanford Encyclopedia of Philosophy [github]

Intuitionistic Logic Stanford Encyclopedia of Philosophy [github]

The Development of Intuitionistic Logic Stanford Encyclopedia of Philosophy [github]

Intuitionism in the Philosophy of Mathematics Stanford Encyclopedia of Philosophy [github]

Axiomatic Theories of Truth Stanford Encyclopedia of Philosophy [github]

Philosophy of Mathematics Stanford Encyclopedia of Philosophy [github]

Hilbert's program Stanford Encyclopedia of Philosophy [github]

Second-order and Higher-order Logic Stanford Encyclopedia of Philosophy [github]

Gødel's Incompleteness Theorems Stanford Encyclopedia of Philosophy [github]

Kurt Gødel Stanford Encyclopedia of Philosophy [github]

The Emergence of First-Order Logic Stanford Encyclopedia of Philosophy [github]

Library Size: 13G (12 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]