Articoli correlati a What is a Logical System?: 4
Sinossi
This extraordinary collection of papers addresses a fundamental question of logic and computation. "What is a logical system?". With contributions from many world famous researchers, it presents a wide spectrum of views on the problem, reflecting mainstream current approaches to logic and how it is applied.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
- 1: Ian Hacking: What is logic
- 2: Robert Kowalski: Logic without model theory
- 3: John Barwise and Eric Hammer: Diagrams and the concept of logical system
- 4: Johan Van Bentham: General dynamics
- 5: Jim Lambek: What is a deductive system
- 6: Neil Tennent: The transmission of truth and the transmitting of abduction
- 7: D.M. Gabbay: What is a logical system?
- 8: Arnon Avron: What is a logical system?
- 9: C. Crocco and L. Farinas del Cerro: Structure, consequence relation
- 10: Peter Aczel: Schematic consequence
- 11: Kosta Dosen: Logical constants and punctuation marks
- 12: Solomon Feferman: Finitary inductively presented logics
- 13: Sean Matthews: A-theory and its metatheory in FSo
- 14: Narciso Marti-Oliet and Jose Meseguer: General logics and logical frameworks
- 15: I. Nemeti and A. Andreka: General algebraic logic, a perspective on What is Logic?
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreClarendon Press
- Data di pubblicazione1994
- ISBN 10 0198538596
- ISBN 13 9780198538592
- RilegaturaCopertina rigida
- LinguaInglese
- Numero di pagine464
- RedattoreGabbay D. M.
Compra nuovo
Visualizza questo articolo
EUR 206,83
EUR 2,34 per la spedizione in U.S.A.
Destinazione, tempi e costiRisultati della ricerca per What is a Logical System?: 4
Foto dell'editore
What Is a Logical System? (Studies in Logic and Computation)
Editore:
Clarendon Press, 1995
ISBN 10: 0198538596
ISBN 13: 9780198538592
Antico o usato
Rilegato
Prima edizione
Da: Prometei Books, New Rochelle, NY, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: As New. 1st Edition. From publisher's library. Marking on the spine. Bookplate on inside cover and library stamp, otherwise book is new, never read, pages clean and crisp, spine unbroken. 0524B. Codice articolo A0524-022
Quantità: 1 disponibili
Foto dell'editore
What Is a Logical System?
Editore:
Oxford University Press, 1995
ISBN 10: 0198538596
ISBN 13: 9780198538592
Antico o usato
Rilegato
Da: Book Dispensary, Concord, ON, Canada
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Very Good. VERY GOOD hardcover, no marks in text, name on front free endpaper, clean exterior. Book. Codice articolo 140105
Quantità: 1 disponibili
Foto dell'editore
What Is a Logical System?
Editore:
Oxford University Press, Incorporated, 1995
ISBN 10: 0198538596
ISBN 13: 9780198538592
Antico o usato
Rilegato
Da: Better World Books Ltd, Dunfermline, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: Good. Ships from the UK. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages. Codice articolo GRP61307840
Quantità: 1 disponibili
Foto dell'editore
What Is a Logical System? (Studies in Logic and Computation, 4)
Da: HPB-Red, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
hardcover. Condizione: Acceptable. Connecting readers with great books since 1972. Used textbooks may not include companion materials such as access codes, etc. May have condition issues including wear and notes/highlighting. We ship orders daily and Customer Service is our top priority! Codice articolo S_360578949
Quantità: 1 disponibili
Immagini fornite dal venditore
What Is a Logical System? (Studies in Logic and Computation)
Da: Solr Books, Lincolnwood, IL, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: very_good. This books is in Very good condition. There may be a few flaws like shelf wear and some light wear. Codice articolo 5D4WH70001Q9_ns
Quantità: 1 disponibili
Foto dell'editore
What Is a Logical System? (Studies in Logic and Computation)
Da: Fireside Bookshop, Stroud, GLOS, Regno Unito
Valutazione del venditore 5 su 5 stelle
Cloth/Laminated Boards. Condizione: Good. Type: Book N.B. Small plain label to inside front cover. Damage stamp to half title page. Slight fading to spine. Base of spine bumped. Wrinkled laminate to foredge of rear board. Codice articolo 056375
Quantità: 1 disponibili
Immagini fornite dal venditore
What Is a Logical System?
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 640826-n
Quantità: Più di 20 disponibili
Foto dell'editore
What Is a Logical System 4 Studies in Logic and Computation
Print on DemandDa: PBShop.store UK, Fairford, GLOS, Regno Unito
Valutazione del venditore 4 su 5 stelle
HRD. Condizione: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Codice articolo L1-9780198538592
Quantità: Più di 20 disponibili
Foto dell'editore
What Is a Logical System 4 Studies in Logic and Computation
Print on DemandDa: PBShop.store US, Wood Dale, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
HRD. Condizione: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Codice articolo L1-9780198538592
Quantità: Più di 20 disponibili
Foto dell'editore
What Is a Logical System? (Studies in Logic and Computation)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Feb2215580042996
Quantità: Più di 20 disponibili