Identity area
Reference code
BR SPCLEARQ AMACL-AP-APesq-PITER-IT005
Title
Artigo
Date(s)
- s.d. (Accumulation)
Level of description
Item
Extent and medium
4 folhas, imp.
Context area
Archival history
Immediate source of acquisition or transfer
Content and structure area
Scope and content
Parte de artigo escrito por Carsten Butz e Ieke Moerdijk intitulado "A definability theorem for first order logic".
Appraisal, destruction and scheduling
Accruals
System of arrangement
Conditions of access and use area
Conditions governing access
Consulta livre mediante cadastro do pesquisador
Conditions governing reproduction
Mediante autorização dos Arquivos Históricos/SPCLEARQ
Language of material
- English
Script of material
Language and script notes
Finding aids
Allied materials area
Existence and location of originals
SPCLEARQ
Existence and location of copies
Related units of description
Notes area
Note
FAMACL, AP, Apesq, PITER, Cx. 765, P2, IT005
Alternative identifier(s)
Access points
Subject access points
Place access points
Name access points
- Andrea Maria Altino de Campos Loparic ()
- Carsten Butz (Subject)
- Ieke Moerdijk (Subject)
Genre access points
Description control area
Description identifier
Institution identifier
Rules and/or conventions used
Level of detail
Dates of creation revision deletion
Language(s)
Script(s)
Sources
Archivist's note
BUTZ, Carsten; MOERDIJK, Ieke. An elementary definability theorem for first order logic. The Journal of Symbolic Logic, v. 64, n. 3, p. 1028-1036, 1999.
Não está completo.
Não está completo.