Grundzuge der Theoretischen Logik / D. Hilbert und W. Ackermann |
Autore | Hilbert, David |
Edizione | [5. Aufl.] |
Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, 1967 |
Descrizione fisica | VIII, 188 p. ; 24 cm |
Disciplina | 160 |
Collana | Die Grundlehren der mathematischen Wissenschaften |
Soggetto non controllato |
Logica
Ricorsività |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ger |
Record Nr. | UNINA-990001007920403321 |
Hilbert, David
![]() |
||
Berlin [etc.] : Springer-Verlag, 1967 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Grundzuge der Theoretischen Logik / die HIL BERT und ACKERMANN |
Autore | Hilbert, David |
Pubbl/distr/stampa | Berlin : Springer-Verlag, 1949 |
Collana | Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001294100403321 |
Hilbert, David
![]() |
||
Berlin : Springer-Verlag, 1949 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Grundzuge der Theoretischen Logik / die HIL BERT und ACKERMANN |
Autore | Hilbert, David |
Pubbl/distr/stampa | Berlin : V.V.J. Springer, 1928 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ger |
Record Nr. | UNINA-990001294110403321 |
Hilbert, David
![]() |
||
Berlin : V.V.J. Springer, 1928 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Grundzüge der theoretischen Logik / von D. Hilbert und W. Ackermann |
Autore | Hilbert, David |
Edizione | [4. Aufl.] |
Pubbl/distr/stampa | Berlin ; Göttingen ; Heidelberg : Springer-Verlag, 1959 |
Descrizione fisica | VIII, 188 p. ; 24 cm |
Altri autori (Persone) | Ackermann, Wilhelm <1896-1962> |
Collana | Die Grundlehren der mathematischen Wissenschaften |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ger |
Record Nr. | UNINA-990007091400403321 |
Hilbert, David
![]() |
||
Berlin ; Göttingen ; Heidelberg : Springer-Verlag, 1959 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Principles of Mathematical Logic / by HILBE RT and ACKERMANN |
Autore | Hilbert, David |
Pubbl/distr/stampa | New York : Chelsea, 1950 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001294120403321 |
Hilbert, David
![]() |
||
New York : Chelsea, 1950 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Principles of Mathematical Logic / by D. Hilbert and W. Ackermann ; translated from the German by Lewis M. Hammond, George G. Leckie, F. Steinhardt ; edited and with notes by Robert E. Luce |
Autore | Hilbert, David |
Pubbl/distr/stampa | New York : Chelsea, 1950 |
Descrizione fisica | xii, 172 p. ; 24 cm |
Disciplina | 160 |
Soggetto non controllato |
Logica
Ricorsività |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001007910403321 |
Hilbert, David
![]() |
||
New York : Chelsea, 1950 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Principles of mathematical logical / D. Hilbert , W. Ackermann |
Autore | Hilbert, David |
Pubbl/distr/stampa | New York : Chelsea, 1950 |
Descrizione fisica | v, 172 p. ; 24 cm |
Disciplina | 511.3 |
Soggetto non controllato | Logica e fondamenti |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990002560230403321 |
Hilbert, David
![]() |
||
New York : Chelsea, 1950 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Solvable cases of the decision problem / by W. Ackermann |
Autore | Ackermann, Wilhelm <1896-1962> |
Pubbl/distr/stampa | Amsterdam : North-Holland Publishing Co., 1968 |
Descrizione fisica | viii, 114 p. ; 23 cm |
Disciplina | 519 |
Collana | Studies in logic and the foundations of mathematics |
Soggetto non controllato |
Ricerca operativa e programmazione
Problemi decisionali |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001128020403321 |
Ackermann, Wilhelm <1896-1962>
![]() |
||
Amsterdam : North-Holland Publishing Co., 1968 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Solvable cases of the decision problem / W. Ackermann |
Autore | Ackermann, Wilhelm <1896-1962> |
Pubbl/distr/stampa | Amsterdam : North-Holland, 1954 |
Descrizione fisica | VIII, 114 p. ; 22 cm |
Disciplina | 160 |
Collana | Studies in logic and the foundations of mathematics |
Soggetto non controllato |
Logica
Ricorsività |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990000950730403321 |
Ackermann, Wilhelm <1896-1962>
![]() |
||
Amsterdam : North-Holland, 1954 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|