1.

Record Nr.

UNIBAS000018304

Autore

Homerus

Titolo

Iliad 6. / Homer ; edited with Introduction, Notes & Vocabulary by R. H. Jordan & J. A. Harrison

Pubbl/distr/stampa

London : Bristol Classical Press, c1985

ISBN

0-86292-149-X

Descrizione fisica

V, 106 p. : ill. ; 21 cm.

Disciplina

883.01

Lingua di pubblicazione

Inglese

Greco antico

Formato

Materiale a stampa

Livello bibliografico

Monografia

2.

Record Nr.

UNINA9910965684703321

Autore

Copi Irving M.

Titolo

The theory of logical types / / Irving M. Copi

Pubbl/distr/stampa

Abingdon, Oxon [England] ; ; New York : , : Routlege, , 2011, c1971

ISBN

1-136-81613-5

1-136-81614-3

1-283-04018-2

9786613040183

0-203-82955-7

Descrizione fisica

1 online resource (66 p.)

Collana

Routledge revivals

Disciplina

160

Soggetti

Type theory

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Description based upon print version of record.

Nota di bibliografia

Includes bibliographical references and index.

Nota di contenuto

1. The paradoxes -- 2. The simple theory of types -- 3. The ramified



theory of types.

Sommario/riassunto

This reissue, first published in 1971, provides a brief historical account of the Theory of Logical Types; and describes the problems that gave rise to it, its various different formulations (Simple and Ramified), the difficulties connected with each, and the criticisms that have been directed against it. Professor Copi seeks to make the subject accessible to the non-specialist and yet provide a sufficiently rigorous exposition for the serious student to see exactly what the theory is and how it works.