An Introduction to Modal Logic : the "Lemmon Notes" / by E.J. Lemmon ; in collaboration with Dana Scott ; edited by Krister Segerberg |
Autore | Lemmon, Edward John |
Pubbl/distr/stampa | Oxford : Blackwell, 1977 |
Disciplina | 160 |
Collana | American philosophical quarterly, Monograph series |
Soggetto non controllato |
Logica
Ricorsività |
ISBN | 0-631-11550-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001024660403321 |
Lemmon, Edward John
![]() |
||
Oxford : Blackwell, 1977 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Classical propositional operators : an exercise in the foundations of logic / by Krister Segerberg |
Autore | Segerberg, Krister |
Pubbl/distr/stampa | Oxford : Clarendon Press, 1982 |
Descrizione fisica | x, 151 p. ; 24 cm. |
Disciplina | 511.3 |
Collana | Oxford logic guides ; 5 |
Soggetto topico | Propositional calculus |
ISBN | 0198531737 |
Classificazione |
AMS 03B05
QA9.3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000744789707536 |
Segerberg, Krister
![]() |
||
Oxford : Clarendon Press, 1982 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
Logicism, intuitionism and formalism : what has become of them? / Sten Lindstrom ... [ e altri ], editors |
Pubbl/distr/stampa | Dordrecht : Springer, c2009 |
Descrizione fisica | ; 24 cm |
Disciplina | 510.1 |
Soggetto non controllato | Matematica - Filosofia |
ISBN | 978-1-4020-8925-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990008846620403321 |
Dordrecht : Springer, c2009 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|