Similar to 計算可能性理論

Smn theorem

Ackermann function

Simple set

DPLL algorithm

Algorithm

General recursive function

Twelfth root of two

Annals of Mathematics

Axiom (computer algebra system)

Ba space

Calculus on Manifolds (book)

D-module

ESPACE

Grundzüge der Mengenlehre

Gδ set

Japanese submarine chaser CH-7

15 cm sIG 33 (Sf) auf Panzerkampfwagen I Ausf B

Panzer I

Sturmgeschütz III