Eine Termlogik mit Auswahloperator [[electronic resource] /] / von Hans Hermes
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Hermes Hans
|
| Titolo: |
Eine Termlogik mit Auswahloperator [[electronic resource] /] / von Hans Hermes
|
| Pubblicazione: | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1965 |
| Edizione: | 1st ed. 1965. |
| Descrizione fisica: | 1 online resource (III, 55 pp.) |
| Disciplina: | 510 |
| Soggetto topico: | Mathematics |
| Mathematics, general | |
| Note generali: | Bibliographic Level Mode of Issuance: Monograph |
| Nota di contenuto: | Prädikatenlogik mit Auswahloperator -- Termlogik mit Auswahloperator -- Zusammenhang zwischen der Prädikatenlogik und der Termlogik -- Rang, freies Vorkommen einer Variablen, Substitution -- Ein Kalkül für die Termlogik -- Gleichwertigkeit von # und ?. Korrektheit der Regeln -- Übersicht über den Vollständigkeitsbeweis -- Termisomorphismen -- Maximalisierung von M ? -- Verallgemeinerte Substitution -- Erfüllbarkeit von M *. |
| Titolo autorizzato: | Termlogik mit Auswahloperator |
| ISBN: | 3-540-69980-5 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Tedesco |
| Record Nr.: | 996466478703316 |
| Lo trovi qui: | Univ. di Salerno |
| Opac: | Controlla la disponibilità qui |
Serie:
Lecture Notes in Mathematics, . 0075-8434