Beeld op de omslag

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas /

Toon andere (1) versies

This unique textbook, in contrast to a standard logic text, provides the reader with a logic that actually 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...

Volledige beschrijving

Bewaard in:

Bibliografische gegevens
Hoofdauteur:	Farmer, William M. (Auteur)
Coauteur:	SpringerLink (Online service)
Formaat:	Elektronisch E-boek
Taal:	Engels
Gepubliceerd in:	Cham : Springer International Publishing : Imprint: Birkhäuser, 2023.
Editie:	1st ed. 2023.
Reeks:	Computer Science Foundations and Applied Logic,
Onderwerpen:	Computer science. Mathematical logic. Computational complexity. Reasoning. Set theory. Computer Science Logic and Foundations of Programming. Mathematical Logic and Foundations. Computational Complexity. Formal Reasoning. Set Theory.
Online toegang:	https://doi.org/10.1007/978-3-031-21112-6
Tags:	Voeg label toe Geen labels, Wees de eerste die dit record labelt!

Gelijkaardige items

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas /
door: Farmer, William M.
Gepubliceerd in: (2025)

An Introduction to Naïve Set Theory and Its Applications
door: Srivastava, Shashi Mohan
Gepubliceerd in: (2024)

Introduction to Incompleteness From Gödel's Theorems to Forcing and the Continuum Hypothesis /
door: Batzoglou, Serafim
Gepubliceerd in: (2024)

Combinatorial Set Theory With a Gentle Introduction to Forcing /
door: Halbeisen, Lorenz J.
Gepubliceerd in: (2025)

Reasoning and Logic/
door: Angell, Richard B.
Gepubliceerd in: (1964)

Becoming logical : an introduction to logic / an introduction to logic
door: Churchill, Robert Paul
Gepubliceerd in: (1990)

The power of logic / the power of logic
door: Layman, C. Stephen
Gepubliceerd in: (2002)

Introduction to logic / introduction to logic
door: Copi, Irving M.
Gepubliceerd in: (1986)

Introduction to Logic / Introduction to Logic
door: Copi, Irving M.
Gepubliceerd in: (2009)

Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15–16, 2023, Revised Selected Papers /
Gepubliceerd in: (2024)

The Elements of Logic /
door: Barker, Stephen F.
Gepubliceerd in: (1974)

Introduction to logic/
door: Copi, Irving M.
Gepubliceerd in: (2004)

Introduction to logic/
door: Copi, Irving M.
Gepubliceerd in: (1990)

Taming the Infinities of Concurrency Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday /
Gepubliceerd in: (2024)

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 /
Gepubliceerd in: (2024)

Logic-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings /
Gepubliceerd in: (2023)

Logic-Based Program Synthesis and Transformation 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9–10, 2024, Proceedings /
Gepubliceerd in: (2024)

Logic and Engineering of Natural Language Semantics 20th International Conference, LENLS20, Osaka, Japan, November 18–20, 2023, Revised Selected Papers /
Gepubliceerd in: (2024)

Logic and Engineering of Natural Language Semantics 19th International Conference, LENLS19, Tokyo, Japan, November 19–21, 2022, Revised Selected Papers /
Gepubliceerd in: (2023)

Theoretical Aspects of Computing – ICTAC 2024 21st International Colloquium, Bangkok, Thailand, November 25–29, 2024, Proceedings /
Gepubliceerd in: (2025)

Unconventional Computation and Natural Computation 20th International Conference, UCNC 2023, Jacksonville, FL, USA, March 13–17, 2023, Proceedings /
Gepubliceerd in: (2023)

Theoretical Aspects of Computing – ICTAC 2023 20th International Colloquium, Lima, Peru, December 4–8, 2023, Proceedings /
Gepubliceerd in: (2023)

Limits of Mathematics A Journey Through the Key Areas of Mathematical Logic /
door: Hoffmann, Dirk W.
Gepubliceerd in: (2025)

Logic and Set Theory /
door: Philip, N.
Gepubliceerd in: (1979)

Logic in Computer Science
door: Zhang, Hantao, et al.
Gepubliceerd in: (2025)

Discrete Mathematics
door: Vatsa, B. S.

Argument/ The Logic of the Fallacies
door: Woods, John
Gepubliceerd in: (1982)

The elements of logical analysis and inference/
door: Hocutt, Max
Gepubliceerd in: (1979)

With good reason: an introduction to informal fallacies/
door: Engel, S. Morris
Gepubliceerd in: (1982)

Theory of Computation Automata, Formal Languages, Computation and Complexity /
door: Chowdhary, K.R
Gepubliceerd in: (2025)

Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14–18, 2025, Proceedings /
Gepubliceerd in: (2025)

Recent Trends in Algebraic Development Techniques 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28–30, 2022, Revised Selected Papers /
Gepubliceerd in: (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 /
Gepubliceerd in: (2025)

An Invitation to Mathematical Logic
door: Marker, David
Gepubliceerd in: (2024)

Thinking Logically : Basic Concepts for Reasoning /
door: Freeman, James B.
Gepubliceerd in: (1988)

Multi-valued Logic for Decision-Making Under Uncertainty
door: Kagan, Evgeny, et al.
Gepubliceerd in: (2025)

Introduction to Fuzzy Sets and Fuzzy Logic
door: Ganesh, M.
Gepubliceerd in: (2006)

Fuzzy theory, Fuzzy logic and Their Applications
door: Bhargava, A. K.
Gepubliceerd in: (2013)

Schaum's outline of theory and problems of set theory and related topics /
door: Lipschutz, Seymour
Gepubliceerd in: (1998)

Fuzzy Sets and Fuzzy Logic: theory and applications /
door: Yuan, Bo
Gepubliceerd in: (1995)