Loading...

QR Code

Feasible mathematics: a mathematical sciences institute workshop Ithaca, New York, June 1989

Bibliographic Details
Main Authors:	Buss, Samuel R; Ed, Scott, Philip J; Ed
Format:	Printed Book
Published:	Boston, Birkhauser 1990
Series:	Progress in computer science and applied logic
Subjects:	Computational complexity Logic, Symbolic and mathematical Mathematics

Similar Items

Mathematical logic /
by: Shoenfield, Joseph R.
Published: (2001)

Mathematical logic
by: Chiswell,Ian, et al.
Published: (2008)

Feasible Mathematics
by: Buss, Samuel R
Published: (1993)

Profile of mathematical logic
by: Delong, Horward
Published: (1970)

Introduction to mathematical logic /
by: Mendelson, Elliott
Published: (2010)

Introduction to mathematical logic /
by: Mendelson, Elliott
Published: (1964)

Course of mathematical logic /
by: Fraïssé, Roland
Published: (1973)

Foundations of mathematical logic /
by: Curry, Haskell B.
Published: (1977)

An introduction to mathematical logic /
by: Hodel, Richard E.
Published: (2013)

Introduction to mathematical logic /
by: Walicki, Michał
Published: (2012)

Introduction to mathematical logic /
by: Walicki, Michał
Published: (2012)

Introduction to mathematical logic
by: Mendelson, Elliott
Published: (1964)

Mathematical fallacies and paradoxes /
by: Bunch, Bryan H.
Published: (1997)

What is mathematical logic? /
by: Crossley,J.N
Published: (1972)

Introduction to mathematical logic
by: Walicki, Michał
Published: (2012)

Mathematical logic : foundations for information science /
by: Li, Wei
Published: (2010)

A precis of mathematical logic /
by: Bochenski, Joseph M.
Published: (1959)

A profile of mathematical logic /
by: DeLong, Howard
Published: (1970)

Popular lectures on mathematical logic /
by: Wang, Hao
Published: (1993)

Introduction to elementary mathematical logic /
by: Stolyar, A. A.
Published: (1983)

A transition to mathematics with proofs /
by: Cullinane, Michael J.
Published: (2013)

Discrete mathematics: for computer scientists /
by: Truss,, John
Published: (2000)

Mathematical logic for computer science /
Published: (2008)

An outline of mathematical logic : fundamental results and notions explained with all details /
by: Grzegorczyk, Andrzej
Published: (1974)

A concise introduction to mathematical logic /
by: Rautenberg, Wolfgang
Published: (2010)

Introduction to mathematical structures and proofs /
by: Gerstein, Larry J.
Published: (2012)

A concise introduction to pure mathematics /
by: Liebeck, M. W.
Published: (2016)

Mathematical logic /
by: Kleene, Stephen Cole
Published: (2002)

Concise introduction to pure mathematics.- 3rd ed. /
by: Liebeck, Martin
Published: (2011)

Development of mathematical logic,
by: Goodstein, R. L.
Published: (1971)

Logic in elementary mathematics /
by: Exner, Robert M., et al.
Published: (2011)

A course on mathematical logic /
by: Srivastava, S. M. (Shashi Mohan)

Conference in Mathematical Logic, London '70.
by: Hodges, Wilfrid,ed
Published: (1972)

Logic collequium 2007
by: Francoise Delon (ed.)
Published: (2010)

Introduction to mathematics of satisfiability /
by: Marek, Victor W.
Published: (2009)

Introduction to mathematics of satisfiability /
by: Marek, Wiktor
Published: (2009)

Logical foundations of mathematics and computational complexity a gentle introduction
by: Pudlak, Pavel
Published: (2013)

Combinatorial and computational mathematics /
by: S. Nanda, G.P
Published: (2004)

The Oxford handbook of philosophy of mathematics and logic
by: Shapiro, Stewart; Editor
Published: (2005)

Classical theory of first order logic
by: Pampapathy Rao, A; Author
Published: (1970)