1995, ISBN: 9780511893179
eBooks, eBook Download (PDF), Auflage, Linear logic, introduced in 1986 by J.-Y. Girard, is based upon a fine grain analysis of the main proof-theoretical notions of logic. The subject de… More...
lehmanns.de Shipping costs:Download sofort lieferbar. (EUR 0.00) Details... |
ISBN: 9780511893179
Linear logic, introduced in 1986 by J.-Y. Girard, is based upon a fine grain analysis of the main proof-theoretical notions of logic.The subject develops along the lines of denotational s… More...
hive.co.uk No. 9780511893179. Shipping costs:Instock, Despatched same working day before 3pm, zzgl. Versandkosten., plus shipping costs Details... |
ISBN: 9780511893179
Linear logic, introduced in 1986 by J.-Y. Girard, is based upon a fine grain analysis of the main proof-theoretical notions of logic.The subject develops along the lines of denotational s… More...
hive.co.uk No. 9780511893179. Shipping costs:Instock, Despatched same working day before 3pm, zzgl. Versandkosten., plus shipping costs Details... |
1995, ISBN: 9780511893179
eBooks, eBook Download (PDF), Auflage, [PU: Cambridge University Press], [ED: 1], Cambridge University Press, 1995
lehmanns.de Shipping costs:Download sofort lieferbar. (EUR 0.00) Details... |
1995, ISBN: 9780511893179
[ED: 1], Auflage, eBook Download (PDF), eBooks, [PU: Cambridge University Press]
lehmanns.de Shipping costs:Download sofort lieferbar, , Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
1995, ISBN: 9780511893179
eBooks, eBook Download (PDF), Auflage, Linear logic, introduced in 1986 by J.-Y. Girard, is based upon a fine grain analysis of the main proof-theoretical notions of logic. The subject de… More...
ISBN: 9780511893179
Linear logic, introduced in 1986 by J.-Y. Girard, is based upon a fine grain analysis of the main proof-theoretical notions of logic.The subject develops along the lines of denotational s… More...
ISBN: 9780511893179
Linear logic, introduced in 1986 by J.-Y. Girard, is based upon a fine grain analysis of the main proof-theoretical notions of logic.The subject develops along the lines of denotational s… More...
1995, ISBN: 9780511893179
eBooks, eBook Download (PDF), Auflage, [PU: Cambridge University Press], [ED: 1], Cambridge University Press, 1995
1995, ISBN: 9780511893179
[ED: 1], Auflage, eBook Download (PDF), eBooks, [PU: Cambridge University Press]
Bibliographic data of the best matching book
Author: | |
Title: | |
ISBN: |
Details of the book - Advances in Linear Logic
EAN (ISBN-13): 9780511893179
Publishing year: 1995
Publisher: Cambridge University Press
Book in our database since 2009-08-08T23:59:51-04:00 (New York)
Detail page last modified on 2023-10-26T15:03:29-04:00 (New York)
ISBN/EAN: 9780511893179
ISBN - alternate spelling:
978-0-511-89317-9
Alternate spelling and related search-keywords:
Book author: cambridge university press, jean yves girard, jean laurent, regnier
More/other books that might be very similar to this book
Latest similar book:
9780511661761 Sheaf Theory (B. R. Tennison)
- 9780511661761 Sheaf Theory (B. R. Tennison)
- 9780511629150 Advances in Linear Logic (Jean-Yves Girard; Yves Lafont; Laurent Regnier)
- 9780521002707 Surveys in Combinatorics, 2001 (London mathematical society, lecture note series, vol.288) (Hirschfeld, J. W. P.)
- 9780521559614 Advances in Linear Logic (Jean-Yves Girard; Yves Lafont; Laurent Regnier)
- London Mathematical Society Lecture Note (51-100) (50 Book Series) (Parry, William, Tuncel, Selim, Elworthy, K. D. Dynkin, E. B. Lander, Eric S. Robert, Alain, Draxl, P. K. Tricerri, F. Vanhecke, L. Landrock, P. Looijenga, E. J. N. Faith, Carl, Page, Stanley, Mason, R. C. James, G. D. Egghe, L. Kalton, N. J. Peck, N. T. Roberts, James W. Lyndon, Roger C. Schofield, A. H. Erdelyi, Ivan N. Shengwang, Wang, Evans, E. Graham, Griffith, Phillip, Jategaonkar, A. V. Yap, Hian Poh, Thomas, Charles Benedict, Gonshor, Harry, Shirvani, M. Wehrfritz, B. A. F. Crampin, M. Pirani, F. A. E. Cordes, Heinz Otto, Bridges, Douglas, Richman, Fred, Mackenzie, K. Davis, Katherine Michelle, Chang, Yang-Chun, Kechris, Alexander S. Louveau, Alain, Dales, H. G. Woodin, W. H. Karoubi, M. Leruste, C. Happel, Dieter)
< to archive...