IniciGrupsConversesMésTendències
Aquest lloc utilitza galetes per a oferir els nostres serveis, millorar el desenvolupament, per a anàlisis i (si no has iniciat la sessió) per a publicitat. Utilitzant LibraryThing acceptes que has llegit i entès els nostres Termes de servei i política de privacitat. L'ús que facis del lloc i dels seus serveis està subjecte a aquestes polítiques i termes.

Temes relacionats

Mathematics (26)

Mathematics Philosophy (26)

Mathematics Philosophy (18)

Language and languages Philosophy (15)

Philosophy (15)

Set theory (14)

Artificial intelligence (10)

Semantics (Philosophy) (10)

Language and languages Philosophy (10)

Mathematics (10)

Philosophy (9)

Predicate (Logic) (8)

Semantics (Philosophy) (7)

Semantics (7)

Wittgenstein, Ludwig, 1889-1951. Tractatus logico-philosophicus (7)

Mathematical recreations (7)

Set theory (6)

Computer science (6)

Science Philosophy (6)

Mathematical recreations (6)

Proof theory (5)

Proposition (Logic) (5)

Proposition (Logic) (5)

Reasoning (5)

Artificial intelligence (4)

Equations, Theory of (4)

Programmed instruction (4)

Reasoning (4)

Probabilities (4)

Ethics (4)

Computer programming (4)

Proof theory (4)

Predicate (Logic) (4)

Equations, Theory of (4)

Thought and thinking (4)

Programmed instruction (4)

Machine theory (3)

Recursive functions (3)

Logic (3)

Programming languages (Electronic computers) (3)

Semantics (3)

Combinatorial analysis Outlines, syllabi, etc (3)

Metamathematics (3)

Language and logic (3)

Language and languages (3)

Probabilities (3)

Algebra, Abstract Outlines, syllabi, etc (3)

Science Philosophy (3)

Computer architecture (2)

Gödel, Kurt (2)

Decidability (Mathematical logic) (2)

Computer science Mathematics (2)

Recursive functions (2)

Science (2)

Critical thinking (2)

Wittgenstein, Ludwig, 1889-1951 Notebooks, sketchbooks, etc (2)

Axiomatic set theory (2)

Inference (2)

Thought and thinking (2)

Research Methodology (2)

Computer science (2)

Combinatorial analysis Outlines, syllabi, etc (2)

Set theory History 20th century (2)

Mathematics History (2)

Bach, Johann Sebastian, 1685-1750 (2)

Gï¿œodel, Kurt (2)

Symmetry (2)

Proof theory Textbooks (2)

Formal languages (2)

Mathematical statistics (2)

Grammar, Comparative and general (2)

Problem solving (2)

Categories (Mathematics) (2)

Turing machines (2)

Arithmetic Foundations History 19th century (2)

Logic (2)

Modality (Logic) (2)

Escher, M. C. (Maurits Cornelis), 1898-1972 (2)

Godel, Kurt (2)

Gï¿œdel, Kurt (2)

Logic, Symbolical and mathematical Textbooks (2)

Infinite (2)

Computable functions (2)

Programming languages (Electronic computers) (2)

Inference (2)

Ethics (2)

Problem-solving (2)

Categories (Mathematics) (2)

Turing's world (2)

Arithmetic Foundations History 20th century (2)

Symmetry (2)

Gèodel, Kurt (2)

Gèodel's theorem (2)

Metamathematics (2)

Infinite (2)

Computable functions (2)

Language and logic (2)

Mathematical statistics (2)

Axiomatic set theory (2)

Grammar, Comparative and general (2)

(mostra'n més)

Tema: Logic, Symbolic and mathematical

Sub-temes

Logic, Symbolic and mathematical (149 obres)

Logic, Symbolic and mathematical Addresses, essays, lectures (2 obres)

Logic, Symbolic and mathematical Addresses, essays, lectures (30 obres)

Logic, Symbolic and mathematical Congresses (1 obres)

Logic, Symbolic and mathematical Congresses (1 obres)

Logic, Symbolic and mathematical History (1 obres)

(mostra-les totes 20 Temes)

Llibres d'aquest tema

( vegeu tots els llibres )

 

Quant a | Contacte | LibraryThing.com | Privadesa/Condicions | Ajuda/PMF | Blog | Botiga | APIs | TinyCat | Biblioteques llegades | Crítics Matiners | Coneixement comú | 154,629,078 llibres! | Barra superior: Sempre visible