| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNIBAS000011241 |
|
|
Autore |
Ebbinghaus, Heinz-Dieter |
|
|
Titolo |
Finite model theory / Heinz-Dieter Ebbinghaus, Jörg Flum |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlino [etc.] : Springer, c1995 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
XV, 327 p. : ill. ; 24 cm. |
|
|
|
|
|
|
Collana |
|
Perspectives in Mathematical Logic |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Teoria dei modelli |
Logica matematica |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910481819203321 |
|
|
Autore |
Rantzau Henrik <1526-1598.> |
|
|
Titolo |
Catalogus imperatorum, regum ac principum, qui artem astrologicam amarunt, ornarunt et exercuerunt, quibus additæ sunt astrologiceæ quædam prædictiones veræ ac mirabiles omnium temporum ... Adjectus est præterea tractatus de annis climactericis, una cum variis exemplis illustrium virorum qui annis iisdem et præsertim anno 49, 56 et 63 periere ... Collecta ab Henrico Rantzovio ac edita à Theophilo Silvio ac Denuo aucta et locupletata a D. 1580 [[electronic resource]] |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
|
|
|
|
Descrizione fisica |
|
Online resource ([15], 111 s.) |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Reproduction of original in Det Kongelige Bibliotek / The Royal Library (Copenhagen). |
|
|
|
|
|
|
|
| |