Proceedings of the Tarski symposium : [...]held to honour Alfred Tarski on the occasion of his seventieth birthsday / Ed. by Leon Henkin [et al...]

Date : 1974

Editeur / Publisher : Providence, R.I. : American Mathematical Society , 1974

Type : Livre / Book

Langue / Language : anglais / English

ISBN : 0-8218-1425-7

Mathématiques

Logique mathématique

Classification Dewey : 511.3

Henkin, Leon (1921-2006) (Directeur de publication / publishing director)

Tarski Symposium (1971 ; Berkeley, CA) (Auteur / author)

University of California (Berkeley, Calif.) (Organisateur de réunion / organizer of meeting)

Association for symbolic logic (Organisateur de réunion / organizer of meeting)

Union internationale de logique, méthodologie et philosophie des sciences (1949-1956) (Organisateur de réunion / organizer of meeting)

Collection : Proceedings of symposia in pure mathematics / Providence : American Mathematical Society , 1959-

Relation : Proceedings of the Tarski symposium : [...]held to honour Alfred Tarski on the occasion of his seventieth birthsday / Ed. by Leon Henkin [et al...] / Providence (R.I.) : American Mathematical Society , 2012