Results
|
|
|
|
|
Proof theory / Gaisi Takeuti.
by Takeuti, Gaisi. Material type: Book Publisher: Amsterdam : North-Holland, 1987Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 511.3 T1397 Pr,2.
|
|
|
|
|
|
Abstract automata / Peter H. Starke.
by Starke, Peter H. Material type: Book Publisher: Amsterdam : North-Holland Pub., 1972Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 511.3 St284 Ab.
|
|
|
|
|
|
|
|
|
Ancient formal logic / I.M. Bochenski.
by Bochenski, Joseph M. Material type: Book Publisher: Amsterdam : North-Holland Pub., 1963Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 511.3 B6311 An.
|
|
|
Degrees of unsolvability / Joseph R. Shoenfield.
by Shoenfield, Joseph R. Material type: Book Publisher: Amsterdam : North-Holland Pub., 1971Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 511.3 Sh736 De.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Quantum mechanics / Albert Messiah
by Albert Messiah. Material type: Book Publisher: Amsterdam : North-Holland Pub, 1966-70Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (2). Location(s): Science 530.12 M5634 Qu.
|
|
|
|
|
|
Boolean functions and equations / Sergiu Rudeanu.
by Rudeanu, Sergiu. Material type: Book Publisher: Amsterdam : North-Holland, 1974Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 511.324 R832 Bo .
|
|
|
|