Vai al contenuto principale della pagina
Biblioteche
Info
Contattaci
Storico ricerche
Pubblicazioni (Istanze)
Ricerca
Avanzata
Ovunque
Titolo
Nome
Soggetto
mostra
5
10
25
50
risultati per pagina ordinati per
Rilevanza
Titolo
Autore
Anno di pubblicazione
Record Nr.
Vai a Persone/Opere
(Ritorna alla ricerca)
Mathematical Logic / Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas
Info
Relazione altra opera
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
Autore:
Ebbinghaus, Heinz-Dieter
Titolo:
Mathematical Logic / Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas
Pubblicazione:
Cham, : Springer, 2021
Edizione:
3. ed
Descrizione fisica:
ix, 304 p. : ill. ; 24 cm
Soggetto topico:
03-XX - Mathematical logic and foundations [MSC 2020]
03Bxx - General logic [MSC 2020]
03C07 - Basic properties of first-order languages and structures [MSC 2020]
03B10 - Classical first-order logic [MSC 2020]
Soggetto non controllato:
Axiom system logic
Computability logic
First-order language
First-order logic
Graduate mathematical logic
Gödel’s completeness theorem
Herbrand's theorem
Infinitary languages
Lindström’s theorem
Logic computer science
Mathematical logic
Mathematical provability
Model theory logic
Presburger arithmetic
Propositional logic
Second order logic
Trakhtenbrot’s theorem
Weak monadic second order
Altri autori:
Flum, Jörg
Thomas, Wolfgang <1947- >
Titolo autorizzato:
Mathematical logic
Formato:
Materiale a stampa
Livello bibliografico
Monografia
Lingua di pubblicazione:
Inglese
Record Nr.:
VAN0274931
Lo trovi qui:
Univ. Vanvitelli
Localizzazioni e accesso elettronico
https://doi.org/10.1007/978-3-030-73839-6
Opac:
Controlla la disponibilità qui
Serie:
Graduate texts in mathematics New York [etc.] . -Springer ; 291