Résultat de la recherche - Livres - CeDe.ch

Prendre contact avec CeDe

Vous avez des questions, des conseils, des compliments ou des critiques dont vous souhaitez nous faire part? Vos commentaires nous aident à améliorer CeDe.ch. Nous serons heureux de recevoir vos messages et nous répondons à tous les E-mails, rapidement, de manière professionnelle et avec plaisir. Merci beaucoup!

Ce site utilise des cookies. Lisez notre Déclaration de protection des données pour en savoir plus sur la façon dont nous utilisons les cookies et comment vous pouvez modifier vos préférences. OK

Meilleur service et livraison gratuite depuis 1997

Liste des désirs

Résultat de la recherche

Dov M. Gabbay, Dov M Gabbay, Dov M. Gabbay, Dov M. (Augustus De Morgan Professor Emeri Gabbay, Dov M. (Augustus De Morgan Professor Emeritus of Logic at the Group of Logic Gabbay, Dov M. (King's College London Gabbay... - Quantification in Nonclassical Logic

Dov M. Gabbay, Dov M Gabbay, Dov M. Gabbay, Dov M. (Augustus De Morgan Professor Emeri Gabbay, Dov M. (Augustus De Morgan Professor Emeritus of Logic at the Group of Logic Gabbay, Dov M. (King's College London Gabbay... Quantification in Nonclassical Logic Anglais 09.06.2009 Livre Relié Fr. 275.00 1-3 semaines (ne peut pas être livré de suite)

Jaap van Oosten, Jaap van Oosten, Jaap van Oosten, Jaap (Utrecht University van Oosten - Realizability

Jaap van Oosten, Jaap van Oosten, Jaap van Oosten, Jaap (Utrecht University van Oosten Realizability Anglais 06.03.2008 Livre Relié Fr. 215.00 1-3 semaines (ne peut pas être livré de suite)

R. Fraisse, R. (C/o Le Cheverny - 1 Fraisse, Roland Fraisse, Fraisse R. - Theory of Relations

R. Fraisse, R. (C/o Le Cheverny - 1 Fraisse, Roland Fraisse, Fraisse R. Theory of Relations Anglais 15.12.2000 Livre Relié Fr. 240.00 1-3 semaines (ne peut pas être livré de suite)

Lev Beklemishev, D. van Dalen, D van Dalen, D. van Dalen, Dirk Van Dalen, A S Troelstra... - Provability, Computability and Reflection

Lev Beklemishev, D. van Dalen, D van Dalen, D. van Dalen, Dirk Van Dalen, A S Troelstra... Provability, Computability and Reflection Anglais 01.01.1988 Livre de poche Fr. 85.00 1-3 semaines (ne peut pas être livré de suite)

Nikolaos Galatos, Nikolaos (School of Information Science Galatos, Peter (Chapman University Jipsen, Tomasz (Australian National University Kowalski, Hiroakira (Japan Advanced Institute of Science and Technology Ono - Residuated Lattices: An Algebraic Glimpse At Substructural Logics

Nikolaos Galatos, Nikolaos (School of Information Science Galatos, Peter (Chapman University Jipsen, Tomasz (Australian National University Kowalski, Hiroakira (Japan Advanced Institute of Science and Technology Ono Residuated Lattices: An Algebraic Glimpse At Substructural Logics 25.04.2007 Livre Relié Fr. 185.00 1-3 semaines (ne peut pas être livré de suite)

R. (University College Hirsch, robin Hirsch, I. (Imperial College Hodkinson, Ian Hodkinson - Relation Algebras By Games

R. (University College Hirsch, robin Hirsch, I. (Imperial College Hodkinson, Ian Hodkinson Relation Algebras By Games Anglais 15.08.2002 Livre Relié Fr. 195.00 1-3 semaines (ne peut pas être livré de suite)

D. M. Gabbay, Dov M. Gabbay, Dov M. (King's College London Gabbay, A. Kurucz, A. (King's College Kurucz, A. (King''s College Kurucz... - Many-Dimensional Modal Logics: Theory and Applications

D. M. Gabbay, Dov M. Gabbay, Dov M. (King's College London Gabbay, A. Kurucz, A. (King's College Kurucz, A. (King''s College Kurucz... Many-Dimensional Modal Logics: Theory and Applications Anglais 21.10.2003 Livre Relié Fr. 215.00 1-3 semaines (ne peut pas être livré de suite)

S. R. Buss, Samuel R. Buss, S. R. Buss, S.R. Buss, S.R. (Dept. of Mathematics and Computer Science Buss - Handbook of Proof Theory

S. R. Buss, Samuel R. Buss, S. R. Buss, S.R. Buss, S.R. (Dept. of Mathematics and Computer Science Buss Handbook of Proof Theory Anglais 09.07.1998 Livre Relié Fr. 219.00 1-3 semaines (ne peut pas être livré de suite)

B. Jacobs, B. (Computing Science Institute Jacobs, Bart Jacobs, Jacobs B. - Categorical Logic and Type Theory

B. Jacobs, B. (Computing Science Institute Jacobs, Bart Jacobs, Jacobs B. Categorical Logic and Type Theory Anglais 10.05.2001 Livre de poche Fr. 165.00 1-3 semaines (ne peut pas être livré de suite)

K. Kunen, Kenneth Kunen - Set Theory an Introduction to Independence Proofs

K. Kunen, Kenneth Kunen Set Theory an Introduction to Independence Proofs Anglais 01.12.1983 Livre Relié Fr. 86.00 1-3 semaines (ne peut pas être livré de suite)

P. Odifreddi, P. (University of Turin Odifreddi, P. G. Odifreddi, Piergiorgio Odifreddi, Odifreddi Piergiorgio - Classical Recursion Theory, Volume II

P. Odifreddi, P. (University of Turin Odifreddi, P. G. Odifreddi, Piergiorgio Odifreddi, Odifreddi Piergiorgio Classical Recursion Theory, Volume II Anglais 01.09.1999 Livre Relié Fr. 215.00 1-3 semaines (ne peut pas être livré de suite)

A. Cantini, A. (University of Florence Cantini, Andrea Cantini, CANTINI A - Logical Frameworks for Truth and Abstraction

A. Cantini, A. (University of Florence Cantini, Andrea Cantini, CANTINI A Logical Frameworks for Truth and Abstraction Anglais 01.03.1996 Livre Relié Fr. 169.00 1-3 semaines (ne peut pas être livré de suite)

E. R. Griffor, E.R. Griffor, E.r. (Communication Advisors Griffor, Edward R. Griffor, GRIFFOR E R, E. R. Griffot... - Handbook of Computability Theory

E. R. Griffor, E.R. Griffor, E.r. (Communication Advisors Griffor, Edward R. Griffor, GRIFFOR E R, E. R. Griffot... Handbook of Computability Theory Anglais 01.10.1999 Livre Relié Fr. 219.00 1-3 semaines (ne peut pas être livré de suite)

M. Kracht, M. (Freie Universitat Berlin Kracht, Marcus Kracht, KRACHT MARCUS, Arjen Sevenster - Tools and Techniques in Modal Logic

M. Kracht, M. (Freie Universitat Berlin Kracht, Marcus Kracht, KRACHT MARCUS, Arjen Sevenster Tools and Techniques in Modal Logic Anglais 01.06.1999 Livre Relié Fr. 185.00 1-3 semaines (ne peut pas être livré de suite)

Roger Maddux, Roger Duncan Maddux, Roger Duncan (Department of Mathematics Maddux - Relation Algebras

Roger Maddux, Roger Duncan Maddux, Roger Duncan (Department of Mathematics Maddux Relation Algebras Anglais 15.05.2006 Livre Relié Fr. 239.00 1-3 semaines (ne peut pas être livré de suite)

Morten Heine Sørensen, M. H. Urzyczyn Sorensen, Morten Heine Sorensen, Morten Heine Urzyczyn Sorensen, Morten Heine Sørensen, SORENSEN M H URZYCZYN P... - Lectures on the Curry-Howard Isomorphism

Morten Heine Sørensen, M. H. Urzyczyn Sorensen, Morten Heine Sorensen, Morten Heine Urzyczyn Sorensen, Morten Heine Sørensen, SORENSEN M H URZYCZYN P... Lectures on the Curry-Howard Isomorphism Anglais 04.07.2006 Livre Relié Fr. 205.00 1-3 semaines (ne peut pas être livré de suite)

A. (C/o Labri Universite Bordeaux I 351 Arnold, Andre Arnold, Damian Niwinski, A. (C/o Labri Universite Bordeaux I 351 Arnold, D. (Institute of Informatics Niwinski - Rudiments of Calculus

A. (C/o Labri Universite Bordeaux I 351 Arnold, Andre Arnold, Damian Niwinski, A. (C/o Labri Universite Bordeaux I 351 Arnold, D. (Institute of Informatics Niwinski Rudiments of Calculus Anglais Livre Relié Fr. 125.00 En réédition, pas disponible actuellement

J. (University of Amsterdam Van Benthem - Language in Action

J. (University of Amsterdam Van Benthem Language in Action Anglais Livre Relié Fr. 119.00 En réédition, pas disponible actuellement

P. (University of Turin Odifreddi - Classical Recursion Theory

P. (University of Turin Odifreddi Classical Recursion Theory Anglais Livre de poche Fr. 115.00 En réédition, pas disponible actuellement

V.v. (Krasnoyarsk University Rybakov - Admissibility of Logical Inference Rules

V.v. (Krasnoyarsk University Rybakov Admissibility of Logical Inference Rules Anglais Livre Relié Fr. 179.00 En réédition, pas disponible actuellement

1
2