bokomslag ISILC - Logic Conference
Vetenskap & teknik

ISILC - Logic Conference

G H Mller A Oberschelp K Potthoff

Pocket

759:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 651 sidor
  • 1975
An observation on the product of Silver's forcing.- Recursively unsolvable algorithmic problems and related questions reexamined.- Lectures on large cardinal axioms.- Indescribability properties and small large cardinals.- Marginalia to a theorem of Silver.- Computation theories: An axiomatic approach to recursion on general structures.- Closed models and hulls of theories.- Axioms of choice in Morse-Kelley class theory.- First-order logic and its extensions.- Set theory in infinitary languages.- Sur la mode en histoire de la logioue.- The model theory of local fields.- Quantifier elimination.- Intensional semantics for natural language.- On extendability of models of ZF set theory to the models of Kelley-Morse theory of classes.- Many-valued algorithmic logic.- The least ? 2 1 and ? 2 1 reflecting ordinals.- Data types as lattices.

  • Författare: G H Mller, A Oberschelp, K Potthoff
  • Format: Pocket/Paperback
  • ISBN: 9783540075349
  • Språk: Engelska
  • Antal sidor: 651
  • Utgivningsdatum: 1975-12-01
  • Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K