Results 121 to 130 of about 1,570 (181)

Directory of the National Academy of Sciences of the United States of America. [PDF]

Proc Natl Acad Sci U S A, 1973
europepmc   +1 more source

National Academy of Sciences October 1, 1980. [PDF]

Proc Natl Acad Sci U S A, 1980
europepmc   +1 more source

NATIONAL ACADEMY OF SCIENCES July 1, 1970. [PDF]

Proc Natl Acad Sci U S A, 1970
europepmc   +1 more source

Members and organization of The National Academy of Sciences. [PDF]

Proc Natl Acad Sci U S A, 1976
europepmc   +1 more source

ALFRED TARSKI 1901–1983

, 2016
openaire   +1 more source

Proceedings of the Tarski Symposium An internat. symposium held to honor Alfred Tarski on the occasion of his 70th birthday

, 1979
Tarski, Alfred 1901-1983, Tarski Symposium 1971 Berkeley, Calif., Henkin, Leon 1921-2006   +2 more
core  

Alfred Tarski [PDF]

, 2013
Alfred Tarski (1901-1983) è unanimemente ritenuto uno dei grandi della storia della logica matematica. I suoi contributi spaziano dalla teoria degli insiemi alla teoria dei modelli, dalla semantica dei linguaggi ai fondamenti della geometria, dall’algebra della logica alla logica dell’algebra. Il profilo che segue cerca di darne resoconto adeguato.
TOFFALORI, Carlo
openaire   +3 more sources

Tarski Alfred

, 1990
Vita, idee, opere di Alfred ...
POLIDORI, FABIO
openaire   +2 more sources

Some of the next articles are maybe not open access.

Related searches:

Alfred Tarski and decidable theories

The Journal of Symbolic Logic, 1988
Any list of Alfred Tarski's achievements would mention his decision procedure for real-closed fields. He proved a number of other less publicized decidability results too. We shall survey these results. After surveying them we shall ask what Tarski had in mind when he proved them.
John Doner, Wilfrid Hodges
openaire   +2 more sources