dbpedia > boolean

formatos disponibles

Sort by

Date
Popularity

Display

Listado Compacto
List
Mosaic

Find

Dbpediathing

Algebraic logic

In mathematical logic, algebraic logic is the reasoning obtained by manipulating equations with free variables.What is now usually called classical algebraic logic focuses on the identification and al ...

I like 0
Visits 7
Comments 0

Equipo Didactalia

Scientist

Haim Gaifman

Haim Gaifman is a mathematician and philosopher at Columbia University. He received his Ph.D. under Alfred Tarski (on infinite Boolean algebras). He worked on a broad spectrum in mathematical logic (m ...