|
|
|
|
| LEADER |
00000cam a2200000 4500 |
| 001 |
EBOOKCENTRAL_ocn922980686 |
| 003 |
OCoLC |
| 005 |
20240329122006.0 |
| 006 |
m o d |
| 007 |
cr |n||||||||| |
| 008 |
151017s1988 riu o 000 0 eng d |
| 040 |
|
|
|a EBLCP
|b eng
|e pn
|c EBLCP
|d OCLCQ
|d AU@
|d OCLCQ
|d LOA
|d OCLCO
|d OCLCF
|d OCLCQ
|d OCLCO
|d OCLCQ
|d OCLCO
|
| 020 |
|
|
|a 9780821876589
|
| 020 |
|
|
|a 0821876589
|
| 035 |
|
|
|a (OCoLC)922980686
|
| 050 |
|
4 |
|a QA9.A1
|b L37 1985eb
|
| 082 |
0 |
4 |
|a 511.3
|
| 049 |
|
|
|a UAMI
|
| 100 |
1 |
|
|a Carnielli, Walter A.
|
| 245 |
1 |
0 |
|a Methods and Applications of Mathematical Logic.
|
| 260 |
|
|
|a Providence :
|b American Mathematical Society,
|c 1988.
|
| 300 |
|
|
|a 1 online resource (264 pages)
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 490 |
1 |
|
|a Contemporary Mathematics ;
|v v. 69
|
| 588 |
0 |
|
|a Print version record.
|
| 505 |
0 |
|
|a ""Contents""; ""Preface""; ""Introduction""; ""The scientific work of A.I. Arruda""; ""Section I � Foundations of set theory""; ""Reflection properties induced by some large cardinal axioms""; ""Taxonometric partitions""; ""Diamonds, large cardinals and ultrafilters""; ""Section II � Algebraic logic""; ""Constantes d'une alg�bre monadique libre sur une alg�bre de Boole et automophismes préservant une partie génératrice de celle-ci""; ""Ordered structures in the description of quantum systems: mathematical progress""; ""Section III � Philosophical aspects of mathematical logic""
|
| 505 |
8 |
|
|a ""Infinities in mathematics and the natural sciences""""The 50th anniversary of Gentzen's thesis""; ""Section IV � Interactions between logic, mathematics and computer science""; ""Logics and pseudogroups""; ""Sets of relational systems as models for stochastic processes""; ""A general framework for semantics for propasotional logics""; ""Formal languages and topological spaces""; ""Automatic theorem proving: an attempt to improve readability of proofs generated by resolution""; ""The downward löwenheim-Skolem theorem for L-structures in Ω-sets""
|
| 505 |
8 |
|
|a ""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""
|
| 590 |
|
|
|a ProQuest Ebook Central
|b Ebook Central Academic Complete
|
| 650 |
|
0 |
|a Logic, Symbolic and mathematical
|v Congresses.
|
| 650 |
|
6 |
|a Logique symbolique et mathématique
|v Congrès.
|
| 650 |
|
7 |
|a Logic, Symbolic and mathematical
|2 fast
|
| 655 |
|
7 |
|a Conference papers and proceedings
|2 fast
|
| 700 |
1 |
|
|a De Alcantara, Luiz Paulo.
|
| 776 |
0 |
8 |
|i Print version:
|a Carnielli, Walter A.
|t Methods and Applications of Mathematical Logic.
|d Providence : American Mathematical Society, ©1988
|z 9780821850763
|
| 830 |
|
0 |
|a Contemporary Mathematics.
|
| 856 |
4 |
0 |
|u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=3113066
|z Texto completo
|
| 936 |
|
|
|a BATCHLOAD
|
| 938 |
|
|
|a ProQuest Ebook Central
|b EBLB
|n EBL3113066
|
| 994 |
|
|
|a 92
|b IZTAP
|
