Deux Esquisses de Logique / by ROSSER J.Barkley |
Autore | Rosser, John Barkley <1907-1989> |
Pubbl/distr/stampa | Paris : Gauthier-Villars, 1955 |
Descrizione fisica | Collection de logique mathematique |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001286540403321 |
Rosser, John Barkley <1907-1989> | ||
Paris : Gauthier-Villars, 1955 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Deux Esquisses de Logique / par J. Barkley Rosser |
Autore | Rosser, John Barkley <1907-1989> |
Pubbl/distr/stampa | Paris : Gauthier-Villars, 1955 |
Descrizione fisica | 65 p. ; 25 cm |
Disciplina | 160 |
Collana | Collection de logique mathématique, Série A |
Soggetto non controllato |
Logica
Ricorsività |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | fre |
Record Nr. | UNINA-990001054720403321 |
Rosser, John Barkley <1907-1989> | ||
Paris : Gauthier-Villars, 1955 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Logic for mathematicians / Barkley J. Rosser |
Autore | Rosser, John Barkley <1907-1989> |
Pubbl/distr/stampa | New York : McGraw-Hill, 1953 |
Descrizione fisica | XIV, 530 p. : ill. ; 24 cm |
Disciplina | 511.3 |
Soggetto non controllato |
Logica matematica
Matematica - Logica |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990000022180403321 |
Rosser, John Barkley <1907-1989> | ||
New York : McGraw-Hill, 1953 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Logic for Mathematicians / by ROSSER Barkley |
Autore | Rosser, John Barkley <1907-1989> |
Pubbl/distr/stampa | New York : McGraw-Hill, 1953 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001286520403321 |
Rosser, John Barkley <1907-1989> | ||
New York : McGraw-Hill, 1953 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Logic for Mathematicians / J. Barkley Rosser |
Autore | Rosser, John Barkley <1907-1989> |
Pubbl/distr/stampa | New York : McGraw-Hill, 1953 |
Descrizione fisica | xiv, 530 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-990002560110403321 |
Rosser, John Barkley <1907-1989> | ||
New York : McGraw-Hill, 1953 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Logic for Mathematicians |
Autore | Rosser, John Barkley <1907-1989> |
Pubbl/distr/stampa | New York : Mc Graw-Hill Book Comp any, 1953 |
Descrizione fisica | XIV, 530 p. ill. 24 cm |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNINA-990000745720403321 |
Rosser, John Barkley <1907-1989> | ||
New York : Mc Graw-Hill Book Comp any, 1953 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Logic for Mathematicians / J. Barkley Rosser |
Autore | Rosser, John Barkley <1907-1989> |
Pubbl/distr/stampa | New York [etc.] : McGraw-Hill, 1953 |
Descrizione fisica | xiv, 530 p. ; 24 cm |
Disciplina | 160 |
Collana | International series in pure and applied mathematics |
Soggetto non controllato |
Logica
Ricorsività |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001054690403321 |
Rosser, John Barkley <1907-1989> | ||
New York [etc.] : McGraw-Hill, 1953 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Many-Valued Logic / J. Barkley Rosser, Atwell R. Turquette |
Autore | Rosser, John Barkley <1907-1989> |
Pubbl/distr/stampa | Amsterdam : North-Holland, 1952 |
Descrizione fisica | 124 p. ; 22 cm |
Disciplina | 160 |
Soggetto non controllato |
Logica
Ricorsività |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001054700403321 |
Rosser, John Barkley <1907-1989> | ||
Amsterdam : North-Holland, 1952 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Many-valued logics / Barkley J. Rosser , Atwell R. Turquette |
Autore | Rosser, John Barkley <1907-1989> |
Pubbl/distr/stampa | Amsterdam : North Holland publishing company, 1952 |
Descrizione fisica | 124 p. ; 22 cm |
Disciplina | 511.3 |
Collana | Studies in logic and the foundations of mathematics |
Soggetto non controllato |
Matematica - Logica
Logica matematica |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNINA-990000022190403321 |
Rosser, John Barkley <1907-1989> | ||
Amsterdam : North Holland publishing company, 1952 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Mathematical theory of rocket flight / By J. Barkley Rosser, Robert R. Newton, George L. Gross. |
Autore | Rosser, John Barkley <1907-1989> |
Pubbl/distr/stampa | New York : McGraw-Hill book company, 1947 |
Descrizione fisica | VIII, 276 p. ill. 24 cm |
Soggetto non controllato | Meccanica del volo spaziale |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNINA-990000252990403321 |
Rosser, John Barkley <1907-1989> | ||
New York : McGraw-Hill book company, 1947 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|