Cover Image

QR Code

Selected papers in pfoof theory

Main Author:	Mints, Grigorii E. (Author)
Subjects:	Proof theory

Similar Items

Proof Theory : Sequent Calculi and Related Formalisms Katalin Bimbo.
by: Bimbo, Katalin

Proof theory and logical complexity Jean-Yves Girard.
by: Girard, Jean-Yves

Basic proof theory A.S. Troelstra, H. Schwichtenberg.
by: Troelstra, A. S.

The nuts and bolts of proofs Antonella Cupillari.
by: Cupillari, Antonella

Mathematical proofs : a transition to advanced mathematics Gary Chartrand, Albert D. Polimeni, Ping Zhang.
by: Chartrand, Gary

Proofs and fundamentals : a first course in abstract mathematics Ethan D. Bloch.
by: Bloch, Ethan D., 1956-
Published: (2000)

Reductive logic and proof-search : proof theory, semantics, and control David J. Pym and Eike Ritter.
by: Pym, David J.
Published: (2004)

Learning to reason : an introduction to logic, sets and relations Nancy Rodgers.
by: Rodgers, Nancy, 1941-
Published: (2000)

How to read and do proofs : an introduction to mathematical thought processes Daniel Solow.
by: Solow, Daniel
Published: (2010)

Set theory boolean-valued models and independence proofs John L. Bell.
by: Bell, John L.
Published: (2005)

Analysis : with an introduction to proof Steven R. Lay.
by: Lay, Steven R.
Published: (2006)

A short introduction to intuitionistic logic Grigori Mints.
by: Mints, G. E.
Published: (2000)

Scientific proof of the existence of God : Muhammad Al'Mahdi.
by: Al'Mahdi, Muhammad
Published: (2004)

God and His Attributes : Lessons On Islamic Doctrine (Book One) by Sayyed Mujtaba Musavi Lari ; translated by Hamid Algar -Qum: Foundation of Islamic C.P.W..
by: Musavi Lari, Mujtaba
Published: (2010)

Classical recursion theory : the theory of functions and sets of natural numbers Piergiorgio Odifreddi.
by: Odifreddi, Piergiorgio
Published: (1992)

Model theory Chung Chen Chang and H.J.Keisley.
by: Chang.Chen Chung

Graph theory : modeling, applications, and algorithms Geir Agnarsson, Raymond Greenlaw.
by: Agnarsson, Geir

Model theory and algebraic geometry : an introduction to E. Hrushovski's proof of the geometric Mordell-Lang conjecture Elisabeth Bouscaren (ed.)..

Finite structures with few types by Gregory Cherlin, Ehud Hrushovski.
by: Cherlin, Gregory L., 1948-

Foundations of logic and mathematics : applications to computer science and cryptography Yves Nievergelt.
by: Nievergelt, Yves
Published: (2002)

Unlocking evidence Mohamed Ramjohn and Jay Landa ; series editors: Jacqueline Martin & Chris Turner.
by: Ramjohn, Mohamed
Published: (2009)

How to think about algorithms Jeff Edmonds..
by: Edmonds, Jeff, 1963-
Published: (2008)

Completeness theory for propositional logics Witold A. Pogorzelski, Piotr Wojtylak.
by: Pogorzelski, Witold

Fuzzy logic theory and applications : Part I and Part II / by Lotfi A. Zadeh , Rafik A. Aliev.
by: Zadeh, Lotfi A.
Published: (2018)

Foundations of algorithms using Java pseudocode Richard E. Neapolitan, Kumarss Naimipour.
by: Neapolitan, Richard E.

Foundations of algorithms : using C++ pseudocode Richard E. Neapolitan, Kumarss Naimipour.
by: Neapolitan, Richard E
Published: (1998)

The staff of moses Bediuzzaman Said Nursi.
by: Nursi, Bediuzzaman Said
Published: (2002)

Fuzzy quantifiers : a computational theory Ingo Glockner.
by: Glockner, Ingo

Foundations of algorithms Richard Neapolitan, Kumarss Naimipour.
by: Neapolitan, Richard E.

Type-2 fuzzy logic : theory and applications Oscar Castillo and Patricia Melin.
by: Castillo, Oscar

Function algebras on finite sets : a basic course on many-valued logic and clone theory Dietlinde Lau.
by: Lau, Dietlinde

Foundations of algorithms using C++ pseudocode Richard E. Neapolitan, Kumarss Naimipour.
by: Neapolitan, Richard

Transition to higher mathematics : structure and proof Bob A. Dumas, John E. McCarthy.
by: Dumas, Bob A.
Published: (2007)

Discrete Mathematics and Graph Theory A Concise Study Companion and Guide / by K. Erciyes.
by: Erciyes, K., et al.
Published: (2021)

Handbook of mathematical logic edited by Jon Barwise, with the cooperation of H. J. Keisler ... [et al]..
Published: (1977)

Encyclopedia of algorithms Ming-Yang Kao (ed.)..
Published: (2008)

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

Logic for mathematicians A. G. Hamilton.
by: Hamilton, A. G., 1943
Published: (1978)

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

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