|
|
2121.
|
FOUNDATIONS OF CONSTRUCTIVE MATHEMATICS
by Beeson, Michael J. Material type:  Book; Format:
print
; Literary form:
not fiction
Description: xxiii,466.Publisher: Berlin Springer-Verlag 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 B392f] (1).
|
|
|
2122.
|
GENERAL RECURSION THEORY
by Fenstad, Jens Erik. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi,225.Publisher: Berlin Springer-Verlag 1980Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 F366g] (1).
|
|
|
2123.
|
MATHEMATICAL LOGIC
by Abbinghaus, Heinz-Dieter | Thomas, Wolfgang. Material type: Book; Format:
print
; Literary form:
not fiction
Description: ix,216.Publisher: New York Springer-Verlag 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 Eb17m] (1).
|
|
|
2124.
|
THE BURNSIDE PROBLEM AND IDENTITIES IN GROUPS
by Adian, S. I | Wiegold, James. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,311.Publisher: Berlin Springer-Verlag 1979Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 512.22 Ad44pE] (1).
|
|
|
2125.
|
THE HISTORY OF COMBINATORIAL GROUP THEORY
by Chandler, Bruce | Magnus, Wilhelm. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii,234.Publisher: New York Springer-Verlag 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 512.22 C361h] (1).
|
|
|
2126.
|
THE HISTORY OF COMBINATORIAL GROUP THEORY
by Chandler, Bruce | Magnus, Wilhelm. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii,234.Publisher: New York Springer-Verlag 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 512.22 C361h] (1).
|
|
|
2127.
|
THE HISTORY OF COMBINATORIAL GROUP THEORY
by Chandler, Bruce | Magnus, Wilhelm. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii,234.Publisher: New York Springer-Verlag 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 512.22 C361h] (1).
|
|
|
2128.
|
A FIRST COURSE IN GROUP THEORY
by Gardiner, Cyril F. Material type: Book; Format:
print
; Literary form:
not fiction
Description: ix,227.Publisher: New York Springer-Verlag 1980Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 512.22 G168f] (1).
|
|
|
2129.
|
COMBINATORIAL GROUP THEORY
by Lyndon, Roger C | Scnupp, Paul E. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 339.Publisher: Berlin Springer-Verlag 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 512.22 L989c] (1).
|
|
|
2130.
|
GROUP THEORY
by Suzuki, Michio. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii,437,1.Publisher: Berlin Springer-Verlag 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 512.22 Su99gE] (1).
|
|
|
2131.
|
COMBINATORIAL SEARCH PROBLEMS
by Katona, Gyula. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 56.Publisher: Wien Springer-Verlag 1972Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.6 K156c] (1).
|
|
|
2132.
|
ALGEBRAIC LOGIC
by Gindikin, S. G | Silverman, Robert H. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xviii,356.Publisher: New York Springer-Verlag 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 G431aE] (1).
|
|
|
2133.
|
LOGIC AND STRUCTURE
by Dalen, Dirk Van. Material type: Book; Format:
print
; Literary form:
not fiction
Description: vii,172.Publisher: Berlin Springer-Verlag 1980Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 D152] (1).
|
|
|
2134.
|
LOGIC AND STRUCTURE
by Dalen, Dirk Van. Material type: Book; Format:
print
; Literary form:
not fiction
Description: vii,172.Publisher: Berlin Springer-Verlag 1980Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 D152] (1).
|
|
|
2135.
|
DEGREES OF UNSOLVABILITY
by Lerman, Manuel. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii,307.Publisher: Berlin Springer-Verlag 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 L562d] (1).
|
|
|
2136.
|
BASIC SET THEORY
by Levy, Azriel. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv,391.Publisher: Berlin Springer-Verlag 1979Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 L579b] (1).
|
|
|
2137.
|
RECURSION-THEORETIC HIERARCHIES
by Hinman, Peter G. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii,466.Publisher: Berlin Springer-Verlag 1978Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 H593r] (1).
|
|
|
2138.
|
SEMIRINGS, AUTOMATA, LANGUAGES
by Kuich, Werner | Salomaa, Arto. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 374.Publisher: Berlin Springer-Verlag 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 K957s] (1).
|
|
|
2139.
|
DEGREES OF UNSOLVABILITY
by Lerman, Manuel. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii,307.Publisher: Berlin Springer-Verlag 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 L562d] (1).
|
|
|
2140.
|
ANALYSIS AND DESIGN OF ALGORITHMS IN COMBINATORIAL OPTIMIZATION
by Ausiello, G | Lucertini, M. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 209.Publisher: Wien Springer-Verlag 1981Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.8 An13] (1).
|
