Vai al contenuto principale della pagina

The Syntax and Semantics of Infinitary Languages / edited by Jon Barwise



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Titolo: The Syntax and Semantics of Infinitary Languages / edited by Jon Barwise Visualizza cluster
Pubblicazione: Berlin, : Springer, 1968
Descrizione fisica: vi, 270 p. ; 24 cm
Soggetto topico: 68-XX - Computer science [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020]
00B15 - Collections of articles of miscellaneous specific interest [MSC 2020]
Soggetto non controllato: Compactness theorem
Computability theory
Languages
Logic
Mathematical logic
Model theory
Proofs
Syntax
Persona (resp. second.): Barwise, Jon
Titolo autorizzato: Syntax and semantics of infinitary languages  Visualizza cluster
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: VAN0254701
Lo trovi qui: Univ. Vanvitelli
Localizzazioni e accesso elettronico https://doi.org/10.1007/BFb0079679
Opac: Controlla la disponibilità qui
Fa parte di: Lecture notes in mathematics Berlin [etc.] . -Springer ; 72