epub @ SUB HH

12Lxx Connections with logic ( 0 Dok. )

• 12L05 Decidability ( 0 Dok. )
• 12L10 Ultraproducts ( 0 Dok. )
• 12L12 Model theory ( 0 Dok. )
• 12L15 Nonstandard arithmetic ( 0 Dok. )
• 12L99 None of the above, but in this section ( 0 Dok. )