| 000 -LEADER |
|---|
| fixed length control field |
02344nmm a2200193Ia 4500 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
230306s9999||||xx |||||||||||||||||und|| |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9780821876589 (online) |
| 245 #0 - TITLE STATEMENT |
|---|
| Title |
Methods and applications of mathematical logic : |
| Remainder of title |
proceedings of the VII Latin American Symposium on Mathematical Logic held July 29August 2, 1985 |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. |
|---|
| Place of publication, distribution, etc. |
Providence, R.I. : |
| Name of publisher, distributor, etc. |
American Mathematical Society, |
| Date of publication, distribution, etc. |
c1988 |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (xi, 250 p.) |
| 490 ## - SERIES STATEMENT |
|---|
| Series statement |
Contemporary mathematics |
| Volume/sequential designation |
v. 69 |
| International Standard Serial Number |
10983627 |
| 500 ## - GENERAL NOTE |
|---|
| General note |
Sponsored by the Sociedade Brasileira de Logica, Sociedade Brasileira de Matematica, and the Association for Symbolic Logic. |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc. note |
Includes bibliographies. |
| 505 ## - FORMATTED CONTENTS NOTE |
|---|
| Title |
The scientific work of A. I. Arruda ; Reflection properties induced by some large cardinal axioms ; Taxonometric partitions ; Diamonds, large cardinals, and ultrafilters ; Constantes d'une algebre monadique libre sur une algebre de Boole et automorphismes preservant une partie generatrice de celleci ; Ordered structures in the description of quantum systems: mathematical progress ; Infinities in mathematics and the natural sciences ; The 50th anniversary of Gentzen's thesis ; Logics and pseudogroups ; Sets of relational systems as models for stochastic processes ; A general framework for semantics for propositional logics ; Formal languages and topological spaces ; Automatic theorem proving: an attempt to improve readability of proofs generated by resolution ; The downward LowenheimSkolem theorem for |
| -- |
|
| -- |
tructures in |
| -- |
Omega |
| -- |
ets ; The derivative of truth in ukasiewicz sentential calculus ; Equivalence relations on lattices and the complexity of the theory of permutations which commute ; Problem solving by interpretation of theories |
| Statement of responsibility |
Newton C A da Costa and Luiz Paulo de Alcantara ; Carlos A Di Prisco and Wiktor Marek ; A Ehrenfeucht M Foreman and J Malitz ; Akihiro Kanamori ; Marcel Guillaume ; Luisa Iturrioz ; Jens Erik Fenstad ; Andres R Raggio ; X Caicedo and AM Sette ; Rolando Chuaqui ; Richard L Epstein ; Jorg Flum ; Edward Hermann Haeusler ; F Miraglia ; Daniele Mundici ; Jacques Stern ; Paulo A S Veloso |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Logic, Symbolic and mathematical |
| 700 ## - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Alcantara Luiz Paulo de |
| 700 ## - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Carnielli Walter A |
| 856 ## - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="http://www.ams.org/conm/069/">http://www.ams.org/conm/069/</a> |
