Importo totale (1 articolo articoli):
Destinazione ordine:
9783031853517 - Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas di Farmer, William (19 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (19)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni Maggiori informazioni
- Nuovo (17)
- Come nuovo, Ottimo o Quasi ottimo (2)
- Molto buono o Buono (Nessun altro risultato corrispondente a questo perfezionamento)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (Nessun altro risultato corrispondente a questo perfezionamento)
Legatura
- Tutte
- Rilegato (19)
- Brossura (Nessun altro risultato corrispondente a questo perfezionamento)
Ulteriori caratteristiche
- Prima ed. (Nessun altro risultato corrispondente a questo perfezionamento)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (5)
- Non Print on Demand (13)
Lingua (1)
Prezzo
- Qualsiasi prezzo
- Inferiore a EUR 20 (Nessun altro risultato corrispondente a questo perfezionamento)
- EUR 20 a EUR 45 (Nessun altro risultato corrispondente a questo perfezionamento)
- Superiore a EUR 45
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Simple Type Theory : A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 77,63
Spedizione EUR 2,27
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. Second Edition 2025 NO-PA16APR2015-KAP.
-
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 75,51
Spedizione EUR 7,51
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New.
-
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
EUR 76,08
Spedizione EUR 9,95
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New.
-
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 91,34
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Simple Type Theory : A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 91,08
Spedizione EUR 2,27
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 82,45
Spedizione EUR 13,84
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Simple Type Theory : A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 82,23
Spedizione EUR 17,33
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Simple Type Theory : A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 92,94
Spedizione EUR 17,33
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Valutazione del venditore 5 su 5 stelle
EUR 103,74
Spedizione EUR 10,50
Spedito da Irlanda a U.S.A.Quantità: 15 disponibili
Aggiungi al carrelloCondizione: New.
-
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 121,96
Spedizione EUR 14,44
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloHardcover. Condizione: Brand New. 2nd edition. 330 pages. 9.25x6.10x9.21 inches. In Stock.
-
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)
Da: Kennys Bookstore, Olney, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
-
Simple Type Theory : A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Lingua: Inglese
Editore: Springer Nature Switzerland, Springer International Publishing, 2025
ISBN 10: 3031853512 ISBN 13: 9783031853517
EUR 80,24
Spedizione EUR 63,46
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This unique textbook, in contrast to a standard logic text, provides the reader with a logic that can be used in practice to express and reason about mathematical ideas. The book is an introduction to simple type theory, a classical higher-order version of predicate logic that extends first-order logic. It presents a practice-oriented logic called Alonzo that is based on Alonzo Church's formulation of simple type theory known as Church's type theory. Unlike traditional predicate logics, Alonzo admits undefined expressions. The book illustrates using Alonzo how simple type theory is suited ideally for reasoning about mathematical structures and constructing libraries of mathematical knowledge. For this second edition, more than 400 additions, corrections, and improvements have been made, including a new chapter on inductive sets and types.Topics and features: Offers the first book-length introduction to simple type theory as a predicate logic Provides the reader with a logic that is close to mathematical practice Includes a module system for building libraries of mathematical knowledge Employs two semantics, one for mathematics and one for logic Emphasizes the model-theoretic view of predicate logic Presents several important topics, such as definite description and theory morphisms, not usually found in standard logic textbooksAimed at students of mathemati.
-
Simple Type Theory (eng)
Da: Brook Bookstore On Demand, Napoli, NA, Italia
Valutazione del venditore 4 su 5 stelle
EUR 66,23
Spedizione EUR 5,50
Spedito da Italia a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: new. Questo è un articolo print on demand.
-
Simple Type Theory
Lingua: Inglese
Editore: Springer Nature Switzerland, Springer International Publishing Apr 2025, 2025
ISBN 10: 3031853512 ISBN 13: 9783031853517
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
EUR 80,24
Spedizione EUR 23,00
Spedito da Germania a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This unique textbook, in contrast to a standard logic text, provides the reader with a logic that can be used in practice to express and reason about mathematical ideas. The book is an introduction to simple type theory, a classical higher-order version of predicate logic that extends first-order logic. It presents a practice-oriented logic called Alonzo that is based on Alonzo Church's formulation of simple type theory known as Church's type theory. Unlike traditional predicate logics, Alonzo admits undefined expressions. The book illustrates using Alonzo how simple type theory is suited ideally for reasoning about mathematical structures and constructing libraries of mathematical knowledge. For this second edition, more than 400 additions, corrections, and improvements have been made, including a new chapter on inductive sets and types.Topics and features: Offers the first book-length introduction to simple type theory as a predicate logic Provides the reader with a logic that is close to mathematical practice Includes a module system for building libraries of mathematical knowledge Employs two semantics, one for mathematics and one for logic Emphasizes the model-theoretic view of predicate logic Presents several important topics, such as definite description and theory morphisms, not usually found in standard logic textbooksAimed at students of mathemati 352 pp. Englisch.
-
EUR 70,87
Spedizione EUR 48,99
Spedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt.
-
Simple Type Theory (Hardcover)
Lingua: Inglese
Editore: Birkhauser Verlag AG, Basel, 2025
ISBN 10: 3031853512 ISBN 13: 9783031853517
Da: CitiRetail, Stevenage, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 91,60
Spedizione EUR 42,74
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: new. Hardcover. This unique textbook, in contrast to a standard logic text, provides the reader with a logic that can be used in practice to express and reason about mathematical ideas. The book is an introduction to simple type theory, a classical higher-order version of predicate logic that extends first-order logic. It presents a practice-oriented logic called Alonzo that is based on Alonzo Church's formulation of simple type theory known as Church's type theory. Unlike traditional predicate logics, Alonzo admits undefined expressions. The book illustrates using Alonzo how simple type theory is suited ideally for reasoning about mathematical structures and constructing libraries of mathematical knowledge. For this second edition, more than 400 additions, corrections, and improvements have been made, including a new chapter on inductive sets and types.Topics and features: Offers the first book-length introduction to simple type theory as a predicate logic Provides the reader with a logic that is close to mathematical practice Includes a module system for building libraries of mathematical knowledge Employs two semantics, one for mathematics and one for logic Emphasizes the model-theoretic view of predicate logic Presents several important topics, such as definite description and theory morphisms, not usually found in standard logic textbooksAimed at students of mathematics and computing at the graduate or upper-undergraduate level, this book is well suited for mathematicians, computing professionals, engineers, and scientists who need a practical logic for expressing and reasoning about mathematical ideas.William M. Farmer is a Professor in the Department of Computing and Software at McMaster University in Hamilton, Ontario, Canada. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
-
Simple Type Theory
Lingua: Inglese
Editore: Springer Nature Switzerland, Springer International Publishing Apr 2025, 2025
ISBN 10: 3031853512 ISBN 13: 9783031853517
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
EUR 80,24
Spedizione EUR 60,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This unique textbook, in contrast to a standard logic text, provides the reader with a logic that can be used in practice to express and reason about mathematical ideas. The book is an introduction to simple type theory, a classical higher-order version of predicate logic that extends first-order logic.Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 352 pp. Englisch.
-
EUR 71,20
Spedizione EUR 70,00
Spedito da Germania a U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. Simple Type Theory | A Practical Logic for Expressing and Reasoning About Mathematical Ideas | William M. Farmer | Buch | Computer Science Foundations and Applied Logic | xxix | Englisch | 2025 | Springer | EAN 9783031853517 | Verantwortliche Person für die EU: Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.
