2 options
Eine Termlogik mit Auswahloperator [electronic resource] / von Hans Hermes.
Math/Physics/Astronomy Library QA3 .L28 v.1-999 470,523,830,849:2nd ed. v.1000-1722,1762,1781,1799-2099,2100-2192-2218 2219-2223-2258,2260-2271,2273-2274-2277,2279-2281,2283-2289,2291,2293-2294,2296,2298-2299,2300-2311,2313-2366,2368-2379,2381-2382 2385,2388-2389
Mixed Availability
LIBRA QA3 .L28 Scattered vols.
Mixed Availability
- Format:
- Book
- Author/Creator:
- Hermes, Hans, Author.
- Series:
- Lecture Notes in Mathematics, 0075-8434
- Language:
- German
- Subjects (All):
- Mathematics.
- Mathematics, general.
- Local Subjects:
- Mathematics, general.
- Physical Description:
- 1 online resource (III, 55 pp.)
- Edition:
- 1st ed. 1965.
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1965.
- Language Note:
- German
- Contents:
- 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 *.
- Notes:
- Bibliographic Level Mode of Issuance: Monograph
- ISBN:
- 3-540-69980-5
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.