TY - GEN TY - GEN T1 - Handbook of mathematical logic T2 - Studies in logic and the foundations of mathematics A2 - Barwise, Jon A2 - Keisler, H. J. LA - eng PP - Amsterdam PB - North-Holland YR - 1977 UL - https://kansalliskirjasto.finna.fi/Record/vaari.1511147 NO - Lisäpainokset: 2. pr. 1978. - 4. pr. 1985 - Repr. 1986. - 6. pr. 1991. SN - 0-7204-2285-X SN - 0-444-86388-5 KW - Logic, Symbolic and mathematical. ER -