ISILC proof theory symposion :

ISILC proof theory symposion : dedicated to Kurt Schutte on the occasion of his 65th birthday : proceedings of the International Summer Institute and logic Colloquium, Kiel 1974

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συλλογικό Έργο:	ISILC Proof Symposion Kiel, International Summer Institute and Logic Colloquium
Άλλοι συγγραφείς:	Diller, Justus (Επιμελητής έκδοσης), Müller, G. H. (Gert Heinz), 1923-2006 (Επιμελητής έκδοσης)
Μορφή:	Πρακτικό Συνεδρίου Βιβλίο
Γλώσσα:	English German
Δημοσίευση:	Berlin : Springer-Verlag, 1975.
Σειρά:	Lecture notes in mathematics (Springer-Verlag) 500
Θέματα:	Schutte, K. > (Kurt) > Bibliography. Proof theory > Congresses.
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

Παρόμοια τεκμήρια

Proof theory :
από: Pohlers, Wolfram
Δημοσίευση: (1989)

Proof theory
από: Takeuti, Gaisi 1926-
Δημοσίευση: (2013)

Basic proof theory
από: Troelstra, A. S. (Anne Sjerp)
Δημοσίευση: (2000)

Sets and proofs :
Δημοσίευση: (1999)

Proof theory of modal logic
Δημοσίευση: (1996)

Charming proofs :
από: Alsina, Claudi
Δημοσίευση: (2010)

Proofs and fundamentals :
από: Bloch, Ethan D. 1956-
Δημοσίευση: (2000)

Introduction to proof in abstract mathematics
από: Wohlgemuth, Andrew
Δημοσίευση: (2011)

Explanation and proof in mathematics :
Δημοσίευση: (2010)

The art of proof :
από: Beck, Matthias
Δημοσίευση: (2010)

Introduction to mathematical proofs :
από: Roberts, Charles E.
Δημοσίευση: (2015)

Αιχμάλωτος των μαθηματικών :
από: Goldstein, Rebecca, 1950-
Δημοσίευση: (2006)

Algebraic K-Theory I - Higher K-Theories ; Algebraic K-Theory II - "Classical" Algebraic K-Theory, and Connections with Arithmetic :
Δημοσίευση: (1986)

Algebraic K-theory :
Δημοσίευση: (1996)

Higher algebraic K-theory :
Δημοσίευση: (1992)

An introduction to mathematical reasoning :
από: Eccles, Peter J. 1945-
Δημοσίευση: (2004)

An accompaniment to higher mathematics
από: Exner, George R.
Δημοσίευση: (1996)

Algebraic K-theory and algebraic number theory :
Δημοσίευση: (1989)

Operator algebras and K-theory
Δημοσίευση: (1982)

K-theory and homological algebra :
Δημοσίευση: (1990)

K-theory and algebraic geometry :
Δημοσίευση: (1995)

Algebraic K-theory and algebraic topology
Δημοσίευση: (1993)

Topics in algebraic and topological K-theory
από: Baum, Paul Frank
Δημοσίευση: (2011)

K-theory
από: Atiyah, Michael Francis 1929-
Δημοσίευση: (1989)

K-theory, arithmetic and geometry :
Δημοσίευση: (1987)

Algebraic K-theory
από: Srinivas, V.
Δημοσίευση: (2008)

Lower K- and L-theory
από: Ranicki, Andrew 1948-
Δημοσίευση: (1992)

Algebraic K-Theory and its Applications
από: Rosenberg, J. (Jonathan) 1951-
Δημοσίευση: (1994)

K-Theory of Finite Groups and Orders
από: Swan, Richard G.
Δημοσίευση: (1986)

K-theory and noncommutative geometry
Δημοσίευση: (2008)

Compactness and contradiction
από: Tao, Terence 1975-
Δημοσίευση: (2013)

Introduction to some methods of algebraic K-theory
από: Bass, Hyman, 1932-
Δημοσίευση: (1974)

Last days
Δημοσίευση: (2005)

Applications of algebraic K-theory to algebraic geometry and number theory :
Δημοσίευση: (1986)

Symposion :

Algebraic K-theory and localised stable homotopy theory
από: Snaith, V. P. (Victor Percy) 1944-
Δημοσίευση: (1983)

Kurt Weill :
Δημοσίευση: (1990)

Απο την παράνοια στους αλγόριθμους :
από: Δοξιάδης, Απόστολος Κ., 1953-
Δημοσίευση: (2006)

Algebraic K-theory, commutative algebra and algebraic geometry :
Δημοσίευση: (1992)

Η μαθηματική απόδειξη στην ιστορία
από: Ηρακλείδης, Χρήστος - Έκτωρ
Δημοσίευση: (2015)