رده‌ها book

A First Course in Logic
(2004)

Participants:

گسترش‌ها
Shawn Hedman
Shawn Hedman
(1970 – present)

جستارهای پیونددار computability Proof theory Model theory

تاربرگ‌های پیموده‌شده در این نشست: Saul Kripke ⟩ Ivan Efimovich Orlov ⟩ George Edward Hughes ⟩ Maxwell John Cresswell ⟩ On a Property of the Collection of All Real Algebraic Numbers