Models, algebras, and proofs : selected papers of the X Latin American Symposium on Mathematical Logic held in Bogotá

Models, algebras, and proofs selected papers of the X Latin American Symposium on Mathematical Logic held in Bogotá

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: Latin American Symposium on Mathematical Logic (BerichterstatterIn)
Weitere Verfasser: Caicedo, Xavier (BerichterstatterIn), Montenegro, Carlos H. (BerichterstatterIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: New York, Basel Dekker c 1999
Schriftenreihe:Lecture notes in pure and applied mathematics 203
Schlagworte:
Logic, Symbolic and mathematical > Congresses > Konferenzschrift > Mathematische Logik > Modelltheorie > Beweistheorie > Mengenlehre
Online Zugang:Verlagsangaben
Inhaltstext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:Includes bibliographical references and index
Beschreibung:XIII, 448 S
ISBN:0824719700
0-8247-1970-0