Livre MiitBook

Feasible computational methods in the propositional calculus

Martin Davis, Hilary Putnam

Parution : 2025

Aucune description disponible.

Trouver un professionnelConsulter la ressource externeOuvrir l’assistant de lecture
MiitBook

Livres similaires

Understanding Symbolic LogicEnglish
Parution : 1983

Understanding Symbolic Logic

Virginia Klenk, Markosian

Voir le livre
Discrete Mathematics and Its ApplicationsEnglish
Parution : 1988★ 4.7

Discrete Mathematics and Its Applications

Kenneth H. Rosen

Voir le livre
Mathematical logic
Langue : DE · Parution : 1940★ 0.0

Mathematical logic

Willard Van Orman Quine

Voir le livre
Symbolic LogicEnglish
Parution : 1894★ 5.0

Symbolic Logic

Lewis Carroll

Voir le livre
Symbolic logicEnglish
Parution : 1954

Symbolic logic

Irving Marmer Copi

Voir le livre
Symbolic Logic and The Game of LogicEnglish
Parution : 1958

Symbolic Logic and The Game of Logic

Lewis Carroll

Voir le livre
Diophantine sets over polynomial ringsEnglish
Parution : 1961

Diophantine sets over polynomial rings

Martin Davis

Voir le livre
Hilbert's 10th Problem (Foundations of Computing)English
Parution : 1993

Hilbert's 10th Problem (Foundations of Computing)

Yuri Matiyasevich

Voir le livre