Robert Mattison · 4 obras en el catálogoObrasGGrace HartiganGrace HartiganFFranz KlineFranz KlineAAn introduction to the model theory of first-order predicateAn introduction to the model theory of first-order predicate logic and a related temporal logicRichard Pousette-Dart
AAn introduction to the model theory of first-order predicateAn introduction to the model theory of first-order predicate logic and a related temporal logic