Methods of cut-elimination

Methods of cut-elimination

अन्य संस्करण दिखाएं (1)

में बचाया:

ग्रंथसूची विवरण
मुख्य लेखक:	Leitsch, Alexander (लेखक)
निगमित लेखक:	SpringerLink (Online service)
अन्य लेखक:	Baaz, Matthias
स्वरूप:	ई-पुस्तक
भाषा:	English
प्रकाशित:	Dordrecht Springer Science+Business Media B.V. 2011.
श्रृंखला:	Trends in Logic ; 34
विषय:	Mathematics Computer science Logic, Symbolic and mathematical
ऑनलाइन पहुंच:	Click here to view the full text content
टैग :	टैग जोड़ें कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!

समान संसाधन

Discrete structures with contemporary applications /
द्वारा: Stanoyevitch, Alexander
प्रकाशित: (2011)

A Modern Perspective on Type Theory From its Origins until Today /
द्वारा: Kamareddine, Fairouz
प्रकाशित: (2005)

Fork algebras in algebra, logic and computer science /
द्वारा: Frias, Marcelo Fabian
प्रकाशित: (2002)

A concise introduction to mathematical logic
द्वारा: Rautenberg, Wolfgang
प्रकाशित: (2010)

A Course in mathematical Logic for mathematicians
द्वारा: Manin, Yu. I.
प्रकाशित: (2010)

Around and beyond the square of opposition /
प्रकाशित: (2012)

Mathematical logic foundations for information science /
द्वारा: Li, Wei
प्रकाशित: (2010)

Mathematical logic for computer science /
द्वारा: Ben-Ari, Mordechai
प्रकाशित: (2012)

Logica universalis : towards a general theory of logic /
द्वारा: Beziau, Jean-Yves
प्रकाशित: (2005)

Finite model theory /
द्वारा: Ebbinghaus, Heinz-Dieter

Notes on set theory
द्वारा: Moschovakis, Yiannis
प्रकाशित: (2006)

A concise introduction to mathematical logic
द्वारा: Rautenberg, Wolfgang
प्रकाशित: (2006)

Elementary logics : a procedural perspective /
द्वारा: Gabbay, Dov M.
प्रकाशित: (1998)

Mathematical logic : foundations for information science /
द्वारा: Li, Wei
प्रकाशित: (2014)

Penghantar logik /
द्वारा: Hamidah Abdulhamid
प्रकाशित: (1991)

Handbook of set theory
प्रकाशित: (2010)

Understanding computers' intelligence : celebrating the 100th volume of Fundamenta Informaticae in honour of Helena Rosiowa /
प्रकाशित: (2010)

Introduction to mathematical logic /
द्वारा: Walicki, Michał
प्रकाशित: (2012)

Logic for mathematics and computer science /
द्वारा: Burris, Stanley N.
प्रकाशित: (1998)

Logik dan penggunaanya untuk sains komputer /
द्वारा: Nguyen, Huu Bong
प्रकाशित: (1987)

Mathematical logic /
द्वारा: Shoenfield, Joseph R.
प्रकाशित: (1967)

Mechanical logic in three-dimensional space /
द्वारा: Auletta, Gennaro
प्रकाशित: (2014)

Introduction to mathematical logic /
द्वारा: Mendelson, Elliott
प्रकाशित: (2010)

Mathematical logic in the 20th century /
प्रकाशित: (2003)

Propositional and predicate calculus a model of argument
द्वारा: Goldrei, Derek
प्रकाशित: (2005)

A Course on Mathematical Logic
द्वारा: Srivastava, S. M.
प्रकाशित: (2008)

A mathematical introduction to logic /
द्वारा: Enderton, Herbert B.
प्रकाशित: (2001)

A concise introduction to pure mathematics /
द्वारा: Liebeck, Martin
प्रकाशित: (2006)

Logic, sets and recursions /
द्वारा: Causey, Robert L.
प्रकाशित: (2006)

Mathematical logic /
प्रकाशित: (2001)

Collected works /
द्वारा: Godel, Kurt
प्रकाशित: (1986)

Introduction to mathematical logic /
द्वारा: Mendelson, Elliott
प्रकाशित: (1997)

A concise introduction to pure mathematics /
द्वारा: Liebeck, Martin
प्रकाशित: (2010)

A concise introduction to pure mathematics /
द्वारा: Liebeck, M. W. (Martin W.), 1954-
प्रकाशित: (2006)

A concise introduction to mathematical logic /
द्वारा: Rautenberg, Wolfgang
प्रकाशित: (2006)

Understanding symbolic logic /
द्वारा: Klenk, Virginia
प्रकाशित: (2008)

Mathematical logic /
द्वारा: Chiswell, Ian, 1948-
प्रकाशित: (2007)

Mathematical problems from applied logic II : logics for the XXIst century /
प्रकाशित: (2007)

Logik dan penggunaannya untuk sains komputer /
द्वारा: Nguyen, Huu Bong
प्रकाशित: (1987)

Journal of mathematical logic.
प्रकाशित: (2001)