Search results for "Constructive Logic and Type Theory"
26 results found
Search results

Science & Mathematics
Set Theory, Logic and Their Limitations (English, Moshe Machover)

Sciences, Technology & Medicine
Introduction to Homotopy Type Theory (English, Egbert Rijke)

Language, Linguistics & Writing
Type-Theoretical Grammar (English, Aarne Ranta)

Sciences, Technology & Medicine
Ideologie (English, Peter Tepe)

Action & Adventure
Peers, Pirates, and Persuasion (English, John Logie)

Books
Hapm Workmanship Checklists (English, Construction Audit Ltd)

Computers & Internet
Proof Theory and Logic Programming (English, Dale Miller)

Literature & Fiction
The Making of the Pentecostal Melodrama (English, Katrien Pype)

Literature & Fiction
The Making of the Pentecostal Melodrama (English, Katrien Pype)

Science & Mathematics
Theory Construction and Selection by James T. Cushing

Sciences, Technology & Medicine
Diatom Nanotechnology (English, Dusan Losic)

Science & Mathematics
From Sets And Types to Topology And Analysis by Laura Crosil

Sciences, Technology & Medicine
The Clausal Theory of Types (English, D. A. Wolfram)

Sciences, Technology & Medicine
A Structuralist Theory of Logic (English, Arnold Koslow)

Literature & Fiction
Literary Theory: An Introduction by Terry Eagleton

Cambridge University Press
New Perspectives on Type Identity: The Mental and the Physic

Sciences, Technology & Medicine
Literary Theory (English, Terry Eagleton)

AI & Machine Learning
Modular Neural Networks and Type-2 Fuzzy Systems for Pattern Recognition (English, Patricia Melin)

Science & Mathematics
Set Theory and Its Logic (English, Willard Van Orman Quine)

Science & Mathematics
Varieties of Constructive Mathematics by Bridges

Sciences, Technology & Medicine
Cognitive and Constructive Psychotherapies: Theory, Research and Practice by Michael J. Mahoney β Springer Publishing β Hardcover β 2nd Edition β Clinical Psychology Textbook

Science & Mathematics
On Logic and the Theory of Science (English, Jean Cavailles)

Programming
Logic and Computer Science: Lectures given at the 1st Sessio

Sciences, Technology & Medicine
Making Moral Sense: Beyond Habermas and Gauthier by Logi Gunnarsson | Cambridge Studies in Philosophy | Cambridge Univ Pr | English | Paperback

Literature & Fiction
Literary Theory: An Introduction by Terry Eagleton - Univ of Minnesota Press - Hardcover - Anniversary Edition - Literary Criticism & Theory Book for Students and Scholars

Science & Mathematics
