First-order logic /
| Main Author: | Smullyan, Raymond M. (συγγραφέας.) |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Berlin ; New York :
Springer-Verlag,
1968.
|
| Series: | Ergebnisse der Mathematik und ihrer Grenzgebiete
43. |
| Subjects: |
Similar Items
-
First-order modal logic
by: Fitting, Melvin 1942-
Published: (1998) -
First-order logic and automated theorem proving /
by: Fitting, Melvin 1942-
Published: (1990) -
First-order logic and automated theorem proving /
by: Fitting, Melvin 1942-
Published: (1996) -
Constructive order types /
by: Crossley, John N.
Published: (1969) -
Lattices over orders /
by: Roggenkamp, Klaus W.
Published: (1970)