Eine Termlogik mit Auswahloperator / Hans Hermes |
Autore | Hermes, Hans |
Pubbl/distr/stampa | Berlin [etc.] : Springer, 1965 |
Descrizione fisica | 42 p. ; 30 cm. |
Disciplina | 511.3 |
Collana | Lecture notes in mathematics |
Soggetto topico | Logica matematica |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ger |
Record Nr. | UNIBAS-000014955 |
Hermes, Hans | ||
Berlin [etc.] : Springer, 1965 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. della Basilicata | ||
|
Einfuhrung in die grundbegriffe und probleme der modernen logik / Gisbert Hasenjaeger |
Autore | HASENJAEGER, Gisbert |
Pubbl/distr/stampa | Munchen : Verlag Karl Alber Freiburg, 1962 |
Descrizione fisica | 201 p. ; 18 cm |
Disciplina | 511.3 |
Soggetto topico | Logica matematica |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ger |
Record Nr. | UNISA-990003333550203316 |
HASENJAEGER, Gisbert | ||
Munchen : Verlag Karl Alber Freiburg, 1962 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Einfuhrung in die symbolische Logik : mit besonderer beruchsichtigung ihrer anwendungen / Carnap Rudolf |
Autore | CARNAP, Rudolf |
Pubbl/distr/stampa | Wien : Springer-Verlag, 1968 |
Descrizione fisica | XII, 241 p. : mit 5 textabbildungen ; 23 cm |
Disciplina | 511.3 |
Soggetto topico | Logica matematica |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ger |
Record Nr. | UNISA-990003220960203316 |
CARNAP, Rudolf | ||
Wien : Springer-Verlag, 1968 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Einführung in die formale logik / Harbeck Gerd |
Autore | HARBECK, Gerd |
Pubbl/distr/stampa | Düsseldorf : August Bagel, 1972 |
Descrizione fisica | VI, 114 p. : 44 fig. ; 23 cm |
Disciplina | 511.3 |
Collana | Kolleg-Text |
Soggetto topico | Logica matematica |
ISBN | 3-513-10810-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ger |
Record Nr. | UNISA-990003222990203316 |
HARBECK, Gerd | ||
Düsseldorf : August Bagel, 1972 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Einführung in die Grundbegriffe und Probleme der modernen Logik / von Gisbert Hasenjaeger |
Autore | Hasenjaeger, Gisbert |
Pubbl/distr/stampa | Freiburg : Alber, 1962 |
Descrizione fisica | 201 p. ; 20 cm. |
Disciplina | 511.3 |
Soggetto topico | Logica matematica |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ger |
Record Nr. | UNISALENTO-991002784449707536 |
Hasenjaeger, Gisbert | ||
Freiburg : Alber, 1962 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Einführung in die operative Logik und Mathematik / von Paul Lorenzen |
Autore | LORENZEN, Paul |
Pubbl/distr/stampa | Berlin, : Springer, 1955 |
Descrizione fisica | 298 p. ; 23 cm. |
Disciplina | 511.3 |
Collana | Die Grundlehrenden der mathematischen Wissenschaften |
Soggetto topico | Logica matematica |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ger |
Record Nr. | UNISA-990005610440203316 |
LORENZEN, Paul | ||
Berlin, : Springer, 1955 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Einfühurung in die logik / Menne Albert |
Autore | MENNE, Albert |
Edizione | [2 auf.] |
Pubbl/distr/stampa | München : Francke Verlag, 1973 |
Descrizione fisica | 129 p. ; 19 cm |
Disciplina | 511.3 |
Collana | Uni-Taschenbücher |
Soggetto topico | Logica matematica |
ISBN | 3-7720-0005-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ger |
Record Nr. | UNISA-990003225050203316 |
MENNE, Albert | ||
München : Francke Verlag, 1973 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Einfühurung in die mathematische logik / Asser G. |
Autore | ASSER, G. |
Pubbl/distr/stampa | Leipzig : Teubner, 1965-1972 |
Descrizione fisica | v. ; 20 cm |
Disciplina | 511.3 |
Collana | Mathematisch naturwissenschaftliche bibliothek |
Soggetto topico | Logica matematica |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ger |
Record Nr. | UNISA-990003220170203316 |
ASSER, G. | ||
Leipzig : Teubner, 1965-1972 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Einfühurung in die mathematische logik / Tarski Alfred |
Autore | TARSKI, Alfred |
Edizione | [4 auf.] |
Pubbl/distr/stampa | Göttingen : Vandenhoeck & Ruprecht, 1971 |
Descrizione fisica | 252 p. ; 23 cm |
Disciplina | 511.3 |
Collana | Moderne mathematik in elementarer darstellung |
Soggetto topico | Logica matematica |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ger |
Record Nr. | UNISA-990003227070203316 |
TARSKI, Alfred | ||
Göttingen : Vandenhoeck & Ruprecht, 1971 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Einfühurung in die sprache der logik / Freudenthal Hans |
Autore | FREUDENTHAL, Hans |
Edizione | [2 verbesserte auflage] |
Pubbl/distr/stampa | München : Oldenbourg, 1968 |
Descrizione fisica | 106 p. : ill. ; 24 cm |
Disciplina | 511.3 |
Soggetto topico | Logica matematica |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ger |
Record Nr. | UNISA-990003222030203316 |
FREUDENTHAL, Hans | ||
München : Oldenbourg, 1968 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|