×

zbMATH — the first resource for mathematics

Found 166 Documents (Results 1–100)

100
MathJax
De Vuyst, Jonas (ed.) et al., Future directions in logic. Proceedings of PhDs in logic III. Selected papers presented at the conference, Brussels, Belgium, February 17–18, 2011. London: College Publications (ISBN 978-1-84890-079-0). IfColog Proceedings 2, 25-34 (2012).
MSC:  03B60 03B10
PDF BibTeX XML Cite
Undergraduate Topics in Computer Science. New York, NY: Springer (ISBN 978-0-85729-120-2/pbk; 978-0-85729-121-9/ebook). xii, 155 p. (2011).
PDF BibTeX XML Cite
Full Text: DOI
Murawski, Roman, Essays in the philosophy and history of logic and mathematics. Foreword by Jan Woleński. Amsterdam: Rodopi (ISBN 978-90-420-3090-9/hbk). Poznań Studies in the Philosophy of the Sciences and the Humanities 98, 233-243 (2010).
MSC:  01A60 03-03 03B10
PDF BibTeX XML Cite
Palaiseau: Les Éditions de l’École Polytechnique (ISBN 978-2-7302-1569-5). 195 p. (2010).
PDF BibTeX XML Cite
Kolleg Synchron. Heidelberg: Synchron Wissenschaftsverlag der Autoren (ISBN 978-3-935025-84-3/pbk). x, 342 p. (2009).
MSC:  68N17 03-01 68-01 68T15
PDF BibTeX XML Cite
Gorlatch, Sergei (ed.) et al., Constructive methods for parallel programming. Papers presented at the second international workshop on constructive methods for parallel programming, CMPP, Ponte de Lima, Portugal, July 2, 2000. New York, NY: Nova Science Publishers (ISBN 1-59033-374-8/hbk). Adv. Comput., Theory Pract. 10, 79-91 (2002).
MSC:  68N19 68N15
PDF BibTeX XML Cite
Karpenko, A. S. (ed.) et al., Logical investigations. No. 6. Papers from the 1st international conference “Smirnov’s Readings”, Moscow, Russia, March 1997. Moscow: Izdatel’stvo “Rossijskaya Politicheskaya Ehntsiklopediya” (ROSSPEHN). 241-258 (1999).
PDF BibTeX XML Cite
Mosc. Univ. Math. Bull. 54, No. 2, 41-43 (1999); translation from Vestn. Mosk. Univ., Ser. I 1999, No. 2, 60-62 (1999).
MSC:  03B10 03F30
PDF BibTeX XML Cite
Chong, C. T. (ed.) et al., Proceedings of the 6th Asian logic conference, Beijing, China, May 20-24, 1996. Singapore: World Scientific. 285-309 (1998).
MSC:  03F07 03B10
PDF BibTeX XML Cite
Karpenko, A. S. (ed.) et al., Logical investigations. No. 5. Proceedings from the section “Symbolic logic” of the 1st International conference “Smirnov Readings”, Moscow, Russia, March 1997. Moskva: Nauka. 230-240 (1998).
MSC:  03B45
PDF BibTeX XML Cite
MSC:  03B30
PDF BibTeX XML Cite
Full Text: EuDML
Crossley, John N. (ed.) et al., Logical methods. In honor of Anil Nerode’s 60th birthday. Basel: Birkhäuser. Prog. Comput. Sci. Appl. Log. 12, 222-288 (1993).
Reviewer: N.Curteanu (Iaşi)
MSC:  03B70 68W30 03B35 68Q60 12Y05
PDF BibTeX XML Cite
Rosenberg, Ivo (ed.) et al., Algebras and orders. Proceedings of the NATO Advanced Study Institute and Séminaire de mathématiques supérieures, Montréal, Canada, July 29 - August 9, 1991. Dordrecht: Kluwer Academic Publishers. NATO ASI Ser., Ser. C, Math. Phys. Sci. 389, 193-198 (1993).
MSC:  03G05 03B10
PDF BibTeX XML Cite
AXIOMES. Paris: Masson. xv, 385 p. (1993).
PDF BibTeX XML Cite
Monografii Matematice, 34-35. Timişoara: Univ. din Timişoara, Fac. de Ştiinţe ale Naturii, Secţia Mathematică. xv, 321 p. (1989).
Reviewer: C.Masalagiu
PDF BibTeX XML Cite

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Serial
all top 5
Year of Publication
all top 3
Classification
all top 3
Software