Universal Logic: An Anthology
Forfatter: info mangler
- Format
- Bog, paperback
- Engelsk
- Indgår i serie
Normalpris
kr. 474,95
Medlemspris
kr. 439,95
- Du sparer kr. 35,00
- Fri fragt
-
Leveringstid: 7-9 Hverdage (Sendes fra fjernlager) Forventet levering: 02-03-2026
- Kan pakkes ind og sendes som gave
Beskrivelse
A collection of papers from Paul Hertz to Dov Gabbay - through Tarski, Goedel, Kripke - giving a general perspective about logical systems. These papers discuss questions such as the relativity and nature of logic, present tools such as consequence operators and combinations of logics, prove theorems such as translations between logics, investigate the domain of validity and application of fundamental results such as compactness and completeness. Each of these papers is presented by a specialist explaining its context, import and influence.
Detaljer
- SprogEngelsk
- Sidetal430
- Udgivelsesdato02-04-2012
- ISBN139783034601443
- Forlag Birkhauser Verlag Ag
- FormatPaperback
Størrelse og vægt
10 cm
Anmeldelser
Vær den første!
Log ind for at skrive en anmeldelse.
Findes i disse kategorier...
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Informatik
- Dataarkitektur og logisk design
- Universal Logic: An Anthology
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Programmering / softwareudvikling
- Algoritmer og datastrukturer
- Universal Logic: An Anthology
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Programmering / softwareudvikling
- Programmeringssprog og scriptsprog
- Universal Logic: An Anthology
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Computere og hardware
- Universal Logic: An Anthology
- Fagbøger
- Andre fagbøger
- Matematik og naturvidenskab
- Matematik
- Matematikkens fundament
- Matematisk logik
- Universal Logic: An Anthology