Il metallo nel Medioevo : tecniche, strutture, manufatti / Francesca Zagari ; con appendice di Vasco La Salvia

• Record Nr.: UNICAMPANIAVAN0050631
• Autore: Zagari, Francesca
• Pubbl/distr/stampa: Roma, : Palombi, [2005]
• ISBN: 88-7621-530-1
• Descrizione fisica: 232 p. : ill. ; 24 cm.
• Lingua di pubblicazione: Italiano
• Formato: Materiale a stampa
• Livello bibliografico: Monografia

Active Surveillance for Localized Prostate Cancer : A New Paradigm for Clinical Management / Laurence Klotz editor

• Record Nr.: UNICAMPANIAVAN00128662
• Pubbl/distr/stampa: Cham, : Humana Press, 2018
• ISBN: 978-33-19-62709-0
• Edizione: [Second Edition]
• Descrizione fisica: xii, 250 p. ; 24 cm
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia

Advances in proof theory / Reinhard Kahle, Thomas Strahm, Thomas Studer editors

• Record Nr.: UNICAMPANIAVAN00114364
• Pubbl/distr/stampa: [Basel], : Birkhäuser, : Springer, 2016
• Titolo uniforme: Advances in proof theory
• Descrizione fisica: XII, 425 p. : ill. ; 24 cm
• Soggetti: 03B20 - Subsystems of classical logic (including intuitionistic logic) [MSC 2020]; 03B30 - Foundations of classical theories (including reverse mathematics) [MSC 2020]; 03B35 - Mechanization of proofs and logical operations [MSC 2020]; 03F03 - Proof theory, general (including proof-theoretic semantics) [MSC 2020]; 03F05 - Cut-elimination and normal-form theorems [MSC 2020]; 03F15 - Recursive ordinals and ordinal notations [MSC 2020]; 03F50 - Metamathematics of constructive systems [MSC 2020]; 68V15 - Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) [MSC 2020]
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia