Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas /
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 lo...
Saved in:
| Hovedforfatter: | |
|---|---|
| Institution som forfatter: | |
| Format: | Electronisk eBog |
| Sprog: | engelsk |
| Udgivet: |
Cham :
Springer Nature Switzerland : Imprint: Birkhäuser,
2025.
|
| Udgivelse: | 2nd ed. 2025. |
| Serier: | Computer Science Foundations and Applied Logic,
|
| Fag: | |
| Online adgang: | https://doi.org/10.1007/978-3-031-85352-4 |
| Tags: |
Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!
|
Lignende værker
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas /
af: Farmer, William M.
Udgivet: (2023)
af: Farmer, William M.
Udgivet: (2023)
An Introduction to Naïve Set Theory and Its Applications
af: Srivastava, Shashi Mohan
Udgivet: (2024)
af: Srivastava, Shashi Mohan
Udgivet: (2024)
Introduction to Incompleteness From Gödel's Theorems to Forcing and the Continuum Hypothesis /
af: Batzoglou, Serafim
Udgivet: (2024)
af: Batzoglou, Serafim
Udgivet: (2024)
Combinatorial Set Theory With a Gentle Introduction to Forcing /
af: Halbeisen, Lorenz J.
Udgivet: (2025)
af: Halbeisen, Lorenz J.
Udgivet: (2025)
Reasoning and Logic/
af: Angell, Richard B.
Udgivet: (1964)
af: Angell, Richard B.
Udgivet: (1964)
Becoming logical : an introduction to logic / an introduction to logic
af: Churchill, Robert Paul
Udgivet: (1990)
af: Churchill, Robert Paul
Udgivet: (1990)
The power of logic / the power of logic
af: Layman, C. Stephen
Udgivet: (2002)
af: Layman, C. Stephen
Udgivet: (2002)
Introduction to Logic / Introduction to Logic
af: Copi, Irving M.
Udgivet: (2009)
af: Copi, Irving M.
Udgivet: (2009)
Introduction to logic / introduction to logic
af: Copi, Irving M.
Udgivet: (1986)
af: Copi, Irving M.
Udgivet: (1986)
Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15–16, 2023, Revised Selected Papers /
Udgivet: (2024)
Udgivet: (2024)
Taming the Infinities of Concurrency Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday /
Udgivet: (2024)
Udgivet: (2024)
Logic-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings /
Udgivet: (2023)
Udgivet: (2023)
Logic-Based Program Synthesis and Transformation 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9–10, 2024, Proceedings /
Udgivet: (2024)
Udgivet: (2024)
Logic and Engineering of Natural Language Semantics 20th International Conference, LENLS20, Osaka, Japan, November 18–20, 2023, Revised Selected Papers /
Udgivet: (2024)
Udgivet: (2024)
Logic and Engineering of Natural Language Semantics 19th International Conference, LENLS19, Tokyo, Japan, November 19–21, 2022, Revised Selected Papers /
Udgivet: (2023)
Udgivet: (2023)
Coalgebraic Methods in Computer Science 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Proceedings /
Udgivet: (2024)
Udgivet: (2024)
Theoretical Aspects of Computing – ICTAC 2024 21st International Colloquium, Bangkok, Thailand, November 25–29, 2024, Proceedings /
Udgivet: (2025)
Udgivet: (2025)
Unconventional Computation and Natural Computation 20th International Conference, UCNC 2023, Jacksonville, FL, USA, March 13–17, 2023, Proceedings /
Udgivet: (2023)
Udgivet: (2023)
Theoretical Aspects of Computing – ICTAC 2023 20th International Colloquium, Lima, Peru, December 4–8, 2023, Proceedings /
Udgivet: (2023)
Udgivet: (2023)
The Elements of Logic /
af: Barker, Stephen F.
Udgivet: (1974)
af: Barker, Stephen F.
Udgivet: (1974)
Introduction to logic/
af: Copi, Irving M.
Udgivet: (2004)
af: Copi, Irving M.
Udgivet: (2004)
Introduction to logic/
af: Copi, Irving M.
Udgivet: (1990)
af: Copi, Irving M.
Udgivet: (1990)
Limits of Mathematics A Journey Through the Key Areas of Mathematical Logic /
af: Hoffmann, Dirk W.
Udgivet: (2025)
af: Hoffmann, Dirk W.
Udgivet: (2025)
Logic in Computer Science
af: Zhang, Hantao, et al.
Udgivet: (2025)
af: Zhang, Hantao, et al.
Udgivet: (2025)
Theory of Computation Automata, Formal Languages, Computation and Complexity /
af: Chowdhary, K.R
Udgivet: (2025)
af: Chowdhary, K.R
Udgivet: (2025)
Logic and Set Theory /
af: Philip, N.
Udgivet: (1979)
af: Philip, N.
Udgivet: (1979)
Discrete Mathematics
af: Vatsa, B. S.
af: Vatsa, B. S.
Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14–18, 2025, Proceedings /
Udgivet: (2025)
Udgivet: (2025)
An Invitation to Mathematical Logic
af: Marker, David
Udgivet: (2024)
af: Marker, David
Udgivet: (2024)
Recent Trends in Algebraic Development Techniques 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28–30, 2022, Revised Selected Papers /
Udgivet: (2023)
Udgivet: (2023)
Recent Trends in Algebraic Development Techniques 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers /
Udgivet: (2025)
Udgivet: (2025)
Multi-valued Logic for Decision-Making Under Uncertainty
af: Kagan, Evgeny, et al.
Udgivet: (2025)
af: Kagan, Evgeny, et al.
Udgivet: (2025)
Argument/ The Logic of the Fallacies
af: Woods, John
Udgivet: (1982)
af: Woods, John
Udgivet: (1982)
With good reason: an introduction to informal fallacies/
af: Engel, S. Morris
Udgivet: (1982)
af: Engel, S. Morris
Udgivet: (1982)
The elements of logical analysis and inference/
af: Hocutt, Max
Udgivet: (1979)
af: Hocutt, Max
Udgivet: (1979)
Introduction to Fuzzy Sets and Fuzzy Logic
af: Ganesh, M.
Udgivet: (2006)
af: Ganesh, M.
Udgivet: (2006)
Fuzzy theory, Fuzzy logic and Their Applications
af: Bhargava, A. K.
Udgivet: (2013)
af: Bhargava, A. K.
Udgivet: (2013)
Fuzzy Sets and Fuzzy Logic: theory and applications /
af: Yuan, Bo
Udgivet: (1995)
af: Yuan, Bo
Udgivet: (1995)
Fuzzy Sets and Fuzzy Logic Theory and Applications
af: Yuan, Bo
Udgivet: (1995)
af: Yuan, Bo
Udgivet: (1995)
Schaum's outline of theory and problems of set theory and related topics /
af: Lipschutz, Seymour
Udgivet: (1998)
af: Lipschutz, Seymour
Udgivet: (1998)