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 68,24
EUR 8,01 per la spedizione da Regno Unito a Italia
Destinazione, tempi e costiRisultati della ricerca per Mathematical Logic and Computation
Foto dell'editore
MATHEMATICAL LOGIC AND COMPUTATION
Da: Speedyhen, London, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: NEW. Codice articolo NW9781108478755
Quantità: 2 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
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
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
Foto dell'editore
Mathematical Logic and Computation
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. Codice articolo 26395234905
Quantità: 1 disponibili
Foto dell'editore
Mathematical Logic and Computation
Print on DemandDa: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Brand New. 450 pages. 10.00x7.00x1.13 inches. In Stock. This item is printed on demand. Codice articolo __1108478751
Quantità: 1 disponibili
Immagini fornite dal venditore
Mathematical Logic and Computation
Da: moluna, Greven, Germania
Valutazione del venditore 4 su 5 stelle
Gebunden. Condizione: New. 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 mathematic. Codice articolo 578960947
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: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 402223494
Quantità: 1 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