Elements of mathematical logic and set theory |
Autore | Kreisel, George |
Pubbl/distr/stampa | Amsterdam : North-Holland, 1967 |
Collana | Studies in logic and the foundations of mathematics |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001266820403321 |
Kreisel, George | ||
Amsterdam : North-Holland, 1967 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Eléments de logique mathématique : théorie des modèles / G. Kreisel, J.L. Krivine |
Autore | Kreisel, George |
Pubbl/distr/stampa | Paris : Dunod, 1967 |
Descrizione fisica | VIII, 212 p. ; 25 cm |
Disciplina |
160
511.3 |
Altri autori (Persone) | Krivine, Jean-Louis |
Collana | Monographies de la Société mathématique de France |
Soggetto non controllato |
Logica
Ricorsività |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | fre |
Record Nr. | UNINA-990001018880403321 |
Kreisel, George | ||
Paris : Dunod, 1967 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Modeltheorie : Eine Einfuhrung in die Mathematische Logik und Grundlagentheorie / der Kreisel et Krivine |
Autore | Kreisel, George |
Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, 1972 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001266830403321 |
Kreisel, George | ||
Berlin [etc.] : Springer-Verlag, 1972 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|