| Vai direttamente ai contenuti della pagina |

Torna alle ricerche nel catalogo
OPAC - Catalogo Unico Pavese
Le ricerche
Utilità

Risultati ricerca

 



[Omega] bibliography of mathematical logic / edited by Gert H. Muller in collaboration with Wolfgang Lenski. - Berlin [etc.] : Springer-Verlag, © 1987. - 6 v. ; 28 cm.. - (Perspectives in mathematical logic)
Altro titolo: Bibliography of mathematical logic. -
Comprende:
- 1: Classical logic / Wolfgang Rautenberg (editor)
- 2: Non-classical logics / Wolfgang Rautenberg (editor)
- 3: Model theory / Heinz-Dieter Ebbinghaus (editor)
- 4: Recursion theory / Peter G. Hinman (editor)
- 5: Set theory / Andreas R. Blass (editor)
- 6: Proof theory, constructive mathematics / Jane E. Kister, Dirk van Dalen,& Anne S. Troelstra (editors)
Altri autori: Müller, Gert H. | Lenski, Wolfgang
Collana: Perspectives in mathematical logic
Soggetti: Logica matematica - Bibliografie | Logica simbolica - Bibliografie
Classificazione: 016.5113 [D] [Bibliografie e cataloghi. Logica matematica]

Vedi il dettaglio dei record compresi

Tipo: 102 - Monografia moderna | Lingua: ENG | Paese: DE | Data di pubblicazione o produzione: 1987 | Gestione database: EC-PEC | Codice: UFI0015359 | MFN: 1040772

 

 

Tempo di elaborazione: inferiore a 1 secondo
OPAC - Catalogo Unico Pavese - Ultimo aggiornamento: 23-05-2018 05:17:41 - Schede in OPAC:  1854804
EasyWeb Five© 5.6.3 - 1994-2018 è un prodotto Nexus IT

Valid XHTML 1.0 Strict | Valid CSS!| Validazione WAI-AAA WCAG 1.0