Formal Methods : an Introduction to Symbolic Logic and to Study of Effective Operations in Arithmetic and Logic / Evert W. Beth

• Record Nr.: UNINA990000961220403321
• Autore: Beth, Evert Willem
• Pubbl/distr/stampa: Dordrecht (NL) : Reidel, 1962
• Descrizione fisica: XIV, 170 p. ; 23 cm
• Collana: Synthese Library
• Disciplina: 160
• Locazione: FI1
• Collocazione: 7-031
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia

Ricostruire il Kosovo e i Balcani / S. Bartole...[et al.] ; a cura di Francesco Russo

• Record Nr.: UNISA990001105830203316
• Pubbl/distr/stampa: Napoli : Edizioni Scientifiche Italiane, 2001
• ISBN: 88-495-0342-3
• Descrizione fisica: 200 p. ; 24 cm
• Collana: Globo ; 5
• Disciplina: 949.71
• Soggetti: Kosovo Ricostruzione post-bellica 2000-2001
• Collocazione: III.1. 2875(III A 1144)
• Lingua di pubblicazione: Italiano
• Formato: Materiale a stampa
• Livello bibliografico: Monografia