Pascal and Francis Bibliographic Databases

Help

Permanent link : http://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=12035089

Export

Selection :

Two lambda-Extensions of the Theory of Homogeneous Simple Types as a Second-Order Logic

Author
COCCHIARELLA, N. B
Source

Notre Dame journal of formal logic. 1985, Vol 26, Num 4, pp 377-407 ; ref : 7 réf

CODEN
NDJFAM
ISSN
0029-4527
Scientific domain
Mathematics
Publisher
University of Notre Dame Press, Notre Dame, IN
Publication country
United States
Document type
Article
Language
English
Classification
Francis
519 Philosophy / 519-10 Philosophical logics. Philosophy of language

Discipline
Philosophy
Origin
Inist-CNRS
Database
FRANCIS
INIST identifier
12035089

Sauf mention contraire ci-dessus, le contenu de cette notice bibliographique peut être utilisé dans le cadre d’une licence CC BY 4.0 Inist-CNRS / Unless otherwise stated above, the content of this bibliographic record may be used under a CC BY 4.0 licence by Inist-CNRS / A menos que se haya señalado antes, el contenido de este registro bibliográfico puede ser utilizado al amparo de una licencia CC BY 4.0 Inist-CNRS

Access to the document

Searching the Web