[PDF] type theory free ebooks download




View results: Search for a phrase:
ISBN Language MD5 Extension

Library Search



Publisher: pdf1 search ay9 Epub M. Scimag standarts
106 books found   ►also search"type theory" in ,
ID Author(s) Title Publisher Year Pages Language Size Extension GET
1523108 Jackson Macor REU work, Chicago 2015
A brief introduction to type theory and the univalence axiom [version 11 Nov 2015 ed.]
2015 15 English 244 kb pdf GET
1123077 Fairouz Kamareddine, Twan Laan, Rob Nederpelt Applied Logic Series 29
A Modern Perspective on Type Theory: From its Origins until Today
1402023340
Springer 2005 377 English 3 Mb djvu GET
535656 Fairouz Kamareddine, Twan Laan, Rob Nederpelt Applied Logic Series 29
A Modern Perspective on Type Theory: From its Origins until Today
1402023359, 9781402023354, 1402023340, 9781402023347
Springer 2005 378 English 6 Mb pdf GET
71716 Peter B Andrews Studies in Logic and the Foundations of Mathematics 37
A Transfinite Type Theory with Type Variables [NH ed.]
North-Holland 1965 154 English 758 kb djvu GET
756635 Peter Bruce Andrews Studies in Logic and the Foundations of Mathematics 37
A Transfinite Type Theory with Type Variables
North-Holland Publishing Company 1965 154 English 4 Mb pdf GET
961676 Jerry M. Mendel (auth.), Alireza Sadeghian, Jerry M. Mendel, Hooman Tahayori (eds.) Studies in Fuzziness and Soft Computing 301
Advances in Type-2 Fuzzy Sets and Systems: Theory and Applications [1 ed.]
978-1-4614-6665-9, 978-1-4614-6666-6
Springer-Verlag New York 2013 262 English 5 Mb pdf GET
911697 P B Andrews Computer science and applied mathematics
An introduction to mathematical logic and type theory : to truth through proof
0120585359, 9780120585359, 0120585367, 9780120585366
Academic Press 1986 321 English 3 Mb djvu GET
635082 Peter B. Andrews Computer Science & Applied Mathematics'',
An Introduction to Mathematical Logic and Type Theory. To Truth Through Proof
0120585367, 9780120585366
Academic Press 1986 318 English 6 Mb djvu GET
946081 Peter B. Andrews (auth.) Applied Logic Series 27
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof [2 ed.]
978-90-481-6079-2, 978-94-015-9934-4
Springer Netherlands 2002 390 English 13 Mb pdf GET
320940 Peter B. Andrews Computer Science and Applied Mathematics
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
0120585359, 9780120585359
AP 1986 318 English 6 Mb djvu GET
270771 Peter B. Andrews Computer Science and Applied Mathematics
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
0120585359
Academic Pr 1986 304 English 26 Mb rar GET
796007 Peter B. Andrews An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Computer Science & Applied Mathematics)
0120585359, 9780120585359
Academic Pr 1986 304 English 10 Mb djvu GET
949925 Samuil D. Eidelman, Anatoly N. Kochubei, Stepan D. Ivasyshen (auth.) Operator Theory: Advances and Applications 152
Analytic Methods in the Theory of Differential and Pseudo-Differential Equations of Parabolic Type [1 ed.]
978-3-0348-9592-7, 978-3-0348-7844-9
Birkhäuser Basel 2004 390 English 13 Mb pdf GET
1307135 Albert L. Lloyd Studies in Language Companion Series 4
Anatomy of the Verb: The Gothic Verb as a Model for a Unified Theory of Aspect, Actional Types, and Verbal Velocity
902723003X, 9789027230034
John Benjamins Publishing Company 1979 361 English 24 Mb pdf GET
1122111 Howe D.J. Automating reasoning in an implementation of constructive type theory [phd thesis ed.] Cornell 1988 276 English 1 Mb djvu GET
911543 J Roger Hindley Cambridge Tracts in Theoretical Computer Science 42
Basic Simple Type Theory
0521465184, 9780521465182
Cambridge University Press 1997 199 English 1 Mb djvu GET
927994 J. Roger Hindley Cambridge Tracts in Theoretical Computer Science 42
Basic Simple Type Theory
0521465184, 9780521465182
Cambridge University Press 1997 199 English 2 Mb pdf GET
417382 Bart Jacobs Studies in Logic and the Foundations of Mathematics 141
Categorical Logic and Type Theory
0444501703, 9780444501707, 9780080528700
Elsevier 1998 778 English 22 Mb djvu GET
396929 Bart Jacobs Studies in Logic and the Foundations of Mathematics 141
Categorical Logic and Type Theory
0444501703
Elsevier 1999 780 English 27 Mb pdf GET
290999 Bart Jacobs Studies in Logic and the Foundations of Mathematics 141
Categorical Logic and Type Theory
0444501703, 9780444501707, 9780080528700
Elsevier 1999 779 English 5 Mb djvu GET
3751 Andrea Asperti, Giuseppe Longo Foundations of Computing Series
Categories, types, and structures. Introduction to category theory for computer scientists
9780262011259, 9780262121453, 026212145X, 0262011255
The MIT Press 1991 295 English 2 Mb pdf GET
456671 Andrea Asperti, Giuseppe Longo Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist (Foundations of Computing Series)
0262011255, 9780262011259
The MIT Press 1991 320 English 2 Mb pdf GET
116462 Alan Robinson and Andrei Voronkov Classical Type Theory, Chapter 15 of Handbook of Automated Reasoning Elsevier 2001 43 English 422 kb pdf GET
857713 Zhaohui Luo International Series of Monographs on Computer Science 11
Computation and reasoning. A type theory for computer science
0198538359
OUP 1994 240 English 2 Mb djvu GET
219017 Zhaohui Luo International Series of Monographs on Computer Science 11
Computation and Reasoning: A Type Theory for Computer Science
9780198538356, 0198538359
Oxford University Press, USA 1994 240 English 10 Mb pdf GET
  ►

If no results, Please search type theory here Again

 Левинтова Э.И. (ред.), Вольф Е.М., Мовшович, Н. А., Будницкая И. А.
María Cristina A. Duarte, Robert Wilson
Georg Morgenstierne
Давыдова Е.В.
Mark Dingemanse
Carla Oliveira, Maria Luisa Coelho
Сакович С.Я.
Сакович С.Л.
Georg Morgenstierne
Georg Morgenstierne
Georg Morgenstierne
Georg Morgenstierne
Britton A.
Donald G. Kyle; Robert B. Fairbanks; Richard Crepeau
Alcantara, Luiz Paulo de (ed.)
Vincent F. Hendricks, Hannes Leitgeb (eds.)
Kropp Dakubu, Mary Esther
Christian-Smith, Juliet; Cooley, Heather; Gleick, Peter H.
Amber Rose Dunai
Jessica Barr
 Премьера, Астрель
Наука
Амфора
Феникс
Мир книги
Главная редакция восточной литературы изд-ва Наука
МЗ Пресс
Прометей
Прометей
“Академия”

Наука
Наука. Главная редакция восточной литературы
Наука. Главная редакция восточной литературы
Наука. Главная редакция восточной литературы
Воениздат
Россельхозиздат
Индрик
Эксмо, Яуза
Новая волна

distribution functionfiber opticmanganeseinformation scienceelectrolytescomputer aided designbiographycost estimatingembedded systemscontrol groupdeveloping countrymagnetic fieldgeneric algorithmtumor necrosis factorrhodiumlearning artificial intelligenceexcitatorycivil engineeringstrength of materialconformal mapannealingwet depositionclassjusticethermal neutronssurface energygeneticsnucleotidesmulti criteria decision analysisprotein kinaseactinsautosomal recessiveelectionsdiffusion coefficientmagnetic fieldfield emissionstochastic processfunctional testinggrain boundarieshrschedulingindexationpoliticsoratorydiscrete event simulationmeasurementsignal transductionland developmentdigital filters