- Home
- Scienza e Tecnica
- Matematica
- Logica e teoria degli insiemi
- Proof theory and logical complexity
Proof theory and logical complexity
Consulta il libro - Proof theory and logical complexity
| Titolo | Proof theory and logical complexity |
| Autore | Jean-Yves Girard |
| argomento | |
| Collana | Studies in proof theory, 1 |
| Editore | Bibliopolis |
| Formato |
Libro |
| Pagine | 506 |
| Pubblicazione | 1987 |
| ISBN | 9788870881233 |
|
Acquistabile con Carta del docente, Carta Cultura Giovani o Carta della Cultura |
78,00 €
Momentaneamente non disponibile
Catalogo
- Semestre aperto di Medicina, Odontoiatria e Veterinaria
-
Medicina
- Agopuntura e Medicina Tradizionale Cinese
- Allergologia
-
Anatomia patologica
- Anatomia patologica app. gastroenterico
- Anatomia patologica app. respiratorio
- Anatomia patologica app. urinario
- Anatomia patologica chirurgica
- Anatomia patologica ginecologica
- Anatomia patologica pediatrica
- Dermatopatologia
- Ematopatologia
- Endocrinopatologia
- Fegato, pancreas, milza
- Fisiopatologia
- Istopatologia
- Nefropatologia
- Neuropatologia
- Opere di carattere generale
- Patologia apparato locomotore
- Patologia cardio-vascolare
- Patologia O.R.L.
- Patologia oftalmica
- Patologia orale
- Anatomia umana
- Andrologia
-
Anestesia e rianimazione
- Anatomia -fisiologia
- Anestesia cardiaca
- Anestesia locoregionale
- Anestesia ostetrico-ginecologica
- Anestesia pediatrica
- Anestesia toracica
- Farmacologia e anestetici
- Neuroanestesia
- Opere di carattere generale
- Rianimazione
- Terapia del dolore
- Terapia intensiva e critical care
- Urgenze e complicanze in anestesia
- Angiologia
- Bibliografie dizionari
- Biochimica
- Bioetica
- Biologia molecolare
- Biotecnologie e bioingegneria
-
Cardiologia
- Anatomia e fisiologia cardiaca
- Angiografia imaging cardiologico
- Aritmie
- Aterosclerosi
- Cardiochirurgia
- Cardiologia dello sport
- Cardiologia in gravidanza
- Cardiologia interventiva
- Cardiologia pediatrica
- Cardiopatie congenite
- Ecocardiografia
- Elettrocardiografia
- Elettrofisiologia
- Elettrostimolazione
- Emergenze
- Emodinamica
- Farmacologia cardiologica
- Ipertensione
- Ischemia e infarto
- Malattie coronariche
- Opere di carattere generale
- Patologia cardiovascolare
- Riabilitazione cardiologica
- Semeiotica e diagnostica cardiologica
- Terapia
-
Chirurgia
- Anatomia topografica
- Cardiochirurgia
- Chirurgia d'urgenza
- Chirurgia dermatologica
- Chirurgia endocrinologica
- Chirurgia endoscopica
- Chirurgia fegato vie biliari
- Chirurgia gastroenterologica-endoscopia
- Chirurgia geriatrica
- Chirurgia O.R.L.
- Chirurgia odontoiatrica
- Chirurgia oftalmica
- Chirurgia oncologica
- Chirurgia orale e maxillofacciale
- Chirurgia ortopedica
- Chirurgia ostetrico-ginecologica
- Chirurgia pediatrica
- Chirurgia per infermieri
- Chirurgia toracica
- Chirurgia uro-nefrologica
- Chirurgia vascolare
- Criochirurgia
- Fisiopatologia e semeiotica chirurgica
- Laparoscopia
- Microchirurgia
- Neurochirurgia
- Nutrizione parenterale-enterale
- Opere di carattere generale
- Piccola chirurgia
- Terapia chirurgica
- Trapianti
- Chirurgia plastica
- Citologia-istologia
- Cure palliative
-
Dermatologia
- Atlanti
- Chirurgia dermatologica
- Dermatologia geriatrica
- Dermatologia pediatrica
- Dermatologia professionale
- Diagnosi e terapia dermatologica
- Effetti collaterali
- Fototerapia
- Oncologia dermatologica
- Opere di carattere generale
- Patologia
- Terapia dermatologica
- Tricologia-onicopatie
- Ustioni e piaghe da decubito
- Venerologia
- Discipline e Pratiche Orientali
- Divulgazione
-
Ecografia
- Ecografia cardiovascolare
- Ecografia d'urgenza
- Ecografia fegato e vie biliari
- Ecografia gastroenterologica
- Ecografia in nefrologia e urologia
- Ecografia in oftalmologia
- Ecografia muscoloscheletrica
- Ecografia ostetrico ginecologica
- Ecografia pediatrica
- Ecografia toracica
- Imaging in andrologia
- Opere di carattere generale
- Ematologia
- Embriologia
-
Endocrinologia e metabolismo
- Chirurgia endocrinologica
- Diabetologia
- Endocrinologia della riproduzione
- Endocrinologia geriatrica
- Fisiologia e fisiopatologia endocrina
- Imaging endocrino
- Iperlipidemie
- Malattie del pancreas
- Malattie del surrene
- Malattie della tiroide
- Metabolismo calcio-osso
- Neuroendocrinologia
- Obesità
- Opere di carattere generale
- Terapia Endocrina
- Epatologia
- Epidemiologia e statistica medica
- Farmacologia
- Fisica medica
- Fisiologia umana
- Fitoterapia
-
Gastroenterologia
- Anatomia patologica apparato gastroenterico
- Chirurgia gastroenterologica
- Endoscopia
- Fisiologia e fisiopatologia
- Imaging in gastroenterologia
- Immunologia gastroenterica
- Malattie dell'esofago
- Malattie dell'intestino
- Malattie dello stomaco
- Neuro gastroenterologia
- Oncologia gastroenterologica
- Opere di carattere generale
- Proctologia
- Terapia
- Genetica
-
Geriatria e gerontologia
- Anestesia
- Assistenza anziani
- Cardiologia in geriatria
- Chirurgia geriatrica
- Fisiologia e fisiopatologia
- Gastroenterologia geriatrica
- Neurologia geriatrica
- Opere di carattere generale
- Psichiatria geriatrica
- Psicoterapia
- Reumatologia in geriatria
- Riabilitazione geriatrica
- Terapia geriatrica
- Urgenze in geriatria
- Uronefrologia geriatrica
-
Ginecologia
- Anatomia patologica ginecologica
- Chirurgia ginecologica
- Contraccezione
- Emergenze
- Endocrinologia ginecologica
- Fisiologia e fisiopatologia ginecologica
- Ginecologia pediatrica e dell'adolescenza
- Imaging in ginecologia
- Infertilità
- Infezioni ginecologiche
- Menopausa
- Oncologia ginecologica
- Opere di carattere generale
- Senologia
- Tecniche diagnostiche in ginecologia
- Terapia ginecologica
- Urologia ginecologica
- Igiene
- Immunologia
- Infermieristica
- Informatica medica
- Inglese medico
- Legislazione sanitaria
- Malattie infettive
- Management sanitario
- Medicina aereospaziale e delle altitudini
- Medicina d'urgenza
- Medicina del lavoro
- Medicina dello sport
- Medicina di laboratorio
- Medicina e scienze umane
- Medicina estetica
- Medicina interna
- Medicina legale
- Medicina nucleare
- Medicina subacquea
- Medicina termale
- Medicina tropicale
- Medicine complementari
- Micologia
- Microbiologia
- Nefrologia
-
Neurologia
- Alzheimer
- Cefalee
- Demenze
- Disturbi del sonno
- Elettroencefalografia
- Elettromiografia
- Emergenze e urgenze
- Epilessie
- Imaging in neurologia
- Malattie neuromuscolari
- Malattie vascolari del S.N.C
- Neuroanatomia
- Neurobiologia
- Neurochimica e neuroendocrinologia
- Neurochirurgia
- Neurofarmacologia
- Neurofisiologia e neuroanatomia
- Neurologia geriatrica
- Neurologia pediatrica
- Neuroncologia
- Neuropatie periferiche
- Neuropatologia
- Neuroscienze
- Neurotologia
- Neurotraumatologia
- Opere di carattere generale
- Parkinson
- Sclerosi multipla
- Semeiotica diagnostica e terapia
-
Odontoiatria
- Anatomia, embriologia, istologia
- Anestesia odontoiatrica
- Chirurgia
- Chirurgia maxillofacciale
- Diagnosi e terapia
- Endodonzia e conservativa
- Ergonomia e organizzazione
- Estetica
- Farmacologia odontoiatrica
- Gnatologia occlusione
- Igiene orale
- Imaging odontoiatrico
- Immunologia orale
- Implantologia
- Materiali dentali
- Microbiologia orale
- Odontoiatria protesica
- Odontotecnica
- Opere di carattere generale
- Ortodonzia
- Parodontologia
- Patologia orale
- Pedodonzia
- Tecnologie digitali
-
Oftalmologia
- Anatomia e fisiologia dell'occhio
- Anomalie della visione
- Chirurgia oftalmica
- Contattologia
- Glaucoma
- Imaging oftalmico
- Immunologia oftalmica
- Malattie della cornea
- Malattie della retina
- Neuro-oftalmologia
- Oftalmologia pediatrica
- Oncologia oftalmica
- Opere di carattere generale
- Optometria
- Ottica
- Patologia oftalmica
- Semeiotica e diagnostica
- Strabismo
- Terapia oftalmica
- Omeopatia
-
Oncologia
- Biologia molecolare dei tumori
- Cure palliative
- Ematoncologia
- Imaging oncologico
- Nefroncologia
- Neuroncologia
- Oncologia apparato gastroenterico
- Oncologia apparato locomotore
- Oncologia apparato respiratorio
- Oncologia cavo orale
- Oncologia chirurgica
- Oncologia dei tessuti molli
- Oncologia dermatologica
- Oncologia endocrinologica
- Oncologia fegato tiroide pancreas milza
- Oncologia geriatrica
- Oncologia ginecologica
- Oncologia oftalmica
- Oncologia ORL
- Oncologia pediatrica
- Oncologia urologica
- Opere di carattere generale
- Radioterapia
- Sperimentazione e ricerca
- Terapia
-
Ortopedia
- Anatomia patologica apparato locomotore
- Arto Inferiore chirurgia
- Arto Inferiore patologia
- Arto Superiore chirurgia
- Arto superiore imaging
- Arto Superiore patologia
- Auxologia ortopedica
- Biomeccanica
- Chirurgia ortopedica
- Colonna vertebrale - imaging
- Colonna vertebrale - chirurgia
- Imaging ortopedico
- Oncologia apparato locomotore
- Opere di carattere generale
- Ortopedia pediatrica
- Osteosintesi
- Patologia della colonna
- Protesi e bendaggi funzionali
- Riabilitazione ortopedica
- Semeiotica ortopedica
- Terapia
- Traumatologia ortopedica
- Osteopatia e Tecniche di manipolazione
- Ostetricia
- Otorinolaringoiatria
- Parassitologia
- Patologia generale
-
Pediatria
- Alimentazione e dietetica
- Allergologia pediatrica
- Anatomia patologica pediatrica
- Auxologia
- Cardiologia pediatrica
- Chirurgia pediatrica
- Dermatologia pediatrica
- Ematologia
- Emergenze e urgenze
- Endocrinologia e metabolismo
- Gastroenterologia pediatrica
- Imaging in pediatria
- Immunologia pediatrica
- Malattie infettive pediatriche
- Malattie respiratorie in pediatria
- Nefrourologia pediatrica
- Neonatologia
- Neurologia pediatrica
- Oncologia
- Opere di carattere generale
- Ortopedia pediatrica
- Otorinolaringoiatria in pediatria
- Perinatologia
- Pneumologia pediatrica
- Puericultura
- Semeiotica e diagnostica pediatrica
- Terapia pediatrica
-
Pneumologia
- Anatomia patologica apparato respiratorio
- Asma
- Broncologia
- Fisiologia e fisiopatologia polmonare
- Imaging in pneumologia
- Oncologia apparato respiratorio
- Opere di carattere generale
- Patologie professionali apparato respiratorio
- Prove di funzionalità respiratorie
- Riabilitazione respiratoria
- Semeiotica e diagnostica polmonare
- Terapia pneumologica
- Tubercolosi
-
Radiologia
- Anatomia e tecnica radiologica
- Apparecchiature radiologiche
- Diagnostica radiologica
- Imaging fetale
- Imaging in andrologia
- Neuroradiologia
- Opere di carattere generale
- Radiologia apparato gastroenterico
- Radiologia cuore e vasi
- Radiologia d'urgenza
- Radiologia del torace
- Radiologia fegato, pancreas, vie biliari
- Radiologia Interventistica
- Radiologia O.R.L.
- Radiologia odontoiatrica
- Radiologia oftalmica
- Radiologia oncologica
- Radiologia ortopedica
- Radiologia pediatrica
- Radiologia toracica
- Radiologia uronefrologica
- Radioprotezione e radiobiologia
- Radioterapia
- Tecnica radiologica
- Reumatologia
- Ricerca clinica
- Risonanza magnetica
-
Scienza dell'alimentazione
- Alimentazione dello sportivo
- Alimentazione geriatrica
- Alimentazione pediatrica
- Allergie alimentari
- Analisi composti alimentari
- Chimica e biochimica degli alimenti
- Dietologia
- Divulgazione e diete
- Educazione alimentare
- Igiene degli alimenti
- Legislazione
- Microbiologia degli alimenti
- Nutrizione clinica
- Obesità
- Opere di carattere generale
- Tossicologia degli alimenti
- Senologia
- Sport
- Storia della medicina
- Strumentazione e tecnologie biomediche
-
Terapia fisica e riabilitazione
- Chinesiologia chinesiterapia ginnastica medica
- Colonna vertebrale
- Massoterapia e terapie manuali
- Opere di carattere generale
- Pet therapy
- Posturologia
- Riabilitazione cardiologica
- Riabilitazione geriatrica
- Riabilitazione in acqua
- Riabilitazione in ortopedia e traumatologia
- Riabilitazione in ostetricia e ginecologia
- Riabilitazione in otorinolaringoiatria
- Riabilitazione motoria
- Riabilitazione neurologica
- Riabilitazione respiratoria
- Terapia occupazionale
- Test e quiz
- Tomografia computerizzata
- Tossicologia
- Urologia
- Virologia
-
Psicologia e Psichiatria
- Abuso/ maltrattamento
- Adozione/ affido/ separazione
- Analisi transazionale
- Artiterapie
- Attaccamento
- Autismo
- Bioenergetica
- Counseling/relazione d'aiuto
- Criminologia / psichiatria forense
- Devianza
- Dipendenze/Addiction
- Disegno infantile
- Disturbi del comportamento alimentare
- Disturbi del linguaggio/discalculie
- Disturbi dell'apprendimento
- Disturbi dell’attenzione e del comportamento
- Dizionari ed enciclopedie
- Educazione sessuale
- Emdr e psicotraumatologia
- Emergenze psichiatriche
- Esame di stato/ professione
- Etnopsicologia e etnopsichiatria
- Filosofia della mente
- Formazione
- Gender studies
- Gestalt
- Grafologia
- Handicap
- Ipnosi/ ipnoterapia
- Maternità/ gravidanza
- Metodologia della ricerca
- Neuropsicologia
- Orientamento
- Pedagogia e didattica
- Programmazione neurolinguistica
- Psichiatria
- Psichiatria e psicologia geriatrica
- Psichiatria Infantile
- Psico-oncologia
- Psicoanalisi e psicoterapia psicoanalitica
- Psicoanalisi infantile
- Psicodiagnostica e diagnosi psicologica
- Psicodramma
- Psicofarmacologia
- Psicofisiologia/ psicobiologia
- Psicologia analitica
- Psicologia clinica
- Psicologia cognitiva
- Psicologia comparata e animale
- Psicologia del lavoro dell'organizzazione e dei gruppi
- Psicologia del linguaggio
- Psicologia dell'arte
- Psicologia dell'educazione
- Psicologia della comunicazione
- Psicologia della personalità
- Psicologia della religione
- Psicologia delle emergenze
- Psicologia dello sport
- Psicologia dello sviluppo
- Psicologia generale e sperimentale
- Psicologia giuridica
- Psicologia medica
- Psicologia sociale
- Psicomotricità
- Psicopatologia e psicopatologia dello sviluppo
- Psicosomatica
- Psicoterapia cognitivo-comportamentale
- Psicoterapia dell'adolescenza
- Psicoterapia di coppia
- Psicoterapia di gruppo
- Psicoterapia familiare e sistemica
- Psicoterapia individuale
- Psicoterapia infantile
- Psicoterapia strategica
- Psicoterapia transpersonale
- Riabilitazione psichiatrica
- Scienze cognitive
- Self-help e divulgazione
- Servizi psichiatrici e comunità terapeutica
- Servizi sociali
- Sessuologia
- Statistica
- Storia della psichiatria
- Storia della psicoanalisi
- Storia della psicologia
- Test
- Libri per la preparazione ai test d'ingresso universitari
-
Veterinaria
- Agopuntura
- Alimentazione
- Allergologia immunologia
- Allevamenti
- Anatomia comparata
- Anatomia e fisiologia
- Anatomia patologica
- Anestesia
- Animali esotici
- Benessere animale
- Biochimica
- Bioetica
- Biologia marina
- Bovini
- Camelide
- Caprini
- Cardiologia
- Chirurgia
- Citologia istologia embriologia
- Comportamento animale
- Conigli
- Dermatologia
- Diritto e legislazione
- Divulgazione
- Dizionari
- Ematologia
- Embriologia
- Endocrinologia
- Entomologia
- Epidemiologia e statistica
- Equini
- Farmacologia
- Furetti
- Gastroenterologia
- Genetica
- Geriatria
- Igiene e tecnologia alimentare
- Imaging
- Ispezione alimenti
- Laboratorio
- Malattie infettive
- Malattie respiratorie
- Medicina alternativa
- Medicina d'urgenza
- Medicina interna clinica medica
- Microbiologia
- Nefrologia Urologia
- Neonatologia veterinaria
- Neurologia
- Odontoiatria veterinaria
- Oftalmologia
- Oncologia
- Ortopedia
- Ostetricia e ginecologia
- Otorinolaringoiatria
- Ovini
- Parassitologia tossicologia
- Patologia
- Pesci
- Polli
- Primati
- Radiologia
- Ratto
- Rettili anfibi
- Riabilitazione
- Riproduzione
- Roditori
- Ruminanti
- Sanità veterinaria
- Statistica
- Suini
- Tartarughe
- Terapia medica
- Tossicologia
- Uccelli
- Vaccinazioni
- Virologia
- Zoologia
- Zootecnia
-
Scienza e Tecnica
-
Agraria
- Acquacoltura e allevamenti ittici: pratica e tecniche
- Agricoltura sostenibile
- Agricoltura tropicale: pratica e tecniche
- Agronomia e produzione
- Allevamento di animali
- Aziende agricole di piccole dimensioni
- Coltivazioni biologiche
- Controllo degli infestanti
- Ingegneria e materiali agrari
- Opere di carattere generale
- Orticultura
- Scienze agrarie
- Scienze forestali e silvicultura: pratica e tecniche
- Ambiente
- Astronomia
- Biologia e scienze della vita
- Chimica
- Divulgazione Scientifica
- Fisica
-
Informatica
- Certificazioni informatiche
- Comunicazione tra computer e reti
- Data Base
- Hardware
- Internet
- Opere di carattere generale
- Programmazione e sviluppo del software
- Scienza dei calcolatori
- Sicurezza informatica
- Sistemi digitali per la vita quotidiana
- Sistemi operativi
- Software: applicazioni grafiche e multimediali
- Software: applicazioni professionali
-
Ingegneria e tecnologia
- Altre tecnologie e ingegnerie
- Disegno tecnico
- Fonti alternative e rinnovabili
- Ingegneria Ambientale
- Ingegneria biochimica e biotecnologia
- Ingegneria civile: edilizia e materiali
- Ingegneria civile: professioni e competenze
- Ingegneria civile: strade e traffico
- Ingegneria civile: idraulica
- Ingegneria civile: strutturale
- Ingegneria chimica
- Ingegneria elettrica
- Ingegneria elettronica
- Ingegneria meccanica e materiali
- Ingegneria nucleare
- Matematica applicata all'ingegneria
- Nanotecnologie
- Opere di carattere generale
- Processi di conduzione del calore
- Tecnologia dei trasporti
- Tecnologie dei combustibili fossili
- Tecnologie manifatturiere
- Telecomunicazioni e ingegneria delle comunicazioni
-
Matematica
- Algebra
- Calcolo e analisi matematica
- Filosofia della matematica
- Fondamenti della Matematica
- Geometria
- Logica e teoria degli insiemi
- Matematica applicata
- Matematica discreta
- Modelli matematici
- Probabilità e statistica
- Processi stocastici
- Programmazione lineare e teoria dei giochi
- Teoria dei numeri
- Teoria del caos
- Topologia
- Storia della matematica
- Scienze della terra
-
Agraria
-
Architettura e Design
- Riviste di Architettura
- Design
-
Architettura
- Ambiente e paesaggio
- Architettura di interni
- Architettura: pratica professionale
- Conservazione e restauro
- Design degli edifici e architettura sostenibile
- Edifici pubblici
- Edifici religiosi
- Edifici residenziali
- Opere di carattere generale
- Singoli architetti e studi di architettura
- Storia dell'architettura
- Teoria dell'architettura
- Urbanistica
- Professioni legali
- Scelti dai librai
