Euclidis Elementorum lib. 15. accessit 16. De solidorum regularium cuiuslibet intra quodlibet comparatione. Omnes perspicuis demonstrationibus accuratisque scholijs illustrati nunc iterum editi ... auctore Christophoro Clauio Bambergensi ..

• Record Nr.: UNINA990001152150403321
• Autore: Euclides <3. sec. a. C.>
• Pubbl/distr/stampa: Romae : apud Bartholomaeum Grassium, 1589
• Descrizione fisica: 2 v. : ill. ; 8°
• Locazione: MA1
• Collocazione: 211-H-25
• Lingua di pubblicazione: Latino
• Formato: Materiale a stampa
• Livello bibliografico: Monografia

Tariffe ingegneri e architetti / Italo Bona

• Record Nr.: UNISA990000532310203316
• Autore: BONA, Italo
• Pubbl/distr/stampa: Milano : Il sole 24 ore, c2001
• ISBN: 88-324-4362-7
• Edizione: [54. ed]
• Descrizione fisica: XI, 271 p. ; 21 cm
• Collana: Edilizia e urbanistica
• Disciplina: 334.4501282
• Soggetti: Ingegneri - Onorari - Legislazione; Architetti - Onorari - Legislazione
• Collocazione: 334.450 128 2 BON
• Lingua di pubblicazione: Italiano
• Formato: Materiale a stampa
• Livello bibliografico: Monografia

Introduction to higher order categorical logic / J. Lambek, P. J. Scott

• Record Nr.: UNICAMPANIAVAN0056893
• Autore: Lambek, Joachim
• Pubbl/distr/stampa: Cambridge, : Cambridge university, 1988
• ISBN: 978-05-213-5653-4
• Descrizione fisica: X, 293 p. ; 24 cm
• Altri autori (Persone): Scott, Philip J.
• Soggetti: 18-XX - Category theory; homological algebra [MSC 2020]; 03-XX - Mathematical logic and foundations [MSC 2020]; 03F50 - Metamathematics of constructive systems [MSC 2020]; 18B25 - Topoi [MSC 2020]; 03G30 - Categorical logic, topoi [MSC 2020]; 03B40 - Combinatory logic and lambda-calculus [MSC 2020]; 03B16 - Higher-order logic [MSC 2020]; 18D15 - Closed categories (closed monoidal and Cartesian closed categories, etc.) [MSC 2020]; 18A15 - Foundations, relations to logic and deductive systems [MSC 2020]; 03B38 - Type theory [MSC 2020]
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia