Articoli correlati a Mathematical Logic and Computation
Sinossi
A thorough introduction to the fundamental methods and results in mathematical logic, and its foundational role in computer science.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Informazioni sull?autore
Jeremy Avigad is Professor in the Department of Philosophy and the Department of Mathematical Sciences at Carnegie Mellon University. His research interests include mathematical logic, formal verification, automated reasoning, and the philosophy and history of mathematics. He is the Director of the Charles C. Hoskinson Center for Formal Mathematics at Carnegie Mellon University.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Compra nuovo
Visualizza questo articolo
EUR 83,65
EUR 2,27 per la spedizione in U.S.A.
Destinazione, tempi e costiRisultati della ricerca per Mathematical Logic and Computation
Immagini fornite dal venditore
Mathematical Logic and Computation
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 44368639-n
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Mathematical Logic and Computation (Hardcover)
Editore:
Cambridge University Press, Cambridge, 2022
ISBN 10: 1108478751
ISBN 13: 9781108478755
Nuovo
Rilegato
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: new. Hardcover. This new book on mathematical logic by Jeremy Avigad gives a thorough introduction to the fundamental results and methods of the subject from the syntactic point of view, emphasizing logic as the study of formal languages and systems and their proper use. Topics include proof theory, model theory, the theory of computability, and axiomatic foundations, with special emphasis given to aspects of mathematical logic that are fundamental to computer science, including deductive systems, constructive logic, the simply typed lambda calculus, and type-theoretic foundations. Clear and engaging, with plentiful examples and exercises, it is an excellent introduction to the subject for graduate students and advanced undergraduates who are interested in logic in mathematics, computer science, and philosophy, and an invaluable reference for any practicing logician's bookshelf. This book presents mathematical logic from the syntactic point of view, with an emphasis on aspects that are fundamental to computer science. It is an excellent introduction for graduate students and advanced undergraduates interested in logic in mathematics, computer science, and philosophy, and an invaluable reference for professional logicians. This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Codice articolo 9781108478755
Quantità: 1 disponibili
Foto dell'editore
Mathematical Logic and Computation
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo I-9781108478755
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Mathematical Logic and Computation
Editore:
Cambridge University Press, 2022
ISBN 10: 1108478751
ISBN 13: 9781108478755
Antico o usato
Rilegato
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 44368639
Quantità: Più di 20 disponibili
Foto dell'editore
Mathematical Logic and Computation
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9781108478755_new
Quantità: Più di 20 disponibili
Foto dell'editore
Mathematical Logic and Computation
Editore:
Cambridge University Press 2022-11-24, 2022
ISBN 10: 1108478751
ISBN 13: 9781108478755
Nuovo
Rilegato
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 4 su 5 stelle
Hardcover. Condizione: New. Codice articolo 6666-GRD-9781108478755
Quantità: 2 disponibili
Immagini fornite dal venditore
Mathematical Logic and Computation
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 44368639-n
Quantità: Più di 20 disponibili
Foto dell'editore
Mathematical Logic and Computation
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Valutazione del venditore 5 su 5 stelle
Condizione: New. 2022. New. Hardcover. . . . . . Codice articolo V9781108478755
Quantità: 2 disponibili
Immagini fornite dal venditore
Mathematical Logic and Computation
Editore:
Cambridge University Press, 2022
ISBN 10: 1108478751
ISBN 13: 9781108478755
Antico o usato
Rilegato
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 44368639
Quantità: Più di 20 disponibili
Foto dell'editore
Mathematical Logic and Computation
Print on DemandDa: THE SAINT BOOKSTORE, Southport, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 1180. Codice articolo C9781108478755
Quantità: Più di 20 disponibili