top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
Logic colloquium [e-book] : symposium on logic held at Boston, 1972–73 / edited by Rohit Parikh
Logic colloquium [e-book] : symposium on logic held at Boston, 1972–73 / edited by Rohit Parikh
Pubbl/distr/stampa Berlin : Springer, 1975
Descrizione fisica 1 online resource (iv, 254 p.)
Disciplina 510
Altri autori (Persone) Parikh, Rohit
Collana Lecture Notes in Mathematics, 0075-8434 ; 453
Soggetto topico Mathematics
ISBN 9783540374831
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991002171789707536
Berlin : Springer, 1975
Risorse elettroniche
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Logic Colloquium : Symposium on Logic held at Boston, 1972-73 / edited by Rohit Parikh
Logic Colloquium : Symposium on Logic held at Boston, 1972-73 / edited by Rohit Parikh
Pubbl/distr/stampa Berlin, : Springer, 1975
Descrizione fisica 251 p. ; 24 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
00Bxx - Conference proceedings and collections of articles [MSC 2020]
Soggetto non controllato Functions
Logic
Mathematical logic
Mathematics
Variables
order theory
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0256466
Berlin, : Springer, 1975
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Logic Colloquium : Symposium on Logic held at Boston, 1972-73 / edited by Rohit Parikh
Logic Colloquium : Symposium on Logic held at Boston, 1972-73 / edited by Rohit Parikh
Pubbl/distr/stampa Berlin, : Springer, 1975
Descrizione fisica 251 p. ; 24 cm
Soggetto topico 00Bxx - Conference proceedings and collections of articles [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020]
Soggetto non controllato Functions
Logic
Mathematical logic
Mathematics
Variables
order theory
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00256466
Berlin, : Springer, 1975
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Logic colloquium, '72 : symposium on Logic held at Boston, 1972-1973 / edited by R. Parikh
Logic colloquium, '72 : symposium on Logic held at Boston, 1972-1973 / edited by R. Parikh
Autore Symposium on Logic <1972 ; Boston>
Pubbl/distr/stampa Berlin : Springer-Verlag, 1975
Descrizione fisica 251 p. ; 24 cm
Disciplina 511.3
Altri autori (Persone) Parikh, Rohit
Collana Lecture notes in mathematics, 0075-8434 ; 453
Soggetto topico Mathematical logic and foundations - Congresses
Classificazione AMS 03-06
AMS 03-XX
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991001094489707536
Symposium on Logic <1972 ; Boston>  
Berlin : Springer-Verlag, 1975
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Logics of programs : Brooklyn, june 17-19, 1985, proceedings / edited by Rohit Parikh
Logics of programs : Brooklyn, june 17-19, 1985, proceedings / edited by Rohit Parikh
Pubbl/distr/stampa Berlin ; Heidelberg : Springer-Verlag, ©1985
Descrizione fisica 424 p. : ill. ; 24 cm
Disciplina 005
Collana Lecture notes in computer science
Soggetto non controllato Programmi per computer - Congressi
ISBN 3-540-15648-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990000470560403321
Berlin ; Heidelberg : Springer-Verlag, ©1985
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Proof, computation and agency : logic at the crossroads / edited by Johan van Benthem, Amitabha Gupta, Rohit Parikh
Proof, computation and agency : logic at the crossroads / edited by Johan van Benthem, Amitabha Gupta, Rohit Parikh
Pubbl/distr/stampa Dordrecht : Springer, 2011
Descrizione fisica XXIV, 371 p. ; 24 cm
Collana Synthese library
ISBN 978-94-007-0079-6
978-94-007-0080-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990009381180403321
Dordrecht : Springer, 2011
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui