| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA990000409840403321 |
|
|
Autore |
Perry, Robert H. |
|
|
Titolo |
CD-Rome Perry's Chemical Engineers' Handbook / Robert H. Perry , Don W. Green |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
s.l. : Mc Graw Hill, copyr. 1999 |
|
|
|
|
|
|
|
Locazione |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
2. |
Record Nr. |
UNISA996466861803316 |
|
|
Autore |
Toledo Sue Ann <1940-> |
|
|
Titolo |
Tableau systems for first order number theory and certain higher order theories / / S. A. Toledo |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Germany : , : Springer, , [1975] |
|
©1975 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 1975.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (IV, 348 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Mathematics, , 0075-8434 ; ; 447 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di contenuto |
|
First order number theory -- Second order logic -- Other higher order systems due to Schütte. |
|
|
|
|
|
|
|
| |