Thèmes principaux
Publications
Services
Auteurs
Éditions
Shop
LEXIA
Revues
Livres spécialisésLOKISemaphor
Logo
DE | FR
cover
Simple Type Theory

Simple Type Theory

A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Livre (relié)env. 103.00 CHF
disponible dès juin 2025

Informations bibliographiques

juin 2025, Computer Science Foundations and Applied Logic, Anglais
Springer International Publishing
978-3-031-85351-7

Mots-clés

Autres titres de la collection: Computer Science Foundations and Applied Logic

Afficher tout
Proof Assistants and Their Applications in Mathematics and Computer Science
Springer International Publishing, 2025
978-3-031-85189-6
0
disponible dès juillet 2025
Concise Guide to Fault Tree Analysis
Models, Methods and Algorithms
Springer International Publishing, 2025
978-3-031-78286-2
env. 89.00 CHF
disponible dès mars 2025
Multi-Valued Logic for Decision-Making Under Uncertainty
Springer International Publishing, 2025
978-3-031-74761-8
env. 236.00 CHF
disponible dès mars 2025
Category Theory Using Haskell
An Introduction with Moggi and Yoneda
Springer International Publishing, 2024
978-3-031-68537-8
237.00 CHF
livrable dans env. 20-45 jours

Autres titres sur ce thème

Completely Regular Semigroup Varieties
Applications and Advanced Techniques
Springer International Publishing, 2025
978-3-031-48824-5
env. 55.50 CHF
disponible dès février 2025
Category and Measure
Infinite Combinatorics, Topology and Groups
Cambridge Academic, 2025
978-0-521-19607-9
env. 179.00 CHF
disponible dès janvier 2025
Modelling the Energy Transition
Cultures, Visions, Narratives
Springer International Publishing, 2025
978-3-031-69030-3
env. 188.00 CHF
disponible dès mars 2025
Mathematik für das Ingenieurstudium
Aufgaben und Lösungen
Hanser Fachbuch, 2025
978-3-446-47863-3
env. 40.50 CHF
disponible dès juin 2025
The Logic, Philosophy, and History of the Lambda-Calculus
Theory and Applications
Springer International Publishing, 2025
978-3-031-72850-1
179.00 CHF
livrable dans env. 20-45 jours
Discrete Structures
Springer International Publishing, 2025
978-3-031-73433-5
env. 89.00 CHF
disponible dès mars 2025
Discrete Mathematics
A Concise Introduction
Springer International Publishing, 2025
978-3-031-30490-3
56.50 CHF
livrable dans env. 20-45 jours
Introduction to Graph Convexity
An Algorithmic Approach
Springer International Publishing, 2025
978-3-031-84127-9
env. 83.00 CHF
disponible dès juin 2025