Search results for "Constructive Logic and Type Theory"
37 results found
Search results
Springer
Type-2 Fuzzy Logic (English, Oscar Castillo | Patricia Melin)
₹5,169
Cambridge University Press
Set Theory, Logic and Their Limitations (English, Moshe Machover)
₹5,865
A K Peters/CRC Press
Logic Colloquium '03 (English, Viggo Stoltenberg-Hansen | Vaananen Jouko | Logic Colloquium)
₹2,357
Cambridge University Press
Introduction to Homotopy Type Theory (English, Egbert Rijke)
₹5,441
Language, Linguistics & Writing
Type-Theoretical Grammar (English, Aarne Ranta)
₹5,332
de Gruyter
Ideologie (English, Peter Tepe)
₹1,874
Parlor Press
Peers, Pirates, and Persuasion (English, John Logie)
₹2,121
Springer
Computation Theory and Logic (English, Egon Börger)
₹5,603
Cambridge University Press
Notes on Logic and Set Theory (English, P. T. Johnstone)
₹5,816
de Gruyter
Korovkin-type Approximation Theory and Its Applications (English, Francesco Altomare | Michele Campiti)
₹4,732
Architecture
Hapm Workmanship Checklists (English, Construction Audit Ltd)
₹5,472
Programming
Proof Theory and Logic Programming (English, Dale Miller)
₹5,113
Royal Society of Chemistry
Diatom Nanotechnology (English, Dusan Losic)
₹4,912
Literature & Fiction
The Making of the Pentecostal Melodrama (English, Katrien Pype)
₹5,072
Literature & Fiction
The Making of the Pentecostal Melodrama (English, Katrien Pype)
₹3,622
Springer
Computational Logic and Proof Theory (English, Georg Gottlob | Alexander Leitsch | Daniele Mundici)
₹5,561
Science & Mathematics
Constructive Mathematics (English, F. Richman)
₹4,505
Physics
Theory Construction and Selection by James T. Cushing
₹5,122
Engineering
A Structuralist Theory of Logic (English, Arnold Koslow)
₹5,451
Cambridge University Press
The Clausal Theory of Types (English, D. A. Wolfram)
₹3,298
Cambridge University Press
The Clausal Theory of Types (English, D. A. Wolfram)
₹5,410
Cambridge University Press
The Character Theory of Finite Groups of Lie Type | by Meino
₹5,470
Harvard University Press
Logic, Logic, and Logic (English, George Boolos | John P. Burgess | Richard Jeffrey)
₹5,938
Philosophy
From Sets And Types to Topology And Analysis by Laura Crosil
₹5,003
de Gruyter
Logic, Construction, Computation (English, Ulrich Berger | Hannes Diener | Peter Schuster)
₹5,337
Oxford University Press
Maximus of Tyre (English, Maximus of Tyre | M. B. Trapp)
₹5,197
Oxford University Press
Body & Soul (English, Loic Wacquant)
₹4,574
College Publications
Proof Theory of N4-Paraconsistent Logics (English, Norihiro Kamide | Heinrich Wansing)
₹2,112
Psychology Press
Theory Construction in Social Personality Psychology (English, Arie W. Kruglanski | E. Tory Higgins)
₹3,695
Cambridge University Press
Making Moral Sense (English, Logi Gunnarsson)
₹1,450
Mathematics
Varieties of Constructive Mathematics by Bridges
₹5,105
Belknap Press
Set Theory and Its Logic (English, Willard Van Orman Quine)
₹4,853
Philosophy
New Perspectives on Type Identity: The Mental and the Physic
₹3,127
Literature & Fiction
Literary Theory: An Introduction by Terry Eagleton
₹1,822
Cambridge University Press
Lectures in Logic and Set Theory (English, George Tourlakis | Tourlakis George | Bela Bollobas)
₹5,233
Cambridge University Press
Basic Simple Type Theory (English, J. Roger Hindley | Roger J. Hindley | C. J. Van Rijsbergen)
₹4,330
Springer
Rational Homotopy Type (English, Wen-Tsün Wu)
₹5,158